Landing: 9a231dbb68ab
Project / Subsystem
gcc / analyzer
Date
2026-05-06
Author
David Malcolm
Commit
9a231dbb68ab3df13ea20a6066d45eaf7cc5a4ee
Source
github
Perf win
No
Breaking
No
All attributes
- project
- gcc
- subsystem
- analyzer
- patch_id
- —
- commit_hash
- 9a231dbb68ab3df13ea20a6066d45eaf7cc5a4ee
- source_type
- github
- headline
- Analyzer: Add data flow events
- tldr
- The analyzer now provides more detailed data flow events to help users understand warnings related to problematic values.
- author
- David Malcolm
- outcome
- committed
- performance_win
- false
- breaking_change
- false
- series_id
- —
- series_parts
- []
- tags
-
- • analyzer
- • data flow
- • diagnostics
- • usability
- discussion_id_link
- —
- bugzilla_pr
- —
- date
- 2026-05-06T00:00:00.000Z
Analyzer warnings related to problematic values (e.g., division by zero) are often hard to understand. This commit adds data flow events to track value origins to precisely show where problematic values originate. diagnostic_manager::annotate_exploded_path now walks backwards from the final enode and builds state transitions, and highlights them in diagnostics, leading to improved user understanding of detected issues.