Fix BZ 119317: named loops (C2y) with debug info

Named loops (C2y) could not previously be compiled with
-O1 and -ggdb2 or higher because the label preceding
a loop (or switch) could not be found when using such
command lines.

This could be observed by compiling
gcc/gcc/testsuite/gcc.dg/c2y-named-loops-1.c with
the provoking command line (or any minimal example such
as that cited in the bug report).

The fix was simply to ignore the tree nodes inserted
for debugging information.

Base commit is 79aa2a283a8d3327ff4d6dca77e81d5b1ac3a01e

	PR c/119317

gcc/c/ChangeLog:

	* c-decl.cc (c_get_loop_names): Do not prematurely
	end the search for a label that names a loop or
	switch statement upon encountering a DEBUG_BEGIN_STMT.
	Instead, ignore any instances of DEBUG_BEGIN_STMT.

gcc/testsuite/ChangeLog:

	* gcc.dg/c2y-named-loops-8.c: New test.

diff --git a/gcc/c/c-decl.cc b/gcc/c/c-decl.cc
index 4e200f91107b1d34559dc6373156e14628a5b052..ad66d7d258b8e549574cd380487b75ef9deb5e44 100644 (file)
--- a/gcc/c/c-decl.cc
+++ b/gcc/c/c-decl.cc
@@ -13861,7 +13861,8 @@ c_get_loop_names (tree before_labels, bool switch_p, tree *last_p)
              ++ret;
            }
        }
-      else if (TREE_CODE (stmt) != CASE_LABEL_EXPR)
+      else if (TREE_CODE (stmt) != CASE_LABEL_EXPR
+              && TREE_CODE (stmt) != DEBUG_BEGIN_STMT)
        break;
     }
   if (last)

diff --git a/gcc/testsuite/gcc.dg/c2y-named-loops-8.c b/gcc/testsuite/gcc.dg/c2y-named-loops-8.c
new file mode 100644 (file)
index 0000000..8d69db4
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/c2y-named-loops-8.c
@@ -0,0 +1,5 @@
+/* PR c/119317 - Named loops (C2y) did not compile with -O1 and -ggdb2 or higher */
+/* { dg-do compile } */
+/* { dg-options "-std=c2y -O1 -ggdb2" } */
+
+#include "c2y-named-loops-1.c"