Fixed problem with comman line redefinitions (no filename).

[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");
}