test/tests2.5/boolbad.c

   1 typedef /*@abstract@*/ enum {FALSE = 0, TRUE = 1} BOOLEAN;
   2
   3 void func (BOOLEAN foo)
   4 {
   5   foo = FALSE;
   6 }
   7
   8 int main (void)
   9 {
  10     BOOLEAN foo;
  11
  12     func (foo);
  13
  14     return 0;
  15 }