[Bug tree-optimization/97953] [9/10 Regression] ICE (segfault) during GIMPLE pass: loopdone compiling libgcc/config/libbid/bid128_fma.c:190:1

[cvs-commit at gcc dot gnu.org]

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

--- Comment #26 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-10 branch has been updated by Richard Biener
<rguenth@gcc.gnu.org>:

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

commit r10-10391-gd4e5ca668498a41af6417721be2ec69b2eac062e
Author: Richard Biener <rguenther@suse.de>
Date:   Thu Nov 26 16:13:08 2020 +0100

    tree-optimization/97953 - fix bougs range recorded by EVRP

    EVRP records some ranges from asserts into SSA_NAME_RANGE_INFO
    but fails to assert that the condition the range is derived from
    is always true after the SSA names definition.  The patch implements
    the simplest post-dominance check, basic-block equality.

    2020-11-26  Richard Biener  <rguenther@suse.de>

            PR tree-optimization/97953
            * gimple-ssa-evrp-analyze.c
            (evrp_range_analyzer::record_ranges_from_incoming_edge): Make
            sure the condition post-dominates the SSA definition before
            recording into SSA_NAME_RANGE_INFO.

            * gcc.dg/pr97953.c: New testcase.

    (cherry picked from commit c76b3f9e83353a4cd437ca137c1fb835c9b5c21f)