This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r247312 - in /trunk/gcc/ada: ChangeLog debug.ad...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Thu, 27 Apr 2017 10:17:42 -0000
- Subject: r247312 - in /trunk/gcc/ada: ChangeLog debug.ad...
Author: charlet
Date: Thu Apr 27 10:17:42 2017
New Revision: 247312
URL: https://gcc.gnu.org/viewcvs?rev=247312&root=gcc&view=rev
Log:
2017-04-27 Steve Baird <baird@adacore.com>
* exp_util.adb (Build_Allocate_Deallocate_Proc):
Add "Suppress => All_Checks" to avoid generating unnecessary
checks.
2017-04-27 Yannick Moy <moy@adacore.com>
* debug.adb: Reserve debug flag 'm' for no inlining in GNATprove.
* sem_ch6.adb (Anayze_Subprogram_Body_Helper): Skip creation of
inlining body in GNATprove mode when switch -gnatdm used.
* sem_res.adb (Resolve_Call): Skip detection of lack of inlining
in GNATprove mode when switch -gnatdm used.
2017-04-27 Arnaud Charlet <charlet@adacore.com>
* sem_ch13.adb (Analyze_Attribute_Definition_Clause
[Attribute_Address]): Call Set_Address_Taken when ignoring rep
clauses, so that we keep an indication of the address clause
before removing it from the tree.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/debug.adb
trunk/gcc/ada/exp_util.adb
trunk/gcc/ada/sem_ch13.adb
trunk/gcc/ada/sem_ch6.adb
trunk/gcc/ada/sem_res.adb