From: Tucker Taft Date: Tue, 13 Sep 2022 13:28:42 +0000 (+0200) Subject: ada: Make Original_Aspect_Pragma_Name more precise X-Git-Tag: basepoints/gcc-14~4349 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=91c706565f941ac7d317951cf3ab186f197252f0;p=thirdparty%2Fgcc.git ada: Make Original_Aspect_Pragma_Name more precise This commit makes Original_Aspect_Pragma_Name more precise in cases where there is a second level of indirection caused by pragmas being turned into Check pragmas. gcc/ada/ * sem_util.adb (Original_Aspect_Pragma_Name): Check for Check pragmas. --- diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index c43a008ae5d6..9ae082ca2e19 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -26559,6 +26559,14 @@ package body Sem_Util is Item_Nam := Chars (Original_Node (Pragma_Identifier (Original_Node (Item)))); + if Item_Nam = Name_Check then + -- Pragma "Check" preserves the original pragma name as its first + -- argument. + Item_Nam := + Chars (Expression (First (Pragma_Argument_Associations + (Original_Node (Item))))); + end if; + else pragma Assert (Nkind (Item) = N_Aspect_Specification); Item_Nam := Chars (Identifier (Item));