]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ebb6faa) | patch
impunit.ads, [...] (Is_RM_Defined_Unit): New function.
authorRobert Dewar <dewar@adacore.com>
Tue, 6 Sep 2011 13:09:41 +0000 (13:09 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 6 Sep 2011 13:09:41 +0000 (15:09 +0200)
commit0a03460680a09ac9dc7119f569ae9e59d5fc778b
treee1de89f0e081fe758e792d871c404851cfb363a3tree
parentebb6faaafae68ade1685169e3f23a6870ed63102commit | diff
impunit.ads, [...] (Is_RM_Defined_Unit): New function.

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.

From-SVN: r178594
gcc/ada/ChangeLog diff | blob | blame | history
gcc/ada/impunit.adb diff | blob | blame | history
gcc/ada/impunit.ads diff | blob | blame | history
gcc/ada/s-rident.ads diff | blob | blame | history
gcc/ada/sem_ch10.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git