Some consistency changes to library & headers flags.

[splint-patched.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;
}