This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r237431 - in /trunk/gcc/ada: ChangeLog exp_ch3....
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Tue, 14 Jun 2016 12:12:43 -0000
- Subject: r237431 - in /trunk/gcc/ada: ChangeLog exp_ch3....
Author: charlet
Date: Tue Jun 14 12:12:42 2016
New Revision: 237431
URL: https://gcc.gnu.org/viewcvs?rev=237431&root=gcc&view=rev
Log:
2016-06-14 Arnaud Charlet <charlet@adacore.com>
* exp_ch3.adb (Expand_N_Object_Declaration): Only consider
nodes from sources.
2016-06-14 Arnaud Charlet <charlet@adacore.com>
* switch-c.adb, gnat1drv.adb (Adjust_Global_Switches): Only disable
simple value propagation in CodePeer mode when warnings are disabled.
(Scan_Front_End_Switches): Enable relevant front-end switches
when using -gnateC.
2016-06-14 Hristian Kirtchev <kirtchev@adacore.com>
* sem_util.adb (Is_OK_Volatile_Context): A
reference to a volatile object is considered OK if appears as
the prefix of attributes Address, Alignment, Component_Size,
First_Bit, Last_Bit, Position, Size, Storage_Size.
2016-06-14 Yannick Moy <moy@adacore.com>
* lib-xref-spark_specific.adb (Add_SPARK_File): Do not traverse
subunits directly, as they are already traversed as part of the
top-level unit to which they belong.
(Add_SPARK_Xrefs): Add assertions to ensure correct sorting.
(Generate_Dereference): Use unique definition place for special
variable __HEAP, to ensure correct sorting of references.
* lib-xref.adb (Generate_Reference): Use top-level unit in case
of subunits.
* lib.adb, lib.ads (Get_Top_Level_Code_Unit): New functions that
compute the top-level code unit for a source location of AST node,
that go past subunits.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/exp_ch3.adb
trunk/gcc/ada/gnat1drv.adb
trunk/gcc/ada/lib-xref-spark_specific.adb
trunk/gcc/ada/lib-xref.adb
trunk/gcc/ada/lib.adb
trunk/gcc/ada/lib.ads
trunk/gcc/ada/sem_util.adb
trunk/gcc/ada/switch-c.adb