gcc/testsuite/c-c++-common/pr49706.c

   1 /* PR c/49706 */
   2 /* { dg-do compile } */
   3 /* { dg-options "-Wlogical-not-parentheses" } */
   4
   5 #ifndef __cplusplus
   6 #define bool _Bool
   7 #endif
   8 enum E { A, B };
   9 bool b;
  10 extern enum E foo_e (void);
  11 extern bool foo_b (void);
  12 extern int foo_i (void);
  13
  14 #ifdef __cplusplus
  15 template <class T, class U> bool f1(T t, U u) { return (!t == u); } /* { dg-warning "logical not is only applied to the left hand side of comparison" "" { target c++ } 15 } */
  16 template <class T, class U> bool f2(T t, U u) { return ((!t) == u); }
  17 template <class T, class U> bool f3(T t, U u) { return (!g(t) == u); } /* { dg-warning "logical not is only applied to the left hand side of comparison" "" { target c++ } 17 } */
  18 template <class T, class U> bool f4(T t, U u) { return ((!g(t)) == u); }
  19 #endif
  20
  21 void
  22 fn1 (int i1, int i2, bool b1, bool b2)
  23 {
  24   b = !i1 == i2; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
  25   b = !i1 != i2; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
  26   b = !i1 < i2; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
  27   b = !i1 > i2; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
  28   b = !i1 <= i2; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
  29   b = !i1 >= i2; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
  30
  31   b = i1 == i2;
  32   b = i1 != i2;
  33   b = i1 < i2;
  34   b = i1 > i2;
  35   b = i1 <= i2;
  36   b = i1 >= i2;
  37
  38   /* Parens suppress the warning.  */
  39   b = (!i1) == i2;
  40   b = (!i1) != i2;
  41   b = (!i1) < i2;
  42   b = (!i1) > i2;
  43   b = (!i1) <= i2;
  44   b = (!i1) >= i2;
  45
  46   /* ...but not these parens.  */
  47   b = (!i1 == i2); /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
  48   b = (!i1 != i2); /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
  49   b = (!i1 < i2); /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
  50   b = (!i1 > i2); /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
  51   b = (!i1 <= i2); /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
  52   b = (!i1 >= i2); /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
  53
  54   b = !b1 == b2;
  55   b = !b1 != b2;
  56   b = !b1 < b2;
  57   b = !b1 > b2;
  58   b = !b1 <= b2;
  59   b = !b1 >= b2;
  60
  61   b = !foo_i () == i1; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
  62   b = (!foo_i ()) == i1;
  63   b = !foo_b () == b1;
  64
  65   b = !!i1 == i2; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
  66   b = !!i1 != i2; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
  67   b = !!i1 < i2; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
  68   b = !!i1 > i2; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
  69   b = !!i1 <= i2; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
  70   b = !!i1 >= i2; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
  71   b = !!foo_i () == i1; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
  72
  73   /* Be careful here.  */
  74   b = (i1 == 0) != 0;
  75   b = (i1 == 0) == 0;
  76   b = (i1 != 0) != 0;
  77   b = (i1 != 0) == 0;
  78 }
  79
  80 void
  81 fn2 (enum E e)
  82 {
  83   b = e == B;
  84   b = e == foo_e ();
  85   b = foo_e () == A;
  86   b = foo_e () == foo_e ();
  87
  88   b = !e == A; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
  89   b = !e == foo_e (); /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
  90   b = !foo_e () == A; /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
  91   b = !foo_e () == foo_e (); /* { dg-warning "logical not is only applied to the left hand side of comparison" } */
  92
  93   b = !(e == A);
  94   b = !(e == foo_e ());
  95   b = !(foo_e () == A);
  96   b = !(foo_e () == foo_e ());
  97
  98   b = (!e) == A;
  99   b = (!e) == foo_e ();
 100   b = (!foo_e ()) == A;
 101   b = (!foo_e ()) == foo_e ();
 102 }