diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2024-03-21 17:48:38 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2024-03-21 17:48:38 -0400 |
| commit | 7a5a4a4467b2e18ff4fe24f565e120280d3e6ba7 (patch) | |
| tree | 4f7827631fe73ae907ed0dcbf26414ebe15f6f97 /libgcc | |
| parent | 48d49200510198cafcab55601cd8e5f8eb541f01 (diff) | |
| download | gcc-7a5a4a4467b2e18ff4fe24f565e120280d3e6ba7.zip gcc-7a5a4a4467b2e18ff4fe24f565e120280d3e6ba7.tar.gz gcc-7a5a4a4467b2e18ff4fe24f565e120280d3e6ba7.tar.bz2 | |
analyzer: fix ignored constraints involving casts [PR113619]
gcc/analyzer/ChangeLog:
PR analyzer/113619
* region-model.cc (region_model::eval_condition): Fix
cast-handling from r14-3632-ge7b267444045c5 so that if those give
an unknown result, we continue trying the constraint manager.
gcc/testsuite/ChangeLog:
PR analyzer/113619
* c-c++-common/analyzer/taint-divisor-pr113619.c: New test.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'libgcc')
0 files changed, 0 insertions, 0 deletions