]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 48d4920) | patch
analyzer: fix ignored constraints involving casts [PR113619]
authorDavid Malcolm <dmalcolm@redhat.com>
Thu, 21 Mar 2024 21:48:38 +0000 (17:48 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Thu, 21 Mar 2024 21:48:38 +0000 (17:48 -0400)
commit7a5a4a4467b2e18ff4fe24f565e120280d3e6ba7
tree4f7827631fe73ae907ed0dcbf26414ebe15f6f97tree
parent48d49200510198cafcab55601cd8e5f8eb541f01commit | diff
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>
gcc/analyzer/region-model.cc diff | blob | blame | history
gcc/testsuite/c-c++-common/analyzer/taint-divisor-pr113619.c [new file with mode: 0644] blob
Mirror of https://gcc.gnu.org/git/gcc.git