diff gcc/testsuite/c-c++-common/Wduplicated-branches-13.c @ 111:04ced10e8804

gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/gcc/testsuite/c-c++-common/Wduplicated-branches-13.c	Fri Oct 27 22:46:09 2017 +0900
@@ -0,0 +1,23 @@
+/* PR c/79199 */
+/* { dg-do compile { target int32plus } } */
+/* { dg-options "-Wduplicated-branches" } */
+
+unsigned int a, b, c, d, e;
+void
+fn1 (void)
+{
+  if (0) /* { dg-warning "this condition has identical branches" } */
+    {
+      if (d > 4294967293U)
+	(void) 5;
+      c = d;
+      b = e | a;
+    }
+  else
+    {
+      if (d > 4294967293U)
+	(void) 5;
+      c = d;
+      b = e | a;
+    }
+}