Landing: b6ff1ae5bada
Project / Subsystem
gcc / ipa
Date
2026-08-18
Author
Richard Biener
Commit
b6ff1ae5bada420faba2083f27c665274909ee19
Source
github
Perf win
No
Breaking
No
All attributes
- project
- gcc
- subsystem
- ipa
- patch_id
- —
- commit_hash
- b6ff1ae5bada420faba2083f27c665274909ee19
- source_type
- github
- headline
- ipa/tree-ssa-alias.cc: Defend non-pointers in alias analysis
- tldr
- Adds checks in alias analysis to prevent operating on non-pointer SSA names.
- author
- Richard Biener
- outcome
- committed
- performance_win
- false
- breaking_change
- false
- series_id
- —
- series_parts
- []
- tags
-
- • ipa
- • alias analysis
- • compiler
- • refactor
- discussion_id_link
- —
- bugzilla_pr
- —
- date
- 2026-08-18T00:00:00.000Z
The interprocedural analysis (IPA) pass, specifically within tree-ssa-alias.cc, had functions like ptr_deref_may_alias_global_p that could be called with SSA names representing non-pointer types. This could lead to incorrect behavior, such as accessing range information instead of pointer information. This commit adds guards to these functions to ensure they only operate on valid pointer SSA names, improving the robustness of alias analysis.