[splint.git] / test / manual / names.c

char *stringreverse (char *s);

int f (int x)
{
  int lookalike = 1;
  int looka1ike = 2;

  if (x > 3)
    {
      int x = lookalike;
      x += looka1ike;
    }

  return x;
}
Commit	Line	Data
77970e15	1	char stringreverse (char s);
	2
	3	int f (int x)
	4	{
	5	int lookalike = 1;
	6	int looka1ike = 2;
	7
	8	if (x > 3)
	9	{
	10	int x = lookalike;
	11	x += looka1ike;
	12	}
	13
	14	return x;
	15	}