From 664ceb1e2c62338ceacbbc89d3e218f39965c145 Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Fri, 17 Jan 2014 21:55:42 +0100 Subject: [PATCH] re PR fortran/59706 (ICE with do concurrent and internal subprogram) PR middle-end/59706 * gimplify.c (gimplify_expr): Use create_tmp_var instead of create_tmp_var_raw. If cond doesn't have integral type, don't add the IFN_ANNOTATE builtin at all. * gfortran.dg/pr59706.f90: New test. * g++.dg/ext/pr59706.C: New test. From-SVN: r206732 --- gcc/ChangeLog | 7 +++++++ gcc/gimplify.c | 9 ++++++++- gcc/testsuite/ChangeLog | 6 ++++++ gcc/testsuite/g++.dg/ext/pr59706.C | 21 +++++++++++++++++++++ gcc/testsuite/gfortran.dg/pr59706.f90 | 10 ++++++++++ 5 files changed, 52 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/g++.dg/ext/pr59706.C create mode 100644 gcc/testsuite/gfortran.dg/pr59706.f90 diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 7bf57330007..0240d7eb03f 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2014-01-17 Jakub Jelinek + + PR middle-end/59706 + * gimplify.c (gimplify_expr): Use create_tmp_var + instead of create_tmp_var_raw. If cond doesn't have + integral type, don't add the IFN_ANNOTATE builtin at all. + 2014-01-17 Martin Jambor PR ipa/59736 diff --git a/gcc/gimplify.c b/gcc/gimplify.c index 202d084f09f..9c9998dd193 100644 --- a/gcc/gimplify.c +++ b/gcc/gimplify.c @@ -7491,7 +7491,14 @@ gimplify_expr (tree *expr_p, gimple_seq *pre_p, gimple_seq *post_p, { tree cond = TREE_OPERAND (*expr_p, 0); tree id = TREE_OPERAND (*expr_p, 1); - tree tmp = create_tmp_var_raw (TREE_TYPE(cond), NULL); + tree type = TREE_TYPE (cond); + if (!INTEGRAL_TYPE_P (type)) + { + *expr_p = cond; + ret = GS_OK; + break; + } + tree tmp = create_tmp_var (type, NULL); gimplify_arg (&cond, pre_p, EXPR_LOCATION (*expr_p)); gimple call = gimple_build_call_internal (IFN_ANNOTATE, 2, cond, id); diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index c471ae98aa9..be4aa901eca 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,9 @@ +2014-01-17 Jakub Jelinek + + PR middle-end/59706 + * gfortran.dg/pr59706.f90: New test. + * g++.dg/ext/pr59706.C: New test. + 2014-01-17 Paolo Carlini PR c++/59270 diff --git a/gcc/testsuite/g++.dg/ext/pr59706.C b/gcc/testsuite/g++.dg/ext/pr59706.C new file mode 100644 index 00000000000..b82b45e2d4c --- /dev/null +++ b/gcc/testsuite/g++.dg/ext/pr59706.C @@ -0,0 +1,21 @@ +// PR middle-end/59706 +// { dg-do compile } + +extern struct S s; +struct T { T (); ~T (); int t; } t; + +void +foo () +{ + #pragma GCC ivdep + while (s) // { dg-error "could not convert" } + ; +} + +void +bar () +{ + #pragma GCC ivdep + while (t) // { dg-error "could not convert" } + ; +} diff --git a/gcc/testsuite/gfortran.dg/pr59706.f90 b/gcc/testsuite/gfortran.dg/pr59706.f90 new file mode 100644 index 00000000000..64a7de5d965 --- /dev/null +++ b/gcc/testsuite/gfortran.dg/pr59706.f90 @@ -0,0 +1,10 @@ +! PR middle-end/59706 +! { dg-do compile } + + integer i + do concurrent (i=1:2) + end do +contains + subroutine foo + end +end -- 2.30.2