[Bug tree-optimization/109546] [13/14 Regression] Missed Dead Code Elimination when using __builtin_unreachable since r13-3596-ge7310e24b1c0ca

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

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

--- Comment #5 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Andrew Macleod <amacl...@gcc.gnu.org>:

https://gcc.gnu.org/g:f828503eeb79ad1f1ada6db7deccc5abcc2f3ca3

commit r14-160-gf828503eeb79ad1f1ada6db7deccc5abcc2f3ca3
Author: Andrew MacLeod <amacl...@redhat.com>
Date:   Fri Apr 21 15:03:43 2023 -0400

    Do not fold ADDR_EXPR conditions leading to builtin_unreachable early.

    Ranges can not represent &var globally yet, so we cannot fold these
    expressions early or we lose the __builtin_unreachable information.

            PR tree-optimization/109546
            gcc/
            * tree-vrp.cc (remove_unreachable::remove_and_update_globals): Do
            not fold conditions with ADDR_EXPR early.

            gcc/testsuite/
            * gcc.dg/pr109546.c: New.