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/testsuite | |
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/testsuite')
-rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/testsuite/gcc.c-torture/compile/pr59919.c | 18 |
2 files changed, 23 insertions, 0 deletions
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); +} |