From: Viljar Indus <in...@adacore.com>
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.
Tested on x86_64-pc-linux-gnu, committed on master.
---
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.43.0
