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