projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1903607) | patch
[Ada] Check predicates for subtypes of private types
authorBob Duff <duff@adacore.com>
Sat, 16 May 2020 15:59:50 +0000 (11:59 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 8 Jul 2020 14:55:49 +0000 (10:55 -0400)
commit3452f4b72db6630ab80cb16d8cff2a5e531f4820
treeeca653f573b3180f1db22fb49608d87069ed2b35tree | snapshot
parent19036072c6f7db967a3ecd1b2f3b9440ddbd68d4commit | diff
[Ada] Check predicates for subtypes of private types

gcc/ada/

* sem_ch13.adb (Analyze_Aspect_Specifications): Add freeze node
for the Underlying_Full_View if it exists. The freeze node is
what triggers the generation of the predicate function.
* freeze.adb: Minor reformatting.
gcc/ada/freeze.adb diff | blob | history
gcc/ada/sem_ch13.adb diff | blob | history
Domain: System / Toolchain;