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 <rgue...@gcc.gnu.org>: https://gcc.gnu.org/g:d4e5ca668498a41af6417721be2ec69b2eac062e commit r10-10391-gd4e5ca668498a41af6417721be2ec69b2eac062e Author: Richard Biener <rguent...@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 <rguent...@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)
