einfo.ads (Is_Independent): Document extended usage.
authorEric Botcazou <ebotcazou@adacore.com>
Tue, 6 Jan 2015 10:03:43 +0000 (10:03 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 6 Jan 2015 10:03:43 +0000 (11:03 +0100)
commit6ced6aa2aa6d1e7040c9114b96f64e4a220dc473
tree04c8ffd6bf12732cbbdff334b5671a16613c2d02
parent61ae296d2beb645bd0aed720cf408891d67913d9
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
gcc/ada/ChangeLog
gcc/ada/einfo.adb
gcc/ada/einfo.ads
gcc/ada/sem_prag.adb