2011-09-06 Robert Dewar <dewar@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 6 Sep 2011 13:09:41 +0000 (13:09 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 6 Sep 2011 13:09:41 +0000 (13:09 +0000)
commit288afea98393883aa13c0b09a43970fdebe2b69a
treee1de89f0e081fe758e792d871c404851cfb363a3
parent9f46922140052a306a688a696e55a47f6ca7adf3
2011-09-06  Robert Dewar  <dewar@adacore.com>

* impunit.ads, impunit.adb (Is_RM_Defined_Unit): New function.
* s-rident.ads: New restriction No_Implementation_Units
(this restriction is also part of the profile
No_Implementation_Extensions)
* sem_ch10.adb (Analyze_With_Clause): Add check for
No_Implementation_Units restriction.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178594 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/impunit.adb
gcc/ada/impunit.ads
gcc/ada/s-rident.ads
gcc/ada/sem_ch10.adb