]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a82ecde) | patch
analyzer: fix ICE on floating-point bounds [PR111881]
authorDavid Malcolm <dmalcolm@redhat.com>
Tue, 27 Feb 2024 13:36:58 +0000 (08:36 -0500)
committerDavid Malcolm <dmalcolm@redhat.com>
Tue, 27 Feb 2024 13:36:58 +0000 (08:36 -0500)
commit43ad6ce60108acc822efcd394b75e270c1996cb5
treeb2244128876b010e77163ff0aee3187950457710tree
parenta82ecdeacf83996321de5312522b0cc961e02a95commit | diff
analyzer: fix ICE on floating-point bounds [PR111881]

gcc/analyzer/ChangeLog:
PR analyzer/111881
* constraint-manager.cc (bound::ensure_closed): Assert that
m_constant has integral type.
(range::add_bound): Bail out on floating point constants.

gcc/testsuite/ChangeLog:
PR analyzer/111881
* c-c++-common/analyzer/conditionals-pr111881.c: New test.

Signed-off-by: David Malcolm <dmalcolm@redhat.com>
gcc/analyzer/constraint-manager.cc diff | blob | blame | history
gcc/testsuite/c-c++-common/analyzer/conditionals-pr111881.c [new file with mode: 0644] blob
Mirror of https://gcc.gnu.org/git/gcc.git