diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-06-14 14:20:01 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-06-14 14:20:01 +0200 |
| commit | 44900051ac48c87701dbbf3d485386013d56c97c (patch) | |
| tree | d97b6f0ce88efa807b78667fa87e9d68e901f951 /gcc/predict.c | |
| parent | 0da343bce0e3847e887d2ab4ef22e74d15026b62 (diff) | |
| download | gcc-44900051ac48c87701dbbf3d485386013d56c97c.zip gcc-44900051ac48c87701dbbf3d485386013d56c97c.tar.gz gcc-44900051ac48c87701dbbf3d485386013d56c97c.tar.bz2 | |
[multiple changes]
2016-06-14 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb (Analyze_Associations): An actual parameter
with a box must be included in the count of actuals, to detect
possible superfluous named actuals that do not match any of the
formals of the generic unit in a formal package declaration.
2016-06-14 Justin Squirek <squirek@adacore.com>
* sem_ch3.adb (Analyze_Object_Declaration): Fix formatting
of error output related to SPARK RM 6.1.7(3) and pragma
Extensions_Visible.
* sem_ch4.adb (Analyze_Type_Conversion): Fix formatting of error
output related to SPARK RM 6.1.7(3) and pragma Extensions_Visible.
* sem_prag.adb (Analyze_Pragma): Fix formatting of error output
related to SPARK RM 7.1.2(15) and pragma Volatile_Function
so that the values True and False are no longer surrounded by
double quotes.
* sem_res.adb (Resolve_Actuals): Fix formatting of error output
related to SPARK RM 6.1.7(3) and pragma Extensions_Visible.
2016-06-14 Arnaud Charlet <charlet@adacore.com>
* gnat1drv.adb (Adjust_Global_Switches): Enable access checks
in codepeer mode.
* freeze.adb: Minor grammar fix in comment.
From-SVN: r237433
Diffstat (limited to 'gcc/predict.c')
0 files changed, 0 insertions, 0 deletions