tree-ssa-uninit.c (is_pred_expr_subset_of): Correctly handle cases where cond2 is...
authorVladislav Ivanishin <vlad@ispras.ru>
Mon, 29 Apr 2019 19:47:17 +0000 (19:47 +0000)
committerJeff Law <law@gcc.gnu.org>
Mon, 29 Apr 2019 19:47:17 +0000 (13:47 -0600)
commit5c1b3334a2f59492f57e32c2ddab06d22941a3f3
treed4b1b9cbc6efbdfe196d089bc4d58fe9686df6d7
parent95c33590c88563c03e20618af60ed18eda3013aa
tree-ssa-uninit.c (is_pred_expr_subset_of): Correctly handle cases where cond2 is NE_EXPR.

* tree-ssa-uninit.c (is_pred_expr_subset_of): Correctly handle cases
where cond2 is NE_EXPR.
(is_value_included_in): Update comment.

        * gcc.dg/uninit-25-gimple.c: New test.
        * gcc.dg/uninit-25.c: New test.
        * gcc.dg/uninit-26.c: New test.
        * gcc.dg/uninit-27-gimple.c: New test.

From-SVN: r270660
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/uninit-25-gimple.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/uninit-25.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/uninit-26.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/uninit-27-gimple.c [new file with mode: 0644]
gcc/tree-ssa-uninit.c