projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 29f2d76) | patch
[Ada] AI12-0095 Formal types and Constrained Partial Views
authorGary Dismukes <dismukes@adacore.com>
Thu, 20 Aug 2020 23:14:43 +0000 (19:14 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 22 Oct 2020 12:11:24 +0000 (08:11 -0400)
commit84d7433afffe536bac912082e076d257a0173a1e
tree771decc5bed9e60b38f2dbe58809991ee3d3f779tree
parent29f2d76c65e175e18305b92f56be40c2266e9c78commit | diff
[Ada] AI12-0095 Formal types and Constrained Partial Views

gcc/ada/

* einfo.adb (Has_Constrained_Partial_View): Apply Base_Type to Id.
* sem_res.adb (Resolve_Actuals.Check_Aliased_Parameter): Remove
"not Is_Generic_Type" test and call
Object_Type_Has_Constrained_Partial_View instead of
Has_Constrained_Partial_View. Improve related error message to
say "does not statically match" instead of just "does not
match".
gcc/ada/einfo.adb diff | blob | history
gcc/ada/sem_res.adb diff | blob | history