re PR c++/17661 (ICE in create_tmp_var)

2004-10-13  Andrew Pinski  <pinskia@physics.uc.edu>

        PR c++/17661
        * testsuite/g++.dg/expr/for2.C: New test.

2004-10-13  Andrew Pinski  <pinskia@physics.uc.edu>

        PR c++/17661
        * semantics.c (finish_for_expr): Convert expression to void
        so that we don't create temporaries for a?b:c.

From-SVN: r88992

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 3e488ee1bf1ffb130c501f84cf38440613948c86..270a4ebe2bd206aa1c34fb243136062f39de7951 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2004-10-13  Andrew Pinski  <pinskia@physics.uc.edu>
+
+       PR c++/17661
+       * semantics.c (finish_for_expr): Convert expression to void
+       so that we don't create temporaries for a?b:c.
+
 2004-10-13  Kazu Hirata  <kazu@cs.umass.edu>
 
        * search.c: Fix a comment typo.

diff --git a/gcc/cp/semantics.c b/gcc/cp/semantics.c
index a417785621078fe86344a944a592305f7ee8647f..8a9cd42beaa0e19decb7a4526f8c35d1246b0b5f 100644 (file)
--- a/gcc/cp/semantics.c
+++ b/gcc/cp/semantics.c
@@ -798,6 +798,14 @@ finish_for_expr (tree expr, tree for_stmt)
       cxx_incomplete_type_error (expr, TREE_TYPE (expr));
       expr = error_mark_node;
     }
+  if (!processing_template_decl)
+    {
+      if (warn_sequence_point)
+        verify_sequence_points (expr);
+      expr = convert_to_void (expr, "3rd expression in for");
+    }
+  else if (!type_dependent_expression_p (expr))
+    convert_to_void (build_non_dependent_expr (expr), "3rd expression in for");
   expr = maybe_cleanup_point_expr_void (expr);
   FOR_EXPR (for_stmt) = expr;
 }

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index a87db9ace560c4ceba45c0877c386fd4f8a808aa..a861780a52babd5972216c226575ac81a2e8fb71 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2004-10-13  Andrew Pinski  <pinskia@physics.uc.edu>
+
+       PR c++/17661
+       * testsuite/g++.dg/expr/for2.C: New test.
+
 2004-10-13  Eric Botcazou  <ebotcazou@libertysurf.fr>
 
        * g++.dg/inherit/thunk1.C: Run on the SPARC.

diff --git a/gcc/testsuite/g++.dg/expr/for2.C b/gcc/testsuite/g++.dg/expr/for2.C
new file mode 100644 (file)
index 0000000..52f7696
--- /dev/null
+++ b/gcc/testsuite/g++.dg/expr/for2.C
@@ -0,0 +1,15 @@
+// { dg-do compile }
+// PR c++/17661
+// We used to try to create a temprary for the condition
+// expression in the for which was wrong.
+
+
+struct C
+{
+  C (const C &x);
+};
+C &f();
+void breakme (C j, bool k)
+{
+  for (;; k ? j : f())  ;
+}