[Bug c++/106654] [C++23] P1774 - Portable assumptions

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #18 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Aldy Hernandez <al...@gcc.gnu.org>:

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

commit r13-3420-gd155442de043c1bef7d27cf2d6be4eba618afcb9
Author: Aldy Hernandez <al...@redhat.com>
Date:   Thu Oct 20 18:26:42 2022 +0200

    [PR c++/106654] Handle non-irange ranges in get_range_global for default
defs.

    With the upcoming [[assume]] work, Andrew has pointed out that
    non-irange ranges are not handled in get_range_global for
    SSA_NAME_IS_DEFAULT_DEF.  This patch fixes the oversight.

            PR c++/106654

    gcc/ChangeLog:

            * value-query.cc (get_range_global): Handle non integer ranges for
            default def SSA names.