From 8c5285e1cbc832dee329364e1c4690a7d28a313f Mon Sep 17 00:00:00 2001 From: Diego Novillo Date: Tue, 15 Nov 2005 02:59:03 +0000 Subject: [PATCH] re PR tree-optimization/24840 (ICE process_assert_insertions_for, at tree-vrp.c:2807) PR 24840 * tree-vrp.c (infer_value_range): Return false if STMT is a block terminator and its basic block has no successors. testsuite/ PR 24840 * gcc.dg/tree-ssa/pr24840.c: New test. From-SVN: r106930 --- gcc/ChangeLog | 6 ++++++ gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gcc.dg/tree-ssa/pr24840.c | 17 +++++++++++++++++ gcc/tree-vrp.c | 7 +++++++ 4 files changed, 35 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/tree-ssa/pr24840.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 032b12910b4..804e6b513be 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2005-11-14 Diego Novillo + + PR 24840 + * tree-vrp.c (infer_value_range): Return false if STMT is a + block terminator and its basic block has no successors. + 2005-11-14 Mike Stump * config/i386/i386.c (override_options): -masm=intel isn't diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index ba2ffa26801..2c2f3976be2 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2005-11-14 Diego Novillo + + PR 24840 + * gcc.dg/tree-ssa/pr24840.c: New test. + 2005-11-14 Janis Johnson PR testsuite/24841 diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr24840.c b/gcc/testsuite/gcc.dg/tree-ssa/pr24840.c new file mode 100644 index 00000000000..736dafdec59 --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/pr24840.c @@ -0,0 +1,17 @@ +/* { dg-do compile } */ +/* { dg-options "-O2" } */ + +typedef struct +{ + int tag, y; +} Object; + +void Err_Handler () __attribute__ ((__noreturn__)); + +int +P_Error (int argc, Object * argv) +{ + if (((argv[1]).tag >> 1) != 11) + Wrong_Type (argv[1], 11); + Err_Handler (argv[0], argv[1], argc - 2, argv + 2); +} diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index d49c4d40d32..f88b23e1aeb 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -2221,6 +2221,13 @@ infer_value_range (tree stmt, tree op, enum tree_code *comp_code_p, tree *val_p) if (tree_could_throw_p (stmt)) return false; + /* If STMT is the last statement of a basic block with no + 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 (bb_for_stmt (stmt)->succs) == 0) + return false; + if (POINTER_TYPE_P (TREE_TYPE (op))) { bool is_store; -- 2.30.2