[splint.git] / test / tests2.2a / toralf.c

/** fixed, 8 july 1997 */

/* test file for lclint */

# include <stdlib.h>

static void func1 (char *x)
{
  char *s = x;
  int i1;
  float f;
  
  s += 5;
  s += 'c'; /* bad types */
  i1 += f; /* i1 used before def, f used before def */
}

static void func2()
{
  int i1;
  int i2;
  
  i1 = i2; /* i2 used before def */
}

int main ()
{
  func1 (NULL); /* null passed */
  func2 ();
  return (EXIT_SUCCESS);
}
Commit	Line	Data
885824d3	1	/** fixed, 8 july 1997 */
	2
	3	/* test file for lclint */
	4
	5	# include <stdlib.h>
	6
	7	static void func1 (char *x)
	8	{
	9	char *s = x;
	10	int i1;
	11	float f;
	12
	13	s += 5;
	14	s += 'c'; /* bad types */
	15	i1 += f; /* i1 used before def, f used before def */
	16	}
	17
	18	static void func2()
	19	{
	20	int i1;
	21	int i2;
	22
	23	i1 = i2; /* i2 used before def */
	24	}
	25
	26	int main ()
	27	{
	28	func1 (NULL); /* null passed */
	29	func2 ();
	30	return (EXIT_SUCCESS);
	31	}
	32
	33
	34
	35