[Ada] Spurious elaboration warnings with -gnatc and null procedures
authorArnaud Charlet <charlet@adacore.com>
Sat, 9 May 2020 17:37:13 +0000 (13:37 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 7 Jul 2020 09:26:53 +0000 (05:26 -0400)
commit1948dcab167efef1d00117d71c440aff0319dbda
treed0ff22c096f3c334f13efe550a32ae934afd3736
parent62226c35545bcda44ae97630658d1ad8129ab0c6
[Ada] Spurious elaboration warnings with -gnatc and null procedures

gcc/ada/

* sem_elab.adb (Is_Guaranteed_ABE): Take into account null
procedures.
gcc/ada/sem_elab.adb