aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/c-c++-common/Wlogical-op-2.c
diff options
context:
space:
mode:
authorMarek Polacek <polacek@redhat.com>2017-05-09 11:21:14 +0000
committerMarek Polacek <mpolacek@gcc.gnu.org>2017-05-09 11:21:14 +0000
commit684f84dea9cb2acf6c61bf461a9d50f6b7c03eca (patch)
tree16e450b9cd928ae252b2eb7bf2db23dc8cbacb15 /gcc/testsuite/c-c++-common/Wlogical-op-2.c
parent641da50a0c73f734e672f8e6b9e7d2c86bde840d (diff)
downloadgcc-684f84dea9cb2acf6c61bf461a9d50f6b7c03eca.zip
gcc-684f84dea9cb2acf6c61bf461a9d50f6b7c03eca.tar.gz
gcc-684f84dea9cb2acf6c61bf461a9d50f6b7c03eca.tar.bz2
re PR c/80525 (-Wlogical-op confused by undefined integer overflow)
PR c/80525 * c-warn.c (unwrap_c_maybe_const): New. (warn_logical_operator): Call it. * c-c++-common/Wlogical-op-1.c: Don't use -fwrapv anymore. * c-c++-common/Wlogical-op-2.c: New test. From-SVN: r247786
Diffstat (limited to 'gcc/testsuite/c-c++-common/Wlogical-op-2.c')
-rw-r--r--gcc/testsuite/c-c++-common/Wlogical-op-2.c12
1 files changed, 12 insertions, 0 deletions
diff --git a/gcc/testsuite/c-c++-common/Wlogical-op-2.c b/gcc/testsuite/c-c++-common/Wlogical-op-2.c
new file mode 100644
index 0000000..6360ef9
--- /dev/null
+++ b/gcc/testsuite/c-c++-common/Wlogical-op-2.c
@@ -0,0 +1,12 @@
+/* PR c/80525 */
+/* { dg-do compile } */
+/* { dg-options "-Wlogical-op" } */
+
+int
+fn (int a, int b)
+{
+ if ((a + 1) && (a + 1)) /* { dg-warning "logical .and. of equal expressions" } */
+ return a;
+ if ((a + 1) || (a + 1)) /* { dg-warning "logical .or. of equal expressions" } */
+ return b;
+}