Don't try calling lsl when file is missing.

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

/*@null@*/ char * f()
{
  char *buf = malloc(sizeof ("1234") );
  if (buf == NULL)
    {
      return NULL;
    }
  
  strcpy(buf, "1234");
  return buf;
}