re PR c++/16012 (trouble with scope in for statements in templates)

        PR c++/16012
        * semantics.c (begin_for_stmt, begin_for_stmt): Do put the init
        statement in FOR_INIT_STMT for templates.

From-SVN: r83253

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index c8a1a1e5e9c13671d68a26a8f5a0b0614f7ebfb5..d700297e8315edb3a0f3b830b207cc46c775c5e4 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2004-06-16  Richard Henderson  <rth@redhat.com>
+
+       PR c++/16012
+       * semantics.c (begin_for_stmt, begin_for_stmt): Do put the init
+       statement in FOR_INIT_STMT for templates.
+
 2004-06-15  Richard Henderson  <rth@redhat.com>
 
        * call.c (initialize_reference): Don't build CLEANUP_STMT here.

diff --git a/gcc/cp/semantics.c b/gcc/cp/semantics.c
index eeb66c5955949a5c8dfa7a42d933a92812afc75a..ef82cb1bcb880d4ab14ca5f36ab8b971e595e729 100644 (file)
--- a/gcc/cp/semantics.c
+++ b/gcc/cp/semantics.c
@@ -652,6 +652,9 @@ begin_for_stmt (void)
   if (flag_new_for_scope > 0)
     TREE_CHAIN (r) = do_pushlevel (sk_for);
 
+  if (processing_template_decl)
+    FOR_INIT_STMT (r) = push_stmt_list ();
+
   return r;
 }
 
@@ -661,6 +664,8 @@ begin_for_stmt (void)
 void
 finish_for_init_stmt (tree for_stmt)
 {
+  if (processing_template_decl)
+    FOR_INIT_STMT (for_stmt) = pop_stmt_list (FOR_INIT_STMT (for_stmt));
   add_stmt (for_stmt);
   FOR_BODY (for_stmt) = do_pushlevel (sk_block);
   FOR_COND (for_stmt) = push_stmt_list ();

diff --git a/gcc/testsuite/g++.dg/init/for2.C b/gcc/testsuite/g++.dg/init/for2.C
new file mode 100644 (file)
index 0000000..d66fea3
--- /dev/null
+++ b/gcc/testsuite/g++.dg/init/for2.C
@@ -0,0 +1,13 @@
+// { dg-do compile }
+// PR 16012: Got the scope of I incorrect in templates only.
+
+template<int> void foo()
+{
+   for (int i=0 ;;) ;
+   int i;
+}
+
+void bar()
+{
+  foo<0>();
+}