diff options
| author | Ronan Desplanques <desplanques@adacore.com> | 2024-10-24 14:56:15 +0200 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2024-11-12 14:00:52 +0100 |
| commit | f0a2e57d0525b3372d5de543c77c5e1d7f830c69 (patch) | |
| tree | fbcb8229ea9e168085108593d31c179fc93a0fad /gcc/gcov-iov.c | |
| parent | 78b52a0aadddbf7de47d686e7c28da3b5ecf4364 (diff) | |
| download | gcc-f0a2e57d0525b3372d5de543c77c5e1d7f830c69.zip gcc-f0a2e57d0525b3372d5de543c77c5e1d7f830c69.tar.gz gcc-f0a2e57d0525b3372d5de543c77c5e1d7f830c69.tar.bz2 | |
ada: Allow file mapping for System's spec
Before this patch, it was never allowed to use pragma Source_File_Name
for the spec of System, allegedly because Targparm.Get_Target_Parameters
is called before configuration pragmas are processed. Using a mapping
file was allowed but did not work correctly.
This patch makes mapping files loading happen before the call to
Get_Target_Parameters so mapping file can set the file name of System.
Also, pragma Source_File_Name is allowed if it confirms a mapping that
was previously given in a mapping file, to accommodate GPRbuild that
uses both pragmas and mapping files.
gcc/ada/ChangeLog:
* frontend.adb (Frontend): Move call to Fmap.Initialize ...
* gnat1drv.adb (Gnat1drv): ... here. Look up Fmap when loading System.
* par-prag.adb (Prag): Allow pragma Source_File_Name for System when
it confirms an existing mapping.
Diffstat (limited to 'gcc/gcov-iov.c')
0 files changed, 0 insertions, 0 deletions