[Bug tree-optimization/108547] [13 Regression] ice in decompose, at wide-int.h:984 for -O2 with -Wall since r13-2500-g0a4a2667dc115ca7

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

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

--- Comment #8 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Richard Biener <rgue...@gcc.gnu.org>:

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

commit r13-5383-gc71a128a3e1ff6ee5274fc2df49ea650bc9e6c2d
Author: Richard Biener <rguent...@suse.de>
Date:   Thu Jan 26 08:59:20 2023 +0100

    tree-optimization/108547 - robustify uninit predicate analysis

    Predicate analysis, when looking through casts doesn't bother to
    convert boundary constants to the type of the bounded variables.
    The following robustifies value_sat_pred_p to use widest_ints
    to deal with this, like other code in predicate analysis.

            PR tree-optimization/108547
            * gimple-predicate-analysis.cc (value_sat_pred_p):
            Use widest_int.

            * gcc.dg/uninit-pr108547.c: New testcase.