On Fri, Feb 13, 2015 at 08:19:52PM +0100, Marek Polacek wrote:
> On Thu, Feb 12, 2015 at 05:14:19PM +0300, Ilya Enkovich wrote:
> > Hi,
> >
> > PR65002 is the second issue caused by SRA for functions wrongly marked as
> > read-only. Previous fix for PR64353 doesn't work for this case because SSA
> > update happens too late. Here is a patch to disable SRA for such functions
> > to avoid inconsistent SSA issues.
> >
> > Bootstrapped and tested on x86_64-unknown-linux-gnu. OK for trunk?
> >
> > Thanks,
> > Ilya
> > --
> > gcc/
> >
> > 2015-02-12 Ilya Enkovich <ilya.enkov...@intel.com>
> >
> > PR tree-optimization/65002
> > * tree-cfg.c (pass_data_fixup_cfg): Don't update
> > SSA on start.
> > * tree-sra.c (some_callers_have_no_vuse_p): New.
> > (ipa_early_sra): Reject functions whose callers
> > assume funciton is read only.
> >
> > gcc/testsuite/
> >
> > 2015-02-12 Ilya Enkovich <ilya.enkov...@intel.com>
> >
> > PR tree-optimization/65002
> > * gcc.dg/pr65002.C: New.
>
> This test should have gone into g++.dg.
Into g++.dg/opt or g++.dg/ipa in particular.
Jakub
