Landing: 8354a7073941
Project / Subsystem
gcc / analyzer
Date
2026-05-19
Author
David Malcolm
Commit
8354a70739419dc9e48e3b5613112e3ce737d246
Source
github
Perf win
No
Breaking
No
All attributes
- project
- gcc
- subsystem
- analyzer
- patch_id
- —
- commit_hash
- 8354a70739419dc9e48e3b5613112e3ce737d246
- source_type
- github
- headline
- analyzer: bulletproof binop_svalue::maybe_get_value_range_1
- tldr
- Adds a type check to prevent crashes in the static analyzer when handling binary operations.
- author
- David Malcolm
- outcome
- committed
- performance_win
- false
- breaking_change
- false
- series_id
- —
- series_parts
- []
- tags
-
- • analyzer
- • robustness
- • type check
- • static analysis
- discussion_id_link
- —
- bugzilla_pr
- —
- date
- 2026-05-19T00:00:00.000Z
This commit adds a check for incompatible types in binop_svalue::maybe_get_value_range_1 to prevent potential crashes in the static analyzer. This is a defensive change that ensures the analyzer handles potentially malformed intermediate representations gracefully, preventing unexpected termination and improving robustness.