On Sat, Oct 13, 2012 at 10:38 PM, Eric Botcazou <ebotca...@adacore.com> wrote:
> So, in the end, does the patch enable DF_LIVE at -O1 or not? There seems to
> be a contradiction between the subject and the body of the message. If yes,
> perhaps an acceptable compromise would be to keep things unchanged at -O1.
Eh, right. When I wrote the e-mail, I was still under the impression
that IRA only has DF_LIVE available at -O2 and higher, and I only
discovered that DF_LIVE is added if optimize==1 just before submitting
the patch. So my patch as submitted should have said "... (for -O1 and
higher)".
I think it would be a good idea to keep things unchanged at -O1. For
that, the patch needs a few minor modifications (remove calls to
df_live_add_problem and make some code to update DF_LIVE_{IN,OUT}
conditional). I can prepare an updated patch for that, if you think
that's best.
Ciao!
Steven
