https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98188
--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Jakub Jelinek <ja...@gcc.gnu.org>: https://gcc.gnu.org/g:7d9767cb8eea0f21c5b23b0183c53840e0433397 commit r11-5890-g7d9767cb8eea0f21c5b23b0183c53840e0433397 Author: Jakub Jelinek <ja...@redhat.com> Date: Wed Dec 9 23:52:25 2020 +0100 phiopt: Fix up two_value_replacement BOOLEAN_TYPE handling for Ada [PR98188] For Ada with LTO, boolean_{false,true}_node can be 1-bit precision boolean, while TREE_TYPE (lhs) can be 8-bit precision boolean and thus we can end up with wide_int mismatches. This patch for non-VR_RANGE just use VARYING min/max manually. The min + 1 != max check will then do the rest. 2020-12-09 Jakub Jelinek <ja...@redhat.com> PR bootstrap/98188 * tree-ssa-phiopt.c (two_value_replacement): Don't special case BOOLEAN_TYPEs for ranges, instead if get_range_info doesn't return VR_RANGE, set min/max to wi::min/max_value.
