diff options
| author | Richard Guenther <rguenther@suse.de> | 2010-03-11 15:08:24 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2010-03-11 15:08:24 +0000 |
| commit | ff0a0c1d883427293cc007f273ad6f9a31b511a6 (patch) | |
| tree | 058f274db42ab784343a4873e9bb47a39dae898a /gcc/tree-vrp.c | |
| parent | b509e1fcea9c6ba2dcaaee5159e19f65b407f031 (diff) | |
| download | gcc-ff0a0c1d883427293cc007f273ad6f9a31b511a6.zip gcc-ff0a0c1d883427293cc007f273ad6f9a31b511a6.tar.gz gcc-ff0a0c1d883427293cc007f273ad6f9a31b511a6.tar.bz2 | |
re PR middle-end/43255 (ICE in extract_range_from_assert, at tree-vrp.c:1423)
2010-03-11 Richard Guenther <rguenther@suse.de>
PR tree-optimization/43255
* tree-vrp.c (process_assert_insertions_for): Do not insert
asserts for trivial conditions.
* gcc.c-torture/compile/pr43255.c: New testcase.
From-SVN: r157388
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 152d389..0071e82 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -4836,6 +4836,10 @@ process_assert_insertions_for (tree name, assert_locus_t loc) edge_iterator ei; edge e; + /* If we have X <=> X do not insert an assert expr for that. */ + if (loc->expr == loc->val) + return false; + cond = build2 (loc->comp_code, boolean_type_node, loc->expr, loc->val); assert_stmt = build_assert_expr_for (cond, name); if (loc->e) |