[Bug middle-end/100843] [12 Regression] ICE with -O1: in try_store_by_multiple_pieces, at builtins.c:6739 since r12-397-gda9e6e63d1ae22e530ec7baf59f6ed028bf05776

["cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>]

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

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

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

commit r12-5983-gc95a9f1ee7ebd461cbced455271a993bae3a42b6
Author: Alexandre Oliva <oliva@adacore.com>
Date:   Wed Dec 15 02:22:33 2021 -0300

    [PR100843] store by mult pieces: punt on max_len < min_len

    The testcase confuses the code that detects min and max len for the
    memset, so max_len ends up less than min_len.  That shouldn't be
    possible, but the testcase requires us to handle this case.

    The store-by-mult-pieces algorithm actually relies on min and max
    lengths, so if we find them to be inconsistent, the best we can do is
    punting.


    for  gcc/ChangeLog

            PR middle-end/100843
            * builtins.c (try_store_by_multiple_pieces): Fail if min_len
            is greater than max_len.

    for  gcc/testsuite/ChangeLog

            PR middle-end/100843
            * gcc.dg/pr100843.c: New.