VRP: Simplify logic for checking if any asserts need to be inserted
authorPatrick Palka <ppalka@gcc.gnu.org>
Wed, 12 Nov 2014 00:29:33 +0000 (00:29 +0000)
committerPatrick Palka <ppalka@gcc.gnu.org>
Wed, 12 Nov 2014 00:29:33 +0000 (00:29 +0000)
commitd476245d13ed33424ae4e59ed48a45a236885cb3
treefc7a4057c719ecfaa5654e774ac2f6dc47326a5f
parent6dc37e0d9d2aabd7d6736b3bb013c5886f7ba569
VRP: Simplify logic for checking if any asserts need to be inserted

2014-11-11  Patrick Palka  <ppalka@gcc.gnu.org>

* tree-vrp.c (register_edge_assert_for_2): Change return type to
void and adjust accordingly.
(register_edge_assert_for_1): Likewise.
(register_edge_assert_for): Likewise.
(find_conditional_asserts): Likewise.
(find_switch_asserts): Likewise.
(find_assert_locations_1): Likewise.
(find_assert_locations): Likewise.
(insert_range_insertions): Inspect the need_assert_for bitmap.

From-SVN: r217400
gcc/ChangeLog
gcc/tree-vrp.c