r229078 - in /trunk/gcc/ada: ChangeLog a-cfhase...

[charlet@gcc.gnu.org]

Author: charlet
Date: Tue Oct 20 12:42:53 2015
New Revision: 229078

URL: https://gcc.gnu.org/viewcvs?rev=229078&root=gcc&view=rev
Log:
2015-10-20  Yannick Moy  <moy@adacore.com>

	* fmap.adb, a-cihama.adb, sem_ch5.adb, make.adb, inline.adb,
	a-cfhase.adb, scng.adb, sem_ch12.adb, freeze.adb, tempdir.adb,
	sem_util.adb, sem_res.adb, s-regexp.adb, a-clrefi.adb: Fix coding
	style for marking start of processing of subprograms.

2015-10-20  Yannick Moy  <moy@adacore.com>

	* lib-xref-spark_specific.adb (Add_SPARK_File): Start traversal
	by requesting info from stubs.	(Traverse_All_Compilation_Units):
	Remove unused procedure.
	(Traverse_Declarations_Or_Statements): Handle protected and task units.
	* lib-xref.ads (Traverse_All_Compilation_Units): Remove unused
	procedure.
	* restrict.adb (Check_Restriction): Do not ignore
	restrictions in GNATprove_Mode.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/a-cfhase.adb
    trunk/gcc/ada/a-cihama.adb
    trunk/gcc/ada/a-clrefi.adb
    trunk/gcc/ada/fmap.adb
    trunk/gcc/ada/freeze.adb
    trunk/gcc/ada/inline.adb
    trunk/gcc/ada/lib-xref-spark_specific.adb
    trunk/gcc/ada/lib-xref.ads
    trunk/gcc/ada/make.adb
    trunk/gcc/ada/restrict.adb
    trunk/gcc/ada/s-regexp.adb
    trunk/gcc/ada/scng.adb
    trunk/gcc/ada/sem_ch12.adb
    trunk/gcc/ada/sem_ch5.adb
    trunk/gcc/ada/sem_res.adb
    trunk/gcc/ada/sem_util.adb
    trunk/gcc/ada/tempdir.adb