Skip to content
Snippets Groups Projects
Commit 43ad6ce6 authored by David Malcolm's avatar David Malcolm
Browse files

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: default avatarDavid Malcolm <dmalcolm@redhat.com>
parent a82ecdea
No related branches found
No related tags found
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment