On Fri, 2021-01-15 at 14:45 -0300, Alexandre Oliva wrote: > On Jan 15, 2021, Olivier Hainque <hain...@adacore.com> wrote: > > > On 14 Jan 2021, at 22:13, Alexandre Oliva <ol...@adacore.com> > > wrote: > > > Would you mind if I submitted an alternate patch to do so? > > Not at all, thanks for your feedback and for proposing > > an alternative! > > Here's the modified patch. Regstrapped on x86_64-linux-gnu, also > tested > on x-arm-vx7r2. David, I'm leaning towards putting it in as > "obvious", > barring any objections.
I think an issue here was that I assumed check_effective_target_alloca checks that "alloca" is supported, whereas I now see that I was wrong; it actually checks for "__builtin_alloca". I have no objections to the patch. Thanks Dave
