]> git.ipfire.org Git - thirdparty/gcc.git/commit
analyzer: fix ICE due to sloppy types in unaryop_svalue [PR124104]
authorDavid Malcolm <dmalcolm@redhat.com>
Tue, 17 Feb 2026 23:04:17 +0000 (18:04 -0500)
committerDavid Malcolm <dmalcolm@redhat.com>
Tue, 17 Feb 2026 23:04:17 +0000 (18:04 -0500)
commitf310e487e1a5f01dcc0ce47996c91c35444ce9de
treef1b40927d0111484ebb2e0cc1a364a1e92c39a96
parent5869ac36fadbfac9a08e4bd15bff9503ebb00304
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>
gcc/analyzer/svalue.cc
gcc/testsuite/c-c++-common/analyzer/casts-3.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/analyzer/ice-pr124104.c [new file with mode: 0644]