https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97953
--- Comment #27 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-9 branch has been updated by Richard Biener <rgue...@gcc.gnu.org>: https://gcc.gnu.org/g:c018cf9d12c5909a852c33a200cf816204c219b3 commit r9-9908-gc018cf9d12c5909a852c33a200cf816204c219b3 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)
