diff options
| author | Jeff Law <law@redhat.com> | 2014-01-24 13:51:22 -0700 |
|---|---|---|
| committer | Jeff Law <law@gcc.gnu.org> | 2014-01-24 13:51:22 -0700 |
| commit | 3d75049621434125a972a3fc738437d33d35ca8a (patch) | |
| tree | 8b1664fb93585f97779d04af6d25654ac1f830b8 /gcc | |
| parent | bb393514d5be4d683a72fa4bfda938943368505a (diff) | |
| download | gcc-3d75049621434125a972a3fc738437d33d35ca8a.zip gcc-3d75049621434125a972a3fc738437d33d35ca8a.tar.gz gcc-3d75049621434125a972a3fc738437d33d35ca8a.tar.bz2 | |
re PR tree-optimization/59919 (ICE in process_assert_insertions_for, at tree-vrp.c:6096)
PR tree-optimization/59919
* tree-vrp.c (find_assert_locations_1): Do not register asserts
for non-returning calls.
PR tree-optimization/59919
* gcc.c-torture/compile/pr59919.c: New test.
From-SVN: r207061
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/compile/pr59919.c | 18 | ||||
| -rw-r--r-- | gcc/tree-vrp.c | 15 |
4 files changed, 41 insertions, 3 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index baf3bd6..f49d6bb 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2014-01-24 Jeff Law <law@redhat.com> + + PR tree-optimization/59919 + * tree-vrp.c (find_assert_locations_1): Do not register asserts + for non-returning calls. + 2014-01-24 James Greenhalgh <james.greenhalgh@arm.com> * common/config/aarch64/aarch64-common.c diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 445815e..8a44033 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2014-01-24 Jeff Law <law@redhat.com> + + PR tree-optimization/59919 + * gcc.c-torture/compile/pr59919.c: New test. + 2014-01-24 Paolo Carlini <paolo.carlini@oracle.com> PR c++/57524 diff --git a/gcc/testsuite/gcc.c-torture/compile/pr59919.c b/gcc/testsuite/gcc.c-torture/compile/pr59919.c new file mode 100644 index 0000000..6809caa --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/pr59919.c @@ -0,0 +1,18 @@ +typedef int jmp_buf[10]; +struct S +{ + int i; + jmp_buf buf; +}; + +void setjmp (jmp_buf); +void foo (int *); +__attribute__ ((__noreturn__, __nonnull__)) void bar (struct S *); + +void +baz (struct S *p) +{ + bar (p); + setjmp (p->buf); + foo (&p->i); +} diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index f6da192..7aa732d 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -4534,12 +4534,21 @@ infer_value_range (gimple stmt, tree op, enum tree_code *comp_code_p, tree *val_ if (stmt_could_throw_p (stmt)) return false; - /* If STMT is the last statement of a basic block with no + /* If STMT is the last statement of a basic block with no normal successors, there is no point inferring anything about any of its operands. We would not be able to find a proper insertion point for the assertion, anyway. */ - if (stmt_ends_bb_p (stmt) && EDGE_COUNT (gimple_bb (stmt)->succs) == 0) - return false; + if (stmt_ends_bb_p (stmt)) + { + edge_iterator ei; + edge e; + + FOR_EACH_EDGE (e, ei, gimple_bb (stmt)->succs) + if (!(e->flags & EDGE_ABNORMAL)) + break; + if (e == NULL) + return false; + } if (infer_nonnull_range (stmt, op, true, true)) { |