diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-10-13 14:58:24 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-10-13 14:58:24 +0200 |
| commit | 8eb8461dc13600aafd77b89928196366a4747786 (patch) | |
| tree | 1b587cbe536285f12b1c92d914937242203eeb6c /gcc/function-tests.c | |
| parent | 870ce4d51bfe22b2c86fd5ee9fa2e5f4642cd572 (diff) | |
| download | gcc-8eb8461dc13600aafd77b89928196366a4747786.zip gcc-8eb8461dc13600aafd77b89928196366a4747786.tar.gz gcc-8eb8461dc13600aafd77b89928196366a4747786.tar.bz2 | |
[multiple changes]
2016-10-13 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch6.adb (Create_Extra_Formals): Generate
an Itype reference for the object extra formal in case the
subprogram is called within the same or nested scope.
2016-10-13 Claire Dross <dross@adacore.com>
* sem_ch5.adb (Analyze_Iterator_Specification):
Also create a renaming in GNATprove mode.
2016-10-13 Ed Schonberg <schonberg@adacore.com>
* freeze.adb (Freeze_Fixed_Point_Type): in SPARK mode, the
given bounds of the type must be strictly representable, and the
range reduction by one delta ("shaving") allowed by the Ada RM,
is not applicable in SPARK.
2016-10-13 Javier Miranda <miranda@adacore.com>
* debug.adb (switch d.9): Used to temporarily disable the support
needed for this enhancement since it causes regressions with
large sources.
* gnat1drv.adb (Post_Compilation_Validation_Checks): Temporarily
leave the validation of pragmas Compile_Time_Warning and
Compile_Time_Error under control of -gnatd.9/
From-SVN: r241115
Diffstat (limited to 'gcc/function-tests.c')
0 files changed, 0 insertions, 0 deletions