diff options
author | Richard Biener <rguenther@suse.de> | 2018-03-15 13:10:24 +0000 |
---|---|---|
committer | Richard Biener <rguenth@gcc.gnu.org> | 2018-03-15 13:10:24 +0000 |
commit | 919674fb7d619c94ec5395a703144c7e75c93814 (patch) | |
tree | cf9d28b6cd165d137fd31dfdc343ea19161eedfc /gcc/c-family | |
parent | 22534ea5549e970de4466fe492dacc61c2ff471f (diff) | |
download | gcc-919674fb7d619c94ec5395a703144c7e75c93814.zip gcc-919674fb7d619c94ec5395a703144c7e75c93814.tar.gz gcc-919674fb7d619c94ec5395a703144c7e75c93814.tar.bz2 |
re PR c/84873 (ICE: verify_ssa failed (error: definition in block 3 does not dominate use in block 4))
2018-03-15 Richard Biener <rguenther@suse.de>
PR c/84873
* c-gimplify.c (c_gimplify_expr): Do not fold expressions.
* c-c++-common/pr84873.c: New testcase.
From-SVN: r258556
Diffstat (limited to 'gcc/c-family')
-rw-r--r-- | gcc/c-family/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/c-family/c-gimplify.c | 10 |
2 files changed, 14 insertions, 1 deletions
diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog index 10c7047..a03ff86 100644 --- a/gcc/c-family/ChangeLog +++ b/gcc/c-family/ChangeLog @@ -1,3 +1,8 @@ +2018-03-15 Richard Biener <rguenther@suse.de> + + PR c/84873 + * c-gimplify.c (c_gimplify_expr): Do not fold expressions. + 2018-03-13 Martin Sebor <msebor@redhat.com> PR tree-optimization/84725 diff --git a/gcc/c-family/c-gimplify.c b/gcc/c-family/c-gimplify.c index 344c0ad..e6b90ef 100644 --- a/gcc/c-family/c-gimplify.c +++ b/gcc/c-family/c-gimplify.c @@ -245,7 +245,15 @@ c_gimplify_expr (tree *expr_p, gimple_seq *pre_p ATTRIBUTE_UNUSED, unsigned_type_node) && !types_compatible_p (TYPE_MAIN_VARIANT (TREE_TYPE (*op1_p)), integer_type_node)) - *op1_p = convert (unsigned_type_node, *op1_p); + { + /* ??? Do not use convert () here or fold arbitrary trees + since folding can introduce tree sharing which is not + allowed during gimplification. */ + if (TREE_CODE (*op1_p) == INTEGER_CST) + *op1_p = fold_convert (unsigned_type_node, *op1_p); + else + *op1_p = build1 (NOP_EXPR, unsigned_type_node, *op1_p); + } break; } |