diff options
Diffstat (limited to 'gcc/ada/sem_warn.adb')
| -rw-r--r-- | gcc/ada/sem_warn.adb | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/ada/sem_warn.adb b/gcc/ada/sem_warn.adb index f4e70922c70..129eb35a9fb 100644 --- a/gcc/ada/sem_warn.adb +++ b/gcc/ada/sem_warn.adb @@ -1772,7 +1772,8 @@ package body Sem_Warn is if Nkind (P) = N_Pragma and then (Pragma_Name (P) = Name_Contract_Case - or else Pragma_Name (P) = Name_Test_Case) + or else + Pragma_Name (P) = Name_Test_Case) and then Nod = Get_Ensures_From_Case_Pragma (P) then |