diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-31 16:46:40 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-31 16:46:40 +0100 |
| commit | 74c101097fb411445f543989120d83f53de5e4b0 (patch) | |
| tree | 4fda15b7420fcb4e776f65c08c1e8528e66d9d78 /gcc/tree-inline.c | |
| parent | bdfb8ec4aaf389281c221776f8d2cfd965557cda (diff) | |
| download | gcc-74c101097fb411445f543989120d83f53de5e4b0.zip gcc-74c101097fb411445f543989120d83f53de5e4b0.tar.gz gcc-74c101097fb411445f543989120d83f53de5e4b0.tar.bz2 | |
[multiple changes]
2014-01-31 Robert Dewar <dewar@adacore.com>
* erroutc.adb (Validate_Specific_Warnings): Warnings are
controlled -gnatw.W.
* gnat_ugn.texi: Document new warnings controlled by -gnatw.w.
* opt.ads (Warn_On_Warnings_Off): Now controls more cases.
2014-01-31 Arnaud Charlet <charlet@adacore.com>
* exp_disp.adb: Update comments.
2014-01-31 Yannick Moy <moy@adacore.com>
* sem_ch12.adb (Analyze_Generic_Subprogram_Declaration,
Save_Global_References): Guard access to expression in aspect.
2014-01-31 Yannick Moy <moy@adacore.com>
* sem_prag.adb (Analyze_Pragma/Pragma_SPARK_Mode):
Issue an error when the pragma is applied to a generic unit,
a generic declaration, or inside a generic.
2014-01-31 Yannick Moy <moy@adacore.com>
* sem_ch8.adb (Analyze_Subprogram_Renaming): Set SPARK_Mode on renaming
entity.
From-SVN: r207352
Diffstat (limited to 'gcc/tree-inline.c')
0 files changed, 0 insertions, 0 deletions