> Hi. > > IPA pure const should always construct ipa_reduced_postorder with > possibility to cross AVAIL_INTERPOSABLE boundary. The pass itself > can then properly stop propagation on these symbols. > > The patch is pre-approved by Honza. > Patch can bootstrap on x86_64-linux-gnu and survives regression tests. > > Thanks, > Martin > > gcc/ChangeLog: > > 2019-02-08 Martin Liska <mli...@suse.cz> > > PR ipa/89009 > * ipa-cp.c (build_toporder_info): Remove usage of a param. > * ipa-inline.c (inline_small_functions): Likewise. > * ipa-pure-const.c (propagate_pure_const): Likewise. > (propagate_nothrow): Likewise. > * ipa-reference.c (propagate): Likewise. > * ipa-utils.c (struct searchc_env): Remove unused field. > (searchc): Always search across AVAIL_INTERPOSABLE. > (ipa_reduced_postorder): Always allow AVAIL_INTERPOSABLE as > the only called IPA pure const can properly not propagate > across interposable boundary. > * ipa-utils.h (ipa_reduced_postorder): Remove param.
OK, thanks! Honza
