review.tizen.org Git - platform/upstream/gcc.git/commit

author	Arnaud Charlet <charlet@adacore.com>
	Sat, 9 May 2020 17:37:13 +0000 (13:37 -0400)
committer	Pierre-Marie de Rodat <derodat@adacore.com>
	Tue, 7 Jul 2020 09:26:53 +0000 (05:26 -0400)
commit	1948dcab167efef1d00117d71c440aff0319dbda
tree	d0ff22c096f3c334f13efe550a32ae934afd3736	tree \| snapshot
parent	62226c35545bcda44ae97630658d1ad8129ab0c6	commit \| diff

[Ada] Spurious elaboration warnings with -gnatc and null procedures

gcc/ada/

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

Domain: System / Toolchain;