diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-10-20 10:15:20 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-11-26 03:39:55 -0500 |
| commit | c9e2eeb5034fd3e2f262963ca5e2fd72667b3865 (patch) | |
| tree | 299a3d1d9f892967272e91cc6edd1e81f26a4abf | |
| parent | 4e94b2442d9286cafe47f32579b19a2ea681e132 (diff) | |
| download | gcc-c9e2eeb5034fd3e2f262963ca5e2fd72667b3865.zip gcc-c9e2eeb5034fd3e2f262963ca5e2fd72667b3865.tar.gz gcc-c9e2eeb5034fd3e2f262963ca5e2fd72667b3865.tar.bz2 | |
[Ada] Replace warning suppression with assertion
gcc/ada/
* sem_res.adb (Resolve_Membership_Op): Replace pragma Warnings
with pragma Assert.
| -rw-r--r-- | gcc/ada/sem_res.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb index a7eacbc..ba91a62 100644 --- a/gcc/ada/sem_res.adb +++ b/gcc/ada/sem_res.adb @@ -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); |