1 files changed, 66 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 000000000..e5b19afbe
--- /dev/null
+++ b/gcc/testsuite/g++.dg/warn/Wlogical-op-1.C
@@ -0,0 +1,66 @@
+// { 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 "logical" }
+          do_something(1);
+    if ( c && b2 )            // { dg-warning "logical" }
+          do_something(2);
+
+    if ( b2 && c == a )       // { dg-bogus "logical" }
+          do_something(101);
+    if ( 1 && c )
+          do_something(102);  // { dg-bogus "logical" }
+    if ( t2 && b2 )           // { dg-bogus "logical" }
+          do_something(103);
+    if ( true && c == a )     // { dg-bogus "logical" }
+          do_something(104);
+    if ( b2 && true )         // { dg-bogus "logical" }
+          do_something(105);
+}
+
+
+void bar()
+{
+    if ( f || b2 )            // { dg-warning "logical" }
+          do_something(1);
+    if ( c || b2 )            // { dg-warning "logical" }
+          do_something(2);
+
+    if ( b2 || c == a )       // { dg-bogus "logical" }
+          do_something(101);
+    if ( 1 || c )
+          do_something(102);  // { dg-bogus "logical" }
+    if ( t2 || b2 )           // { dg-bogus "logical" }
+          do_something(103);
+    if ( true || c == a )     // { dg-bogus "logical" }
+          do_something(104);
+    if ( b2 || true )         // { dg-bogus "logical" }
+          do_something(105);
+}