[splint.git] / test / tests2.5 / ull.c

typedef unsigned long long pan_unit64_t;

void f () 
{
  /*@unused@*/ unsigned long long put = 0xFFFFFULL;
  /*@unused@*/ pan_unit64_t pt = 0xFFFFFFFFFFFFFULL;
}
Commit	Line	Data
cc78dedd	1	typedef unsigned long long pan_unit64_t;
	2
	3	void f ()
	4	{
	5	/@unused@/ unsigned long long put = 0xFFFFFULL;
	6	/@unused@/ pan_unit64_t pt = 0xFFFFFFFFFFFFFULL;
	7	}