From b43112145089bb0bc42ac48dfb0900a73d47aef4 Mon Sep 17 00:00:00 2001 From: Robert Dewar Date: Fri, 1 Aug 2008 11:02:34 +0200 Subject: [PATCH] sem_ch6.adb (Process_PPCs): Don't copy spec PPC to body if not generating code 2008-08-01 Robert Dewar * sem_ch6.adb (Process_PPCs): Don't copy spec PPC to body if not generating code From-SVN: r138485 --- gcc/ada/sem_ch6.adb | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb index 498239a3af52..794a05730e5c 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 -- 2.47.2