diff options
| author | Richard Guenther <rguenther@suse.de> | 2010-02-11 17:01:21 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2010-02-11 17:01:21 +0000 |
| commit | 6d8921479a2a47ec10342142483b9291211c95c9 (patch) | |
| tree | d94d461c1c28df146266dba369b42748d807ee32 /gcc/tree-ssa-pre.c | |
| parent | 04eadb13265b69db0282da8803f13e357a129079 (diff) | |
| download | gcc-6d8921479a2a47ec10342142483b9291211c95c9.zip gcc-6d8921479a2a47ec10342142483b9291211c95c9.tar.gz gcc-6d8921479a2a47ec10342142483b9291211c95c9.tar.bz2 | |
re PR tree-optimization/42998 (ICE: error: verify_stmts failed)
2010-02-11 Richard Guenther <rguenther@suse.de>
PR tree-optimization/42998
* tree-ssa-pre.c (create_expression_by_pieces): Treat
POINTER_PLUS_EXPR properly.
* gcc.c-torture/compile/pr42998.c: New testcase.
From-SVN: r156704
Diffstat (limited to 'gcc/tree-ssa-pre.c')
| -rw-r--r-- | gcc/tree-ssa-pre.c | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/gcc/tree-ssa-pre.c b/gcc/tree-ssa-pre.c index 285b2c8..639adce 100644 --- a/gcc/tree-ssa-pre.c +++ b/gcc/tree-ssa-pre.c @@ -3013,14 +3013,18 @@ create_expression_by_pieces (basic_block block, pre_expr expr, stmts, domstmt); if (!genop1 || !genop2) return NULL_TREE; - genop1 = fold_convert (TREE_TYPE (nary->op[0]), - genop1); /* Ensure op2 is a sizetype for POINTER_PLUS_EXPR. It may be a constant with the wrong type. */ if (nary->opcode == POINTER_PLUS_EXPR) - genop2 = fold_convert (sizetype, genop2); + { + genop1 = fold_convert (nary->type, genop1); + genop2 = fold_convert (sizetype, genop2); + } else - genop2 = fold_convert (TREE_TYPE (nary->op[1]), genop2); + { + genop1 = fold_convert (TREE_TYPE (nary->op[0]), genop1); + genop2 = fold_convert (TREE_TYPE (nary->op[1]), genop2); + } folded = fold_build2 (nary->opcode, nary->type, genop1, genop2); |