Re: rr

[Simon Wright <simon@pushface.org>]

Emmanuel Briot <briot.emmanuel@gmail.com> writes:

>> It'd probably really help with my current problem, where GCC 11.0.0 and 
>> GNAT CE 2020 arm-eabi throw an ICE when compiling a generalised 
>> iteration
>
> Might be unrelated, but: we have noticed recently that a generalized
> iteration ("for..of") was wrongly calling `activate_task`. In
> particular, this resulted in errors when executing such loops from a
> protected object and enabling the checks that no potentially blocking
> operation is executed in such contexts.
>
> We reported this to AdaCore who fixed it in their more recent
> wavefronts. I am not sure when the
> error started to occur though, so maybe not that helpful to you :-)

I reported this, and Eric has come up with the goods! We're at 11.0.1
now (how can you tell what release ID a particular GCC commit will
produce?), so there's a good chance it'll make it into the 11.1.0
release.

Not that there are likely to be loads of people around making RTSs with
Ada.Containers for MCUs. The issue didn't cause problems with AdaCore's
ravenscar-full-stm32f4.

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99360