[splint.git] / test / alttypes.c

# include "bool.h"

int /*@alt void@*/ f (void) ;

int f (void)
{
  return 3;
}

int g (void)
{
  f ();

  return 4;
}

int /*@alt void@*/ f2 (void) ;

int /*@alt bool@*/ f2 (void) 
{
  return 3;
}

extern int /*@alt char, bool@*/ x;
int /*@alt char@*/ x;
Commit	Line	Data
885824d3	1	# include "bool.h"
	2
	3	int /@alt void@/ f (void) ;
	4
	5	int f (void)
	6	{
	7	return 3;
	8	}
	9
	10	int g (void)
	11	{
	12	f ();
	13
	14	return 4;
	15	}
	16
	17	int /@alt void@/ f2 (void) ;
	18
	19	int /@alt bool@/ f2 (void)
	20	{
	21	return 3;
	22	}
	23
	24	extern int /@alt char, bool@/ x;
	25	int /@alt char@/ x;