From dadb19e068ada9ee77d36be1c1bd14730d0493cd Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Tue, 19 Feb 2008 11:14:57 +0100 Subject: re PR c++/35078 (ICE with reference in parallel for loop) PR c++/35078 * parser.c (cp_parser_omp_for_loop): If DECL has REFERENCE_TYPE, don't call cp_finish_decl. * semantics.c (finish_omp_for): Fail if DECL doesn't have integral type early. * g++.dg/gomp/pr35078.C: New test. From-SVN: r132424 --- gcc/cp/ChangeLog | 8 ++++++++ gcc/cp/parser.c | 7 +++++-- gcc/cp/semantics.c | 10 ++++++++++ gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/g++.dg/gomp/pr35078.C | 20 ++++++++++++++++++++ 5 files changed, 48 insertions(+), 2 deletions(-) create mode 100644 gcc/testsuite/g++.dg/gomp/pr35078.C diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 6789236..79ecec2 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,11 @@ +2008-02-19 Jakub Jelinek + + PR c++/35078 + * parser.c (cp_parser_omp_for_loop): If DECL has REFERENCE_TYPE, don't + call cp_finish_decl. + * semantics.c (finish_omp_for): Fail if DECL doesn't have integral type + early. + 2008-02-15 Douglas Gregor PR c++/35023 diff --git a/gcc/cp/parser.c b/gcc/cp/parser.c index 5f21574..a5bd055 100644 --- a/gcc/cp/parser.c +++ b/gcc/cp/parser.c @@ -20074,8 +20074,11 @@ cp_parser_omp_for_loop (cp_parser *parser) init = cp_parser_assignment_expression (parser, false); - cp_finish_decl (decl, NULL_TREE, /*init_const_expr_p=*/false, - asm_specification, LOOKUP_ONLYCONVERTING); + if (TREE_CODE (TREE_TYPE (decl)) == REFERENCE_TYPE) + init = error_mark_node; + else + cp_finish_decl (decl, NULL_TREE, /*init_const_expr_p=*/false, + asm_specification, LOOKUP_ONLYCONVERTING); if (pushed_scope) pop_scope (pushed_scope); diff --git a/gcc/cp/semantics.c b/gcc/cp/semantics.c index 49dd80e..44c1e3f 100644 --- a/gcc/cp/semantics.c +++ b/gcc/cp/semantics.c @@ -3903,6 +3903,16 @@ finish_omp_for (location_t locus, tree decl, tree init, tree cond, return NULL; } + if (!INTEGRAL_TYPE_P (TREE_TYPE (decl))) + { + location_t elocus = locus; + + if (EXPR_HAS_LOCATION (init)) + elocus = EXPR_LOCATION (init); + error ("%Hinvalid type for iteration variable %qE", &elocus, decl); + return NULL; + } + if (pre_body == NULL || IS_EMPTY_STMT (pre_body)) pre_body = NULL; else if (! processing_template_decl) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 425549d..e25dfc9 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2008-02-19 Jakub Jelinek + + PR c++/35078 + * g++.dg/gomp/pr35078.C: New test. + 2008-02-19 Christian Bruel * gcc.dg/packed-array.c: New testcase. diff --git a/gcc/testsuite/g++.dg/gomp/pr35078.C b/gcc/testsuite/g++.dg/gomp/pr35078.C new file mode 100644 index 0000000..1f0d9ec --- /dev/null +++ b/gcc/testsuite/g++.dg/gomp/pr35078.C @@ -0,0 +1,20 @@ +// PR c++/35078 +// { dg-do compile } +// { dg-options "-fopenmp" } + +template void +foo () +{ +#pragma omp parallel for + for (int& i = 0; i < 10; ++i) // { dg-error "invalid type for iteration variable" } + ; +} + +void +bar () +{ + int j = 0; +#pragma omp parallel for + for (int& i = j; i < 10; ++i) // { dg-error "invalid type for iteration variable" } + ; +} -- cgit v1.1