projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: acc1708) | patch
[Ada] Ada2020: AI12-0180 Using subprograms and entries in invariants
authorBob Duff <duff@adacore.com>
Mon, 22 Jun 2020 19:23:45 +0000 (15:23 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 15 Oct 2020 09:39:08 +0000 (05:39 -0400)
commit46a3809b1579cb86574c6ba8e2858a8f369f8786
treefb25eeb56f4c5b11a0f9ad06e20da8e1ea6d9b57tree
parentacc1708cf088b47919785e6a50fa7a636b3fb82bcommit | diff
[Ada] Ada2020: AI12-0180 Using subprograms and entries in invariants

gcc/ada/

* sem_ch13.adb (Visible_Component): Enable this code for task
and protected types, as well as record and private types.
* sem_ch13.ads (Replace_Type_References_Generic): Update
comment.  Move the efficiency comment into the body, because
it's about the implementation.
gcc/ada/sem_ch13.adb diff | blob | history
gcc/ada/sem_ch13.ads diff | blob | history