diff options
| author | Yannick Moy <moy@adacore.com> | 2019-07-10 09:01:53 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-10 09:01:53 +0000 |
| commit | 27572ba35feadc66d1a8c1f85a5c12e8bc4a010b (patch) | |
| tree | 62870c05e46a075faf6782da3e97ad23f66a96e2 /gcc/ada/init.c | |
| parent | 9ab234e531354d939c2105e8005153d7554f7cdd (diff) | |
| download | gcc-27572ba35feadc66d1a8c1f85a5c12e8bc4a010b.zip gcc-27572ba35feadc66d1a8c1f85a5c12e8bc4a010b.tar.gz gcc-27572ba35feadc66d1a8c1f85a5c12e8bc4a010b.tar.bz2 | |
[Ada] Allow multiple units per file in GNATprove
For analysis tools that rely on information generated in ALI files, but
do not generate object files, the frontend did not generate the special
extension names like file~2.ali for unit 2 in the file. This is needed
to be able to analyze files with multiple units. Now fixed.
There is no impact on compilation.
2019-07-10 Yannick Moy <moy@adacore.com>
gcc/ada/
* osint-c.adb (Set_File_Name): Always add extension for multiple
units per file mode.
From-SVN: r273339
Diffstat (limited to 'gcc/ada/init.c')
0 files changed, 0 insertions, 0 deletions