From b4509d1960165b205425c5b14ef1ff4ea5fd4435 Mon Sep 17 00:00:00 2001 From: Bob Duff Date: Thu, 5 Jan 2023 20:21:15 -0500 Subject: [PATCH] ada: Add Check_Error_Detected before "raise Bad_Attribute" We shouldn't raise Bad_Attribute if there is no error. This patch adds a call to Check_Error_Detected to make sure that's true. (There are other cases where we raise Bad_Attribute; this patch doesn't try to fix them all.) gcc/ada/ * sem_attr.adb (Analyze_Attribute): Add a call to Check_Error_Detected. --- gcc/ada/sem_attr.adb | 1 + 1 file changed, 1 insertion(+) diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb index 77c56aa587b7..9de9884069e9 100644 --- a/gcc/ada/sem_attr.adb +++ b/gcc/ada/sem_attr.adb @@ -3299,6 +3299,7 @@ package body Sem_Attr is -- Check for missing/bad expression (result of previous error) if No (E1) or else Etype (E1) = Any_Type then + Check_Error_Detected; raise Bad_Attribute; end if; end if; -- 2.47.2