diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2022-06-28 18:51:30 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-07-12 12:24:14 +0000 |
| commit | 433cefcd0252ad8aae2aa8a69fbd9900809063b7 (patch) | |
| tree | 09d1652cfa70a2ac0f2263509b89871328232eda /gcc/system.h | |
| parent | 0ff936fe86ddff4d4a95a4ca9eda85ad0287ffa5 (diff) | |
| download | gcc-433cefcd0252ad8aae2aa8a69fbd9900809063b7.zip gcc-433cefcd0252ad8aae2aa8a69fbd9900809063b7.tar.gz gcc-433cefcd0252ad8aae2aa8a69fbd9900809063b7.tar.bz2 | |
[Ada] Extend No_Dependence restriction to code generation
This makes it possible to report violations of the No_Dependence restriction
during code generation, in other words outside of the Ada front-end proper.
These violations are supposed to be only for child units of System, so the
implementation is restricted to these cases.
gcc/ada/
* restrict.ads (type ND_Entry): Add System_Child component.
(Check_Restriction_No_Dependence_On_System): Declare.
* restrict.adb (Global_Restriction_No_Tasking): Move around.
(Violation_Of_No_Dependence): New procedure.
(Check_Restriction_No_Dependence): Call Violation_Of_No_Dependence
to report a violation.
(Check_Restriction_No_Dependence_On_System): New procedure.
(Set_Restriction_No_Dependenc): Set System_Child component if the
unit is a child of System.
* snames.ads-tmpl (Name_Arith_64): New package name.
(Name_Arith_128): Likewise.
(Name_Memory): Likewise.
(Name_Stack_Checking): Likewise.
* fe.h (Check_Restriction_No_Dependence_On_System): Declare.
Diffstat (limited to 'gcc/system.h')
0 files changed, 0 insertions, 0 deletions