Correct a function pre/postcondition [PR102403].
authorMartin Sebor <msebor@redhat.com>
Sun, 19 Sep 2021 23:18:48 +0000 (17:18 -0600)
committerMartin Sebor <msebor@redhat.com>
Sun, 19 Sep 2021 23:23:19 +0000 (17:23 -0600)
commit825293da703aa1f7ce870b40afce91c1e8b6c0fa
tree419171fefd734ad0827c7dc6c45fe2e4fa111e57
parentc3895ef466f3068cac6f5c18b55716f494484917
Correct a function pre/postcondition [PR102403].

Resolves:
PR middle-end/102403 - ICE in init_from_control_deps, at gimple-predicate-analysis.cc:2364

gcc/ChangeLog:
PR middle-end/102403
* gimple-predicate-analysis.cc (predicate::init_from_control_deps):
Correct a function pre/postcondition.

gcc/testsuite/ChangeLog:
PR middle-end/102403
* gcc.dg/uninit-pr102403.c: New test.
* gcc.dg/uninit-pr102403-c2.c: New test.
gcc/gimple-predicate-analysis.cc
gcc/testsuite/gcc.dg/uninit-pr102403-c2.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/uninit-pr102403.c [new file with mode: 0644]