[Bug analyzer/124104] [16 Regression] ICE: in fold_range, at range-op.cc:231 with -fanalyzer

[cvs-commit at gcc dot gnu.org]

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

--- Comment #2 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by David Malcolm <dmalcolm@gcc.gnu.org>:

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

commit r16-7560-gf310e487e1a5f01dcc0ce47996c91c35444ce9de
Author: David Malcolm <dmalcolm@redhat.com>
Date:   Tue Feb 17 18:04:17 2026 -0500

    analyzer: fix ICE due to sloppy types in unaryop_svalue [PR124104]

    gcc/analyzer/ChangeLog:
            PR analyzer/124104
            * svalue.cc (unaryop_svalue::maybe_get_value_range): Bail out for
            incompatible types.

    gcc/testsuite/ChangeLog:
            PR analyzer/124104
            * c-c++-common/analyzer/casts-3.c: New test.
            * gcc.dg/analyzer/ice-pr124104.c: New test.

    Signed-off-by: David Malcolm <dmalcolm@redhat.com>