[Bug ada/65683] [13/14/15/16 regression] access types across "limited with" breaks restriction of No_Elaboration_Code

[ebotcazou at gcc dot gnu.org]

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

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |WONTFIX

--- Comment #16 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
The master is created because of potential tasks, not controlled types, so the
workaround is to use:

  pragma Restrictions (No_Tasking);

in a configuration file.