[Bug tree-optimization/110556] [12 Regression] division of INT_MIN and -1 happening incorrectly with -fno-delete-dead-exceptions -fnon-call-exceptions

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

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

--- Comment #14 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-12 branch has been updated by Richard Biener
<rgue...@gcc.gnu.org>:

https://gcc.gnu.org/g:34bb7282da434e43d29f35733121d8c08a7a1ae1

commit r12-10008-g34bb7282da434e43d29f35733121d8c08a7a1ae1
Author: Richard Biener <rguent...@suse.de>
Date:   Thu Jul 6 13:51:55 2023 +0200

    tree-optimization/110556 - tail merging still pre-tuples

    The stmt comparison function for GIMPLE_ASSIGNs for tail merging
    still looks like it deals with pre-tuples IL.  The following
    attempts to fix this, not only comparing the first operand (sic!)
    of stmts but all of them plus also compare the operation code.

            PR tree-optimization/110556
            * tree-ssa-tail-merge.cc (gimple_equal_p): Check
            assign code and all operands of non-stores.

            * gcc.dg/torture/pr110556.c: New testcase.

    (cherry picked from commit 7b16686ef882ab141276f0e36a9d4ce1d755f64a)