[Bug middle-end/102200] [12 Regression] ice in put_ref, at pointer-query.cc:1351 since r12-3300-gece28da924ddda8b

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

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

--- Comment #5 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:31e924c52f430d81f030a2fa9f60b73a5a0d2126

commit r12-3629-g31e924c52f430d81f030a2fa9f60b73a5a0d2126
Author: Martin Sebor <mse...@redhat.com>
Date:   Fri Sep 17 10:36:54 2021 -0600

    Better handle MIN/MAX_EXPR of unrelated objects [PR102200].

    Resolves:
    PR middle-end/102200 - ICE on a min of a decl and pointer in a loop

    gcc/ChangeLog:

            PR middle-end/102200
            * pointer-query.cc (access_ref::inform_access): Handle
MIN/MAX_EXPR.
            (handle_min_max_size): Change argument.  Store original SSA_NAME
for
            operands to potentially distinct (sub)objects.
            (compute_objsize_r): Adjust call to the above.

    gcc/testsuite/ChangeLog:

            PR middle-end/102200
            * gcc.dg/Wstringop-overflow-62.c: Adjust text of an expected note.
            * gcc.dg/Warray-bounds-89.c: New test.
            * gcc.dg/Wstringop-overflow-74.c: New test.
            * gcc.dg/Wstringop-overflow-75.c: New test.
            * gcc.dg/Wstringop-overflow-76.c: New test.