diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2023-07-19 17:55:09 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2023-07-19 17:55:09 -0400 |
| commit | b86c0fe327a5196a316bd698d12765b08de5dce7 (patch) | |
| tree | bf1cdaee5d3885e09226200022b460232dbf61b7 /libgcc | |
| parent | b1ae46bdd19fc2aaea41bc894168bdaf4799be80 (diff) | |
| download | gcc-b86c0fe327a5196a316bd698d12765b08de5dce7.zip gcc-b86c0fe327a5196a316bd698d12765b08de5dce7.tar.gz gcc-b86c0fe327a5196a316bd698d12765b08de5dce7.tar.bz2 | |
analyzer: fix ICE on division of tainted floating-point values [PR110700]
gcc/analyzer/ChangeLog:
PR analyzer/110700
* region-model-manager.cc
(region_model_manager::get_or_create_int_cst): Assert that we have
an integral or pointer type.
* sm-taint.cc (taint_state_machine::check_for_tainted_divisor):
Don't check non-integral types.
gcc/testsuite/ChangeLog:
PR analyzer/110700
* gcc.dg/analyzer/taint-divisor-2.c: New test.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'libgcc')
0 files changed, 0 insertions, 0 deletions