diff options
| author | Robert Dewar <dewar@adacore.com> | 2008-08-01 11:02:34 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-08-01 11:02:34 +0200 |
| commit | b43112145089bb0bc42ac48dfb0900a73d47aef4 (patch) | |
| tree | 6f91f46b4e6576995014018064d8c5aefb364720 /gcc | |
| parent | d1b4f87d1b22029e19ca82dbff6a8a39873a7ab4 (diff) | |
| download | gcc-b43112145089bb0bc42ac48dfb0900a73d47aef4.zip gcc-b43112145089bb0bc42ac48dfb0900a73d47aef4.tar.gz gcc-b43112145089bb0bc42ac48dfb0900a73d47aef4.tar.bz2 | |
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
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/sem_ch6.adb | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb index 498239a..794a057 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 |