OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[Ada] Replace warning suppression with assertion

Browse Source 
gcc/ada/

	* sem_res.adb (Resolve_Membership_Op): Replace pragma Warnings
	with pragma Assert.
This commit is contained in:
Piotr Trojanek 2020-10-20 10:15:20 +02:00 committed by Pierre-Marie de Rodat
parent 4e94b2442d
commit c9e2eeb503
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
gcc/ada/sem_res.adb
View File

@ -9619,7 +9619,7 @@ package body Sem_Res is
-- universal types applies.
procedure Resolve_Membership_Op (N : Node_Id; Typ : Entity_Id) is
pragma Warnings (Off, Typ);
pragma Assert (Is_Boolean_Type (Typ));
L : constant Node_Id := Left_Opnd (N);
R : constant Node_Id := Right_Opnd (N);