Fixed bugs in the constant removal code for binary expressions.

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

int f (void)
{
  char *s;

  s = malloc (sizeof (char));

  if (s == NULL)
    {
      return 0;
    }


  return 1;
}