diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2022-01-24 14:16:27 -0500 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-01-31 10:46:27 +0000 |
| commit | 2dbc237e8605bb87f8b25adc455436dcba41fce8 (patch) | |
| tree | 598719491453fd45c2e128f45e38c66d8de1c878 | |
| parent | 263a5944fc806396ecc3eff3d96277602e88ae2b (diff) | |
| download | gcc-2dbc237e8605bb87f8b25adc455436dcba41fce8.zip gcc-2dbc237e8605bb87f8b25adc455436dcba41fce8.tar.gz gcc-2dbc237e8605bb87f8b25adc455436dcba41fce8.tar.bz2 | |
[Ada] Fix up handling of ghost units PR104027 #2
gcc/ada/
PR ada/104027
* gnat1drv.adb (Gnat1drv): Only call Exit_Program when not
generating code, otherwise instead go to End_Of_Program.
| -rw-r--r-- | gcc/ada/gnat1drv.adb | 16 |
1 files changed, 12 insertions, 4 deletions
diff --git a/gcc/ada/gnat1drv.adb b/gcc/ada/gnat1drv.adb index f50feb2..f85bc13 100644 --- a/gcc/ada/gnat1drv.adb +++ b/gcc/ada/gnat1drv.adb @@ -1504,11 +1504,19 @@ begin Namet.Finalize; Check_Rep_Info; - -- Exit the driver with an appropriate status indicator. This will - -- generate an empty object file for ignored Ghost units, otherwise - -- no object file will be generated. + if Ecode /= E_Success then + -- If we cannot generate code, exit the driver with an appropriate + -- status indicator. - Exit_Program (Ecode); + Exit_Program (Ecode); + + else + -- Otherwise use a goto so that finalization occurs normally and + -- for instance any late processing in the GCC code can be + -- performed. + + goto End_Of_Program; + end if; end if; -- In -gnatc mode we only do annotation if -gnatR is also set, or if |