diff options
| author | Yannick Moy <moy@adacore.com> | 2018-06-11 09:18:01 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-06-11 09:18:01 +0000 |
| commit | d05bdd90e646234d08ceb855f9b4ae06896f4337 (patch) | |
| tree | d7a6b30d80bf275e88483ae67d9eca7601cd65b8 /gcc/fortran/interface.c | |
| parent | 270c6b4d6f9300f36cb7e06594d71a62ab59af0a (diff) | |
| download | gcc-d05bdd90e646234d08ceb855f9b4ae06896f4337.zip gcc-d05bdd90e646234d08ceb855f9b4ae06896f4337.tar.gz gcc-d05bdd90e646234d08ceb855f9b4ae06896f4337.tar.bz2 | |
[Ada] Do not force Part_Of on generic units
This fixes the code checking SPARK RM 7.2.6(3) so that generic child units
are not forced to use Part_Of to relate their abstract state to the state
of their parent.
2018-06-11 Yannick Moy <moy@adacore.com>
gcc/ada/
* sem_prag.adb (Analyze_Part_Of): Only allow Part_Of on non-generic
unit.
(Check_Missing_Part_Of): Do not force Part_Of on generic unit.
gcc/testsuite/
* gnat.dg/part_of1-instantiation.adb,
gnat.dg/part_of1-instantiation.ads,
gnat.dg/part_of1-private_generic.adb,
gnat.dg/part_of1-private_generic.ads, gnat.dg/part_of1.ads: New
testcase.
From-SVN: r261412
Diffstat (limited to 'gcc/fortran/interface.c')
0 files changed, 0 insertions, 0 deletions