[Bug middle-end/102403] [12 Regression] ICE in in init_from_control_deps, at gimple-predicate-analysis.cc:2364

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102403

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Martin Sebor <mse...@gcc.gnu.org>:

https://gcc.gnu.org/g:825293da703aa1f7ce870b40afce91c1e8b6c0fa

commit r12-3674-g825293da703aa1f7ce870b40afce91c1e8b6c0fa
Author: Martin Sebor <mse...@redhat.com>
Date:   Sun Sep 19 17:18:48 2021 -0600

    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.