diff options
| author | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-03-11 15:08:24 +0000 |
|---|---|---|
| committer | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-03-11 15:08:24 +0000 |
| commit | 4fac6da9e3d0a0d6462e2b56494a4eb9c7e35cd1 (patch) | |
| tree | 058f274db42ab784343a4873e9bb47a39dae898a /gcc/tree-vrp.c | |
| parent | f9a210c9ae78ea07e0cb23c2b6b1ca256143e641 (diff) | |
| download | gcc-4fac6da9e3d0a0d6462e2b56494a4eb9c7e35cd1.tar.gz | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@157388 138bc75d-0d04-0410-961f-82ee72b054a4
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 152d389a9c7..0071e822a68 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) |