diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-23 12:49:44 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-23 12:49:44 +0200 |
| commit | 265ca04aba7ca04a86809b1adf88217c091d42e8 (patch) | |
| tree | 530c94ce4d6a30f8ade550d63e95bdef926af889 /gcc/ada/gnat1drv.adb | |
| parent | 45969c973faf786d16c198c42c4055903d08658f (diff) | |
| download | gcc-265ca04aba7ca04a86809b1adf88217c091d42e8.zip gcc-265ca04aba7ca04a86809b1adf88217c091d42e8.tar.gz gcc-265ca04aba7ca04a86809b1adf88217c091d42e8.tar.bz2 | |
[multiple changes]
2015-10-23 Ed Schonberg <schonberg@adacore.com>
* sem_dim.adb (Analyze_Dimension_Extension_Or_Record_Aggregate):
Handle properly a box-initialized aggregate component.
2015-10-23 Yannick Moy <moy@adacore.com>
* sem_prag.adb (Analyze_Pragma): Reject Volatile_Function not placed
on a function.
2015-10-23 Yannick Moy <moy@adacore.com>
* a-extiin.ads, a-reatim.ads, a-interr.ads, a-exetim-mingw.ads,
a-exetim-default.ads, a-exetim.ads, a-taside.ads: Add "Global => null"
contract on subprograms.
* lib-xref-spark_specific.adb: collect scopes for stubs of
protected objects
2015-10-23 Arnaud Charlet <charlet@adacore.com>
* gnat1drv.adb (Adjust_Global_Switches): Enable
Back_Annotate_Rep_Info to get size information from gigi.
(Gnat1drv): Code clean ups.
* frontend.adb (Frontend): Ditto.
From-SVN: r229231
Diffstat (limited to 'gcc/ada/gnat1drv.adb')
| -rw-r--r-- | gcc/ada/gnat1drv.adb | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/gcc/ada/gnat1drv.adb b/gcc/ada/gnat1drv.adb index 88cc9c0..ba541e4 100644 --- a/gcc/ada/gnat1drv.adb +++ b/gcc/ada/gnat1drv.adb @@ -27,6 +27,7 @@ with Atree; use Atree; with Back_End; use Back_End; with Checks; with Comperr; +with Cprint; with Csets; use Csets; with Debug; use Debug; with Elists; @@ -148,6 +149,7 @@ procedure Gnat1drv is Generate_C_Code := True; Modify_Tree_For_C := True; Unnest_Subprogram_Mode := True; + Back_Annotate_Rep_Info := True; -- Enable some restrictions systematically to simplify the generated -- code. Note that restriction checks are also disabled in C mode, @@ -1356,6 +1358,13 @@ begin Namet.Unlock; + -- Finally generate C source code if needed. Note that this needs to + -- happen after calling gigi to take advantage of the back annotation. + + if Generate_C_Code then + Cprint.Source_Dump; + end if; + -- Generate the call-graph output of dispatching calls Exp_CG.Generate_CG_Output; |