https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97515
--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Andrew Macleod <amacl...@gcc.gnu.org>: https://gcc.gnu.org/g:ca5f4666f7a9404cdb04832324de3dd7d71e35c3 commit r11-4198-gca5f4666f7a9404cdb04832324de3dd7d71e35c3 Author: Andrew MacLeod <amacl...@redhat.com> Date: Wed Oct 21 19:55:28 2020 -0400 Check for undefined before not returning a constant value Don't return UNDEFINED for a range in an unreachable block if the global value evaluates to a constant. Return that constant instead. PR tree-optimization/97515 * value-query.cc (range_query::value_of_expr): If the result is UNDEFINED, check to see if the global value is a constant. (range_query::value_on_edge): Ditto.
