projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cfc3a1d) | patch
[Ada] Do not instantiate generic bodies outside of main unit in GNATprove
authorYannick Moy <moy@adacore.com>
Thu, 10 Sep 2020 15:25:35 +0000 (17:25 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 26 Oct 2020 08:59:01 +0000 (04:59 -0400)
commitaa32e8f4665808fec94a23b312b34747481f04b4
treec81fd9796940fd32d299478aa0d5620478f260c3tree
parentcfc3a1db82cb6a11e9bdfc903f71fb116c9b6706commit | diff
[Ada] Do not instantiate generic bodies outside of main unit in GNATprove

gcc/ada/

* sem_ch12.adb (Needs_Body_Instantiated): In GNATprove mode, do
not instantiate bodies outside of the main unit.
gcc/ada/sem_ch12.adb diff | blob | history