diff options
Diffstat (limited to 'gcc/testsuite/g++.dg/warn/Wlogical-op-1.C')
| -rw-r--r-- | gcc/testsuite/g++.dg/warn/Wlogical-op-1.C | 47 |
1 files changed, 47 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/warn/Wlogical-op-1.C b/gcc/testsuite/g++.dg/warn/Wlogical-op-1.C new file mode 100644 index 00000000000..f67ab89f867 --- /dev/null +++ b/gcc/testsuite/g++.dg/warn/Wlogical-op-1.C @@ -0,0 +1,47 @@ +// { dg-do compile} +// { dg-options "-Wlogical-op" } + +enum { a, b1, b2 }; + +enum testenum { t1, t2}; + +extern int c; +extern bool bool_a, bool_b; + +template<typename Enum> +class QFlags +{ +public: + typedef void **Zero; + int i; + inline QFlags(Enum f) : i(f) {} + + inline operator int() const + { return i;} + +}; + +QFlags<testenum> f(t2); +extern void do_something(int); + +extern testenum testa(); + +void foo() +{ + if ( f && b2 ) // { dg-warning "always evaluate as" } + do_something(1); + if ( c && b2 ) // { dg-warning "always evaluate as" } + do_something(2); + + if ( b2 && c == a ) // { dg-bogus "always evaluate as" } + do_something(101); + if ( 1 && c ) + do_something(102); // { dg-bogus "always evaluate as" } + if ( t2 && b2 ) // { dg-bogus "always evaluate as" } + do_something(103); + if ( true && c == a ) // { dg-bogus "always evaluate as" } + do_something(104); + if ( b2 && true ) // { dg-bogus "always evaluate as" } + do_something(105); +} + |