diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2024-03-20 18:33:11 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2024-03-20 18:33:11 -0400 |
| commit | 9093f275e0a3430e4517e782e7f5419d403113f7 (patch) | |
| tree | c3811ae2a97d4dcf5f05877bebebb91cc650393c /libgcc | |
| parent | f10c18df9c02dc518360426c021971838e0012d2 (diff) | |
| download | gcc-9093f275e0a3430e4517e782e7f5419d403113f7.zip gcc-9093f275e0a3430e4517e782e7f5419d403113f7.tar.gz gcc-9093f275e0a3430e4517e782e7f5419d403113f7.tar.bz2 | |
analyzer: fix -Wanalyzer-deref-before-check false positive seen in loop header macro [PR109251]
gcc/analyzer/ChangeLog:
PR analyzer/109251
* sm-malloc.cc (deref_before_check::emit): Reject cases where the
check is in a loop header within a macro expansion.
(deref_before_check::loop_header_p): New.
gcc/testsuite/ChangeLog:
PR analyzer/109251
* c-c++-common/analyzer/deref-before-check-pr109251-1.c: New test.
* c-c++-common/analyzer/deref-before-check-pr109251-2.c: New test.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'libgcc')
0 files changed, 0 insertions, 0 deletions