From: Viljar Indus <indus@adacore.com>
Date: Wed, 30 Jul 2025 09:34:13 +0000 (+0300)
Subject: ada: Avoid performing policy checks on ignored ghost pragmas
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=03286f6873272bfb777b1a4282af28c824f93cf0;p=thirdparty%2Fgcc.git

ada: Avoid performing policy checks on ignored ghost pragmas

These pragamas are already disabled if the relative ghost entity
is disabled.

gcc/ada/ChangeLog:

	* ghost.adb (Is_OK_Pragma): mark the context of ignored ghost
	pragmas as OK.
---

diff --git a/gcc/ada/ghost.adb b/gcc/ada/ghost.adb
index 574f7f2cda4..695970fbdd2 100644
--- a/gcc/ada/ghost.adb
+++ b/gcc/ada/ghost.adb
@@ -453,6 +453,13 @@ package body Ghost is
                return False;
             end if;
 
+            --  if the entitiy associated with the pragma is ignored then we do
+            --  not need to analyze the pragma.
+
+            if Is_Ignored_Ghost_Pragma (Prag) then
+               return True;
+            end if;
+
             Prag_Id  := Get_Pragma_Id (Prag);
             Prag_Nam := Original_Aspect_Pragma_Name (Prag);