ada: Check Compile_Time_Errors removed in Ghost code

gcc/ada/ChangeLog:

	* sem_prag.adb (Validate_Compile_Time_Warning_Errors):
	Check if the original compile time pragma was replaced and
	validate the original node instead.

diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb
index c30bf424ae2ddeb394c758cc38c626d9daed091f..62ef7560f7913d937a33fd83c8ac75c209f3bfcd 100644 (file)
--- a/gcc/ada/sem_prag.adb
+++ b/gcc/ada/sem_prag.adb
@@ -35106,6 +35106,14 @@ package body Sem_Prag is
             Reset_Analyzed_Flags (T.Prag);
             if Nkind (T.Prag) = N_Pragma then
                Validate_Compile_Time_Warning_Or_Error (T.Prag, T.Eloc);
+            else
+               pragma Assert (Nkind (Original_Node (T.Prag)) = N_Pragma);
+
+               --  The pragma was likely removed in ignored ghost code. Check
+               --  the original node instead.
+
+               Validate_Compile_Time_Warning_Or_Error
+                 (Original_Node (T.Prag), T.Eloc);
             end if;
             Unset_Scope (T.Scope);
          end;