diff options
| author | Richard Guenther <rguenther@suse.de> | 2011-09-27 08:53:08 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2011-09-27 08:53:08 +0000 |
| commit | 48acf1b78b128d2cace0705d159db7e2791756cf (patch) | |
| tree | 9119cbca0e6b9b1947798c5560d4da7cae77f886 /gcc | |
| parent | ddfd2edf327e1866603b825cc1c1d6a3d3cf48f4 (diff) | |
| download | gcc-48acf1b78b128d2cace0705d159db7e2791756cf.tar.gz | |
re PR tree-optimization/50363 (internal compiler error: verify_gimple failed)
2011-09-27 Richard Guenther <rguenther@suse.de>
PR tree-optimization/50363
* tree-ssa-pre.c (create_expression_by_pieces): Handle
pointer conversions in POINTER_PLUS_EXPRs properly.
* gcc.dg/torture/pr50363.c: New testcase.
From-SVN: r179247
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/torture/pr50363.c | 10 | ||||
| -rw-r--r-- | gcc/tree-ssa-pre.c | 14 |
4 files changed, 30 insertions, 5 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 1abfbba235f..57d5bfddb53 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2011-09-27 Richard Guenther <rguenther@suse.de> + + PR tree-optimization/50363 + * tree-ssa-pre.c (create_expression_by_pieces): Handle + pointer conversions in POINTER_PLUS_EXPRs properly. + 2011-09-27 Richard Sandiford <richard.sandiford@linaro.org> * config/arm/neon.md (neon_vget_highv16qi, neon_vget_highv8hi) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index b5a73a3920f..b1e8477c034 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2011-09-27 Richard Guenther <rguenther@suse.de> + + PR tree-optimization/50363 + * gcc.dg/torture/pr50363.c: New testcase. + 2011-09-26 Jason Merrill <jason@redhat.com> PR c++/45012 diff --git a/gcc/testsuite/gcc.dg/torture/pr50363.c b/gcc/testsuite/gcc.dg/torture/pr50363.c new file mode 100644 index 00000000000..eb350198a43 --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr50363.c @@ -0,0 +1,10 @@ +/* { dg-do compile } */ +/* { dg-options "-fno-tree-ch -fno-tree-fre" } */ + +void +foo (int *__restrict__ * r, int n) +{ + int *p; + for (p = *r; p < *r + n; p++) + ; +} diff --git a/gcc/tree-ssa-pre.c b/gcc/tree-ssa-pre.c index bee6ef52c6c..5c112c080a6 100644 --- a/gcc/tree-ssa-pre.c +++ b/gcc/tree-ssa-pre.c @@ -3085,11 +3085,15 @@ create_expression_by_pieces (basic_block block, pre_expr expr, stmts, domstmt); if (!genop[i]) return NULL_TREE; - /* Ensure genop[1] is a ptrofftype for POINTER_PLUS_EXPR. It - may be a constant with the wrong type. */ - if (i == 1 - && nary->opcode == POINTER_PLUS_EXPR) - genop[i] = convert_to_ptrofftype (genop[i]); + /* Ensure genop[] is properly typed for POINTER_PLUS_EXPR. It + may have conversions stripped. */ + if (nary->opcode == POINTER_PLUS_EXPR) + { + if (i == 0) + genop[i] = fold_convert (nary->type, genop[i]); + else if (i == 1) + genop[i] = convert_to_ptrofftype (genop[i]); + } else genop[i] = fold_convert (TREE_TYPE (nary->op[i]), genop[i]); } |