[Bug tree-optimization/93776] [10 Regression] ICE in verify_sra_access_forest, at tree-sra.c:2326

[cvs-commit at gcc dot gnu.org]

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

--- Comment #5 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:51faf07cef9293af544bfacc7d0b320ab90d7d60

commit r10-6723-g51faf07cef9293af544bfacc7d0b320ab90d7d60
Author: Martin Jambor <mjambor@suse.cz>
Date:   Wed Feb 19 11:13:52 2020 +0100

    sra: Do not create zero sized accesses  (PR 93776)

    SRA can get a bit confused with zero-sized accesses like the one in
    the testcase.  Since there is nothing in the access, nothing is
    scalarized, but we can get order of the structures wrong, which the
    verifier is not happy about.

    Fixed by simply ignoring such accesses.

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

        PR tree-optimization/93776
        * tree-sra.c (create_access): Do not create zero size accesses.
        (get_access_for_expr): Do not search for zero sized accesses.

        testsuite/
        * gcc.dg/tree-ssa/pr93776.c: New test.