[splint.git] / test / temp / pmalloc.c

#include <stdlib.h>

void
foo()
{
  char *p;
  
  if ((p = malloc(100)) == NULL)
    printf("out of memory\n");
  else
    free (p);
}
Commit	Line	Data
80ee600a	1	#include <stdlib.h>
	2
	3	void
	4	foo()
	5	{
	6	char *p;
	7
	8	if ((p = malloc(100)) == NULL)
	9	printf("out of memory\n");
	10	else
	11	free (p);
	12	}