test/tests2.2/boolops.c

   1 /*@-booltype Kzam@*/
   2 typedef int Kzam;
   3
   4 enum { TRUE, FALSE } ;
   5
   6 int main() {
   7   Kzam b = TRUE;
   8   Kzam b1 = b;
   9
  10   b = TRUE;
  11   b = b1;
  12   b = 12; /* Assignment of int to Kzam: b = 12 */
  13
  14   b = TRUE && FALSE;
  15   b = b && FALSE;
  16   b = FALSE && b;
  17
  18   if ((b && FALSE) == 0)
  19     return(0);
  20   return(0);
  21 }