This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r237433 - in /trunk/gcc/ada: ChangeLog freeze.a...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Tue, 14 Jun 2016 12:20:01 -0000
- Subject: r237433 - in /trunk/gcc/ada: ChangeLog freeze.a...
Author: charlet
Date: Tue Jun 14 12:20:01 2016
New Revision: 237433
URL: https://gcc.gnu.org/viewcvs?rev=237433&root=gcc&view=rev
Log:
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.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/freeze.adb
trunk/gcc/ada/gnat1drv.adb
trunk/gcc/ada/sem_ch12.adb
trunk/gcc/ada/sem_ch3.adb
trunk/gcc/ada/sem_ch4.adb
trunk/gcc/ada/sem_prag.adb
trunk/gcc/ada/sem_res.adb