2008-08-01 Robert Dewar <dewar@adacore.com>

	* sem_ch6.adb (Process_PPCs): Don't copy spec PPC to body if not
	generating code

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138485 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb
index 498239a..794a057 100644 (file)
--- a/gcc/ada/sem_ch6.adb
+++ b/gcc/ada/sem_ch6.adb
@@ -7775,6 +7775,12 @@ package body Sem_Ch6 is
    --  Start of processing for Process_PPCs
 
    begin
+      --  Nothing to do if we are not generating code
+
+      if Operating_Mode /= Generate_Code then
+         return;
+      end if;
+
       --  Grab preconditions from spec
 
       if Present (Spec_Id) then