r178252 - in /trunk/gcc/ada: ChangeLog a-coorse...

[charlet@gcc.gnu.org]

Author: charlet
Date: Mon Aug 29 14:40:11 2011
New Revision: 178252

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=178252
Log:
2011-08-29  Robert Dewar  <dewar@adacore.com>

	* sem_ch10.adb, a-coorse.adb, exp_dist.adb, exp_ch3.adb: Minor
	reformatting.
	* gcc-interface/Make-lang.in: Update dependencies.

2011-08-29  Yannick Moy  <moy@adacore.com>

	* alfa.ads (Name_Of_Heap_Variable): New constant name.
	* lib-xref-alfa.adb, lib-xref.adb, lib-xref.ads (Drefs): New global
	table to hold dereferences.
	(Add_ALFA_Xrefs): Take into account dereferences as special
	reads/writes to the variable "HEAP".
	(Enclosing_Subprogram_Or_Package): Move subprogram here.
	(Generate_Dereference): New procedure to store a read/write dereferencew
	in the table Drefs.
	* put_alfa.adb (Put_ALFA): Use different default than (0,0) used for
	the special "HEAP" var.
	* sem_ch4.adb (Analyze_Explicit_Dereference): Store read dereference
	in ALFA mode.
	* sem_util.adb (Note_Possible_Modification): Store write dereference
	in ALFA mode.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/a-coorse.adb
    trunk/gcc/ada/alfa.ads
    trunk/gcc/ada/exp_ch3.adb
    trunk/gcc/ada/exp_dist.adb
    trunk/gcc/ada/gcc-interface/Make-lang.in
    trunk/gcc/ada/lib-xref-alfa.adb
    trunk/gcc/ada/lib-xref.adb
    trunk/gcc/ada/lib-xref.ads
    trunk/gcc/ada/put_alfa.adb
    trunk/gcc/ada/sem_ch10.adb
    trunk/gcc/ada/sem_ch4.adb
    trunk/gcc/ada/sem_util.adb