[Bug tree-optimization/117760] `a != b` implies that a or b is also non-zero

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

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

--- Comment #10 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Kael Andrew Franco <k...@gcc.gnu.org>:

https://gcc.gnu.org/g:092e382942aeb24a949caa35512f8a4e613e234e

commit r17-2886-g092e382942aeb24a949caa35512f8a4e613e234e
Author: Kael Andrew Alonzo Franco <kaelfand...@gmail.com>
Date:   Sun Aug 2 07:53:39 2026 -0400

    match: Combine four fors into one for.

    This reduce genmatch's outputted C++ code.

    Bootstrapped and tested on x86_64-pc-linux-gnu.

            PR tree-optimization/117760
            PR tree-optimization/125442

    gcc/ChangeLog:

            * match.pd: Combine four fors into one for.