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

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

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

From-SVN: r138485

diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb
index 498239a3af522ae56835b32418e68e9ebf3d32a1..794a05730e5c91482d7423a89bc0d118b1b8f6bc 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