diff options
| author | Richard Guenther <rguenther@suse.de> | 2008-01-04 15:56:41 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2008-01-04 15:56:41 +0000 |
| commit | bdb69beee91adebad0d3b6b0d3dd0f3810dbe7a2 (patch) | |
| tree | b5fe9fbbe6e89d6fae4bc8453d5d165723a585b6 /gcc/tree-cfg.c | |
| parent | 578c21cb86c58d3b6e917b3943b78a9d06f54f56 (diff) | |
| download | gcc-bdb69beee91adebad0d3b6b0d3dd0f3810dbe7a2.zip gcc-bdb69beee91adebad0d3b6b0d3dd0f3810dbe7a2.tar.gz gcc-bdb69beee91adebad0d3b6b0d3dd0f3810dbe7a2.tar.bz2 | |
re PR tree-optimization/34029 (internal compiler error: verify_stmts failed)
2008-01-04 Richard Guenther <rguenther@suse.de>
PR middle-end/34029
* tree-cfg.c (verify_expr): Do not look inside ADDR_EXPRs
for verifying purposes if they are is_gimple_min_invariant.
* gcc.c-torture/compile/pr34029-1.c: New testcase.
* gcc.c-torture/compile/pr34029-2.c: Likewise.
From-SVN: r131325
Diffstat (limited to 'gcc/tree-cfg.c')
| -rw-r--r-- | gcc/tree-cfg.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c index 1606497..a8cb627 100644 --- a/gcc/tree-cfg.c +++ b/gcc/tree-cfg.c @@ -3218,6 +3218,11 @@ verify_expr (tree *tp, int *walk_subtrees, void *data ATTRIBUTE_UNUSED) error ("address taken, but ADDRESSABLE bit not set"); return x; } + + /* Stop recursing and verifying invariant ADDR_EXPRs, they tend + to become arbitrary complicated. */ + if (is_gimple_min_invariant (t)) + *walk_subtrees = 0; break; } |