git.ipfire.org Git - thirdparty/gcc.git/commit

]> git.ipfire.org Git - thirdparty/gcc.git/commit

author	Arnaud Charlet <charlet@adacore.com>
	Tue, 8 Dec 2020 17:14:08 +0000 (12:14 -0500)
committer	Pierre-Marie de Rodat <derodat@adacore.com>
	Wed, 28 Apr 2021 09:38:07 +0000 (05:38 -0400)
commit	ae77b299e9717e3a76ac6b7be65145a50aa31ed2
tree	70af9f0efeb43485749e7e4e7dc462bad48f37fa	tree \| snapshot
parent	d2e59934c4f79791b337470e9ef7c34ef66b1b49	commit \| diff

[Ada] Assert failure on complex code with private type and discriminant

gcc/ada/

* einfo.adb (Discriminant_Constraint): Refine assertion.

Mirror of https://gcc.gnu.org/git/gcc.git