Landing: 4d4ccbd5a52e
Project / Subsystem
gcc / analyzer
Date
2026-05-06
Author
David Malcolm
Commit
4d4ccbd5a52e4c9963318a7d7966bed08be9b806
Source
github
Perf win
No
Breaking
No
All attributes
- project
- gcc
- subsystem
- analyzer
- patch_id
- —
- commit_hash
- 4d4ccbd5a52e4c9963318a7d7966bed08be9b806
- source_type
- github
- headline
- analyzer: Show value ranges in svalue::dump
- tldr
- The static analyzer now displays value range information when dumping svalue nodes, aiding debugging.
- author
- David Malcolm
- outcome
- committed
- performance_win
- false
- breaking_change
- false
- series_id
- —
- series_parts
- []
- tags
-
- • analyzer
- • debugging
- • static analysis
- • value range
- discussion_id_link
- —
- bugzilla_pr
- —
- date
- 2026-05-06T00:00:00.000Z
The static analyzer now includes value range information when dumping svalue nodes for debugging purposes. This allows developers to inspect the range of possible values for each node, which can be helpful for understanding the analyzer’s reasoning and diagnosing issues in the code being analyzed. The value range is displayed in the output of svalue::dump.