diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2015-01-06 10:03:43 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-01-06 11:03:43 +0100 |
| commit | 6ced6aa2aa6d1e7040c9114b96f64e4a220dc473 (patch) | |
| tree | 04c8ffd6bf12732cbbdff334b5671a16613c2d02 /gcc/ada/einfo.adb | |
| parent | 61ae296d2beb645bd0aed720cf408891d67913d9 (diff) | |
| download | gcc-6ced6aa2aa6d1e7040c9114b96f64e4a220dc473.zip gcc-6ced6aa2aa6d1e7040c9114b96f64e4a220dc473.tar.gz gcc-6ced6aa2aa6d1e7040c9114b96f64e4a220dc473.tar.bz2 | |
einfo.ads (Is_Independent): Document extended usage.
2015-01-06 Eric Botcazou <ebotcazou@adacore.com>
* einfo.ads (Is_Independent): Document extended usage.
* einfo.adb (Is_Independent): Remove obsolete assertion.
(Set_Is_Independent): Likewise.
* sem_prag.adb (Process_Atomic_Shared_Volatile): Rename into...
(Process_Atomic_Independent_Shared_Volatile): ...this.
Deal with pragma Independent here.
(Analyze_Pragma): Adjust
to above renaming and also invoke it for pragma Independent.
Adjust comment for Independent_Components.
From-SVN: r219245
Diffstat (limited to 'gcc/ada/einfo.adb')
| -rw-r--r-- | gcc/ada/einfo.adb | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/gcc/ada/einfo.adb b/gcc/ada/einfo.adb index 3e0c0c7..c5ff28e 100644 --- a/gcc/ada/einfo.adb +++ b/gcc/ada/einfo.adb @@ -2117,7 +2117,6 @@ package body Einfo is function Is_Independent (Id : E) return B is begin - pragma Assert (Ekind (Id) = E_Component); return Flag268 (Id); end Is_Independent; @@ -4967,7 +4966,6 @@ package body Einfo is procedure Set_Is_Independent (Id : E; V : B := True) is begin - pragma Assert (Ekind_In (Id, E_Component, E_Void)); Set_Flag268 (Id, V); end Set_Is_Independent; |