diff options
| author | Richard Biener <rguenther@suse.de> | 2021-02-12 11:13:36 +0100 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2021-02-12 12:34:28 +0100 |
| commit | 6cc886bf4279461b8931c4ca544185a85cd69f26 (patch) | |
| tree | 2cbecc9e245890f234cb1a7f6b4b3e49d7fa3a27 /gcc/fortran/trans-expr.c | |
| parent | bc6087c57540bfdcde533bc90197b6553fb8003c (diff) | |
| download | gcc-6cc886bf4279461b8931c4ca544185a85cd69f26.zip gcc-6cc886bf4279461b8931c4ca544185a85cd69f26.tar.gz gcc-6cc886bf4279461b8931c4ca544185a85cd69f26.tar.bz2 | |
middle-end/38474 - fix alias walk budget accounting in IPA analysis
The walk_aliased_vdef calls do not update the walking budget until
it is hit by a single call (and then in one case it resumes with
no limit at all). The following rectifies this in multiple places.
It also makes the updates more consistend and fixes
determine_known_aggregate_parts to account its own alias queries.
2021-02-12 Richard Biener <rguenther@suse.de>
PR middle-end/38474
* ipa-fnsummary.c (unmodified_parm_1): Only walk when
fbi->aa_walk_budget is bigger than zero. Update
fbi->aa_walk_budget.
(param_change_prob): Likewise.
* ipa-prop.c (detect_type_change_from_memory_writes):
Properly account walk_aliased_vdefs.
(parm_preserved_before_stmt_p): Canonicalize updates.
(parm_ref_data_preserved_p): Likewise.
(parm_ref_data_pass_through_p): Likewise.
(determine_known_aggregate_parts): Account own alias queries.
Diffstat (limited to 'gcc/fortran/trans-expr.c')
0 files changed, 0 insertions, 0 deletions