Landing: 573b66baa6cb
Project / Subsystem
gcc / analyzer
Date
2026-05-19
Author
David Malcolm
Commit
573b66baa6cb8d38771b864d40a42ca2401ac5b9
Source
github
Perf win
No
Breaking
No
All attributes
- project
- gcc
- subsystem
- analyzer
- patch_id
- —
- commit_hash
- 573b66baa6cb8d38771b864d40a42ca2401ac5b9
- source_type
- github
- headline
- analyzer: fix pointer comparisons
- tldr
- Fixes a bug in the static analyzer that caused false positives due to incorrect pointer comparison logic.
- author
- David Malcolm
- outcome
- committed
- performance_win
- false
- breaking_change
- false
- series_id
- —
- series_parts
- []
- tags
-
- • analyzer
- • pointer comparison
- • false positive
- • static analysis
- discussion_id_link
- —
- bugzilla_pr
- —
- date
- 2026-05-19T00:00:00.000Z
The static analyzer was producing false positives related to pointer comparisons, particularly when using std::string with small-string optimization. This commit fixes a bug in region_svalue::eval_condition that was comparing memory regions by identity rather than by their addresses. This change improves the accuracy of the analyzer and reduces the number of false warnings reported to users.