[Bug tree-optimization/93845] [10 regression] ICE in verify_sra_access_forest, at tree-sra.c:2358

[cvs-commit at gcc dot gnu.org]

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

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Martin Jambor <jamborm@gcc.gnu.org>:

https://gcc.gnu.org/g:4d6bf96b583d77336cf6ca643d92d068a88414fa

commit r10-6779-g4d6bf96b583d77336cf6ca643d92d068a88414fa
Author: Martin Jambor <mjambor@suse.cz>
Date:   Fri Feb 21 13:38:22 2020 +0100

    sra: Only verify sizes of scalar accesses (PR 93845)

    the testcase is another example - in addition to recent PR 93516 - where
    the SRA access verifier is confused by the fact that get_ref_base_extent
    can return different sizes for the same type, depending whether they are
    COMPONENT_REF or not.  In the previous bug I decided to keep the
    verifier check for aggregate type even though it is not really important
    and instead avoid easily detectable type-within-the-same-type situation.
    This testcase is however a result of a fairly random looking type cast
    and so cannot be handled in the same way.

    Because the check is not really important for aggregates, this patch
    simply disables it for non-register types.

    2020-02-21  Martin Jambor  <mjambor@suse.cz>

        PR tree-optimization/93845
        * tree-sra.c (verify_sra_access_forest): Only test access size of
        scalar types.

        testsuite/
        * g++.dg/tree-ssa/pr93845.C: New test.