test/tests2.2/boolops.c

   1 /*@-booltype Kzam@*/
   2 typedef int Kzam;
   3
   4 enum { true, false } ; /* changed to be consistent with ISO 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 }