mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-06 02:10:29 +08:00
Code Issues Packages Projects Releases Wiki Activity

re PR tree-optimization/59919 (ICE in process_assert_insertions_for, at tree-vrp.c:6096)

Browse Source 
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
This commit is contained in:
Jeff Law 2014-01-24 13:51:22 -07:00 committed by Jeff Law
parent bb393514d5
commit 3d75049621
4 changed files with 41 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ChangeLog
View File

@ -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

5
gcc/testsuite/ChangeLog
View File

@ -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

18
gcc/testsuite/gcc.c-torture/compile/pr59919.c Normal file
View File

@ -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);
}

15
gcc/tree-vrp.c
View File

@ -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))
{