From 03286f6873272bfb777b1a4282af28c824f93cf0 Mon Sep 17 00:00:00 2001
From: Viljar Indus <indus@adacore.com>
Date: Wed, 30 Jul 2025 12:34:13 +0300
Subject: [PATCH] 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.
---
 gcc/ada/ghost.adb | 7 +++++++
 1 file changed, 7 insertions(+)

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);
 
-- 
2.47.3