git.libre-soc.org Git - gcc.git/commit

author	Piotr Trojanek <trojanek@adacore.com>
	Tue, 20 Oct 2020 08:15:20 +0000 (10:15 +0200)
committer	Pierre-Marie de Rodat <derodat@adacore.com>
	Thu, 26 Nov 2020 08:39:55 +0000 (03:39 -0500)
commit	c9e2eeb5034fd3e2f262963ca5e2fd72667b3865
tree	299a3d1d9f892967272e91cc6edd1e81f26a4abf	tree
parent	4e94b2442d9286cafe47f32579b19a2ea681e132	commit \| diff

[Ada] Replace warning suppression with assertion

gcc/ada/

* sem_res.adb (Resolve_Membership_Op): Replace pragma Warnings
with pragma Assert.