[splint.git] / test / tests2.4 / main.c

#include <dstdioasdf.h>
/* #include <malloc.h> */

main()
{
  int *p = (int *)malloc(sizeof(int)); 
  int *j;
  *j = 1;
  printf("Hello");
}
Commit	Line	Data
80ee600a	1	#include <dstdioasdf.h>
	2	/* #include <malloc.h> */
	3
	4	main()
	5	{
	6	int p = (int )malloc(sizeof(int));
	7	int *j;
	8	*j = 1;
	9	printf("Hello");
	10	}