Re: tree-ssa-structalias.cc: Why do we iterate over fields of a global varinfo
Project / Subsystem
gcc / tree-ssa-structalias.cc
Date
2026-09-15
Proposer
Filip Kastl <fkastl@suse.cz>
Source type
public_inbox
Consensus
Proposed
Sentiment
—/10
Technical tradeoffs
- • Potential for code simplification by removing redundant loops.
- • Ensuring correctness of pointer analysis for aggregate types.
All attributes
- project
- gcc
- subsystem
- tree-ssa-structalias.cc
- patch_id
- —
- discussion_id
- aqlSE223tVjyInUY@localhost.localdomain
- source_type
- public_inbox
- title
- Re: tree-ssa-structalias.cc: Why do we iterate over fields of a global varinfo
- headline
- tree-ssa-structalias.cc: Why do we iterate over fields of a global varinfo
- tldr
- Question about redundant loops in IPA PTA code for shadow variables.
- proposer
- Filip Kastl <fkastl@suse.cz>
- consensus
- Proposed
- outcome
- proposed
- sentiment_score
- —
- technical_tradeoffs
-
- • Potential for code simplification by removing redundant loops.
- • Ensuring correctness of pointer analysis for aggregate types.
- series_id
- —
- series_role
- standalone
- series_parts
- []
- tags
-
- • gcc
- • ipa
- • pta
- • pointer-analysis
- • optimization
- bugzilla_url
- —
- date
- 2026-09-15T00:00:00.000Z
Re: tree-ssa-structalias.cc: Why do we iterate over fields of a global varinfo
Filip Kastl is seeking clarification on a specific loop within GCC’s IPA PTA code, related to shadow variables. He questions the necessity of iterating over fields of a global varinfo, suspecting it might be redundant if those fields are already marked as global. This investigation aims to optimize or clarify the handling of aggregate variables and their fields in pointer analysis.