This is the mail archive of the gcc-cvs@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

r198234 - in /trunk/gcc/ada: ChangeLog adabkend...

From: charlet at gcc dot gnu dot org
To: gcc-cvs at gcc dot gnu dot org
Date: Wed, 24 Apr 2013 14:14:27 -0000
Subject: r198234 - in /trunk/gcc/ada: ChangeLog adabkend...

Author: charlet
Date: Wed Apr 24 14:14:27 2013
New Revision: 198234

URL: http://gcc.gnu.org/viewcvs?rev=198234&root=gcc&view=rev
Log:
2013-04-24  Yannick Moy  <moy@adacore.com>

	* adabkend.adb, ali-util.adb, ali.adb, debug.adb,
	errout.adb, errout.ads, erroutc.adb, exp_ch3.adb, exp_ch4.adb,
	exp_ch6.adb, exp_ch7.adb, exp_dbug.adb, exp_util.adb,
	expander.adb, freeze.adb, gnat1drv.adb, lib-writ.adb,
	lib-writ.ads, lib-xref.adb, lib-xref.ads, opt.adb, opt.ads,
	restrict.adb, sem_aggr.adb, sem_attr.adb, sem_ch3.adb,
	sem_ch4.adb, sem_ch5.adb, sem_ch6.adb, sem_eval.adb, sem_prag.adb,
	sem_res.adb, sem_util.adb: Everything with name
	'Alfa' renamed in 'SPARK'. Update comments.
	Renaming of units with name 'Alfa', renamed with 'SPARK' instead.
	* exp_alfa.adb: renamed exp_spark.adb.
	* exp_alfa.ads: renamed exp_spark.ads.
	* get_alfa.adb: renamed get_spark_xrefs.adb.
	* get_alfa.ads: renamed get_spark_xrefs.ads.
	* lib-xref-alfa.adb: renamed lib-xref-spark_specific.adb.
	* put_alfa.adb: renamed put_spark_xrefs.adb.
	* put_alfa.ads: renamed put_spark_xrefs.ads.
	* alfa.adb: renamed spark_xrefs.adb.
	* alfa.ads: renamed spark_xrefs.ads.
	* alfa_test.adb: renamed spark_xrefs_test.adb.


Added:
    trunk/gcc/ada/exp_spark.adb
    trunk/gcc/ada/exp_spark.ads
    trunk/gcc/ada/get_spark_xrefs.adb
    trunk/gcc/ada/get_spark_xrefs.ads
    trunk/gcc/ada/lib-xref-spark_specific.adb
    trunk/gcc/ada/put_spark_xrefs.adb
    trunk/gcc/ada/put_spark_xrefs.ads
    trunk/gcc/ada/spark_xrefs.adb
    trunk/gcc/ada/spark_xrefs.ads
    trunk/gcc/ada/spark_xrefs_test.adb
Removed:
    trunk/gcc/ada/alfa.adb
    trunk/gcc/ada/alfa.ads
    trunk/gcc/ada/alfa_test.adb
    trunk/gcc/ada/exp_alfa.adb
    trunk/gcc/ada/exp_alfa.ads
    trunk/gcc/ada/get_alfa.adb
    trunk/gcc/ada/get_alfa.ads
    trunk/gcc/ada/lib-xref-alfa.adb
    trunk/gcc/ada/put_alfa.adb
    trunk/gcc/ada/put_alfa.ads
Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/adabkend.adb
    trunk/gcc/ada/ali-util.adb
    trunk/gcc/ada/ali.adb
    trunk/gcc/ada/debug.adb
    trunk/gcc/ada/errout.adb
    trunk/gcc/ada/errout.ads
    trunk/gcc/ada/erroutc.adb
    trunk/gcc/ada/exp_ch3.adb
    trunk/gcc/ada/exp_ch4.adb
    trunk/gcc/ada/exp_ch6.adb
    trunk/gcc/ada/exp_ch7.adb
    trunk/gcc/ada/exp_dbug.adb
    trunk/gcc/ada/exp_util.adb
    trunk/gcc/ada/expander.adb
    trunk/gcc/ada/freeze.adb
    trunk/gcc/ada/gcc-interface/Make-lang.in
    trunk/gcc/ada/gnat1drv.adb
    trunk/gcc/ada/lib-writ.adb
    trunk/gcc/ada/lib-writ.ads
    trunk/gcc/ada/lib-xref.adb
    trunk/gcc/ada/lib-xref.ads
    trunk/gcc/ada/opt.adb
    trunk/gcc/ada/opt.ads
    trunk/gcc/ada/restrict.adb
    trunk/gcc/ada/sem_aggr.adb
    trunk/gcc/ada/sem_attr.adb
    trunk/gcc/ada/sem_ch3.adb
    trunk/gcc/ada/sem_ch4.adb
    trunk/gcc/ada/sem_ch5.adb
    trunk/gcc/ada/sem_ch6.adb
    trunk/gcc/ada/sem_eval.adb
    trunk/gcc/ada/sem_prag.adb
    trunk/gcc/ada/sem_res.adb
    trunk/gcc/ada/sem_util.adb

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]