[splint.git] / test / sizeoftest / sizeofConst.c

/*@null@*/ char * f()
{
  char *buf = malloc(sizeof ("1234") );
  if (buf == NULL)
    {
      return NULL;
    }
  
  strcpy(buf, "1234");
  return buf;
}
Commit	Line	Data
d26c9667	1	/@null@/ char * f()
	2	{
	3	char *buf = malloc(sizeof ("1234") );
	4	if (buf == NULL)
	5	{
	6	return NULL;
	7	}
	8
	9	strcpy(buf, "1234");
	10	return buf;
	11	}
	12