diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-26 11:12:40 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-26 11:12:40 +0100 |
| commit | e96b7045d6d56a31c05bcdf387e38c0d64584ef2 (patch) | |
| tree | 74efbf5686f1ccd60a2ecaee965ac294fe866253 /gcc/ada/gnat1drv.adb | |
| parent | c1fffdf1fb2ebce24620195c4add32eb90daa598 (diff) | |
| download | gcc-e96b7045d6d56a31c05bcdf387e38c0d64584ef2.zip gcc-e96b7045d6d56a31c05bcdf387e38c0d64584ef2.tar.gz gcc-e96b7045d6d56a31c05bcdf387e38c0d64584ef2.tar.bz2 | |
[multiple changes]
2015-10-26 Gary Dismukes <dismukes@adacore.com>
* a-reatim.adb, contracts.adb, contracts.ads: Minor reformatting and
typo corrections.
2015-10-26 Ed Schonberg <schonberg@adacore.com>
* sem_ch13.adb (Check_Aspect_At_End_Of_Declarations): Do not
recheck the consistency betwen the freeze point and the end of
declarations for the expression in an aspect specification,
because it was done already in the analysis of the generic.
Furthermore, the delayed analysis of an aspect of the instance
may produce spurious errors when the generic is a child unit
that references entities in the parent (which might not be in
scope at the freeze point of the instance).
2015-10-26 Yannick Moy <moy@adacore.com>
* sem_res.adb (Resolve_Call): Issue info message
instead of warning when call cannot be inlined in GNATprove mode.
2015-10-26 Arnaud Charlet <charlet@adacore.com>
* exp_ch6.adb (Build_Procedure_Form): Use _result as the
name of the extra parameter, cleaner than a random temp name.
* gnat1drv.adb (Gnat1drv): Code clean up.
From-SVN: r229314
Diffstat (limited to 'gcc/ada/gnat1drv.adb')
| -rw-r--r-- | gcc/ada/gnat1drv.adb | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/ada/gnat1drv.adb b/gcc/ada/gnat1drv.adb index f62b2f3..727e90a 100644 --- a/gcc/ada/gnat1drv.adb +++ b/gcc/ada/gnat1drv.adb @@ -1180,8 +1180,9 @@ begin -- It is not an error to analyze in CodePeer mode a spec which requires -- a body, in order to generate SCIL for this spec. + -- Ditto for Generate_C_Code mode and generate a C header for a spec. - elsif CodePeer_Mode then + elsif CodePeer_Mode or Generate_C_Code then Back_End_Mode := Generate_Object; -- It is not an error to analyze in GNATprove mode a spec which requires |