From: Robert Dewar <dewar@adacore.com>
Date: Fri, 1 Aug 2008 09:02:34 +0000 (+0200)
Subject: sem_ch6.adb (Process_PPCs): Don't copy spec PPC to body if not generating code
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b43112145089bb0bc42ac48dfb0900a73d47aef4;p=gcc.git

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 498239a3af5..794a05730e5 100644
--- 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