git.ipfire.org Git - thirdparty/gcc.git/commit

]> git.ipfire.org Git - thirdparty/gcc.git/commit

projects / thirdparty / gcc.git / commit

author	Yannick Moy <moy@adacore.com>
	Mon, 20 Jan 2014 13:47:41 +0000 (13:47 +0000)
committer	Arnaud Charlet <charlet@gcc.gnu.org>
	Mon, 20 Jan 2014 13:47:41 +0000 (14:47 +0100)
commit	4460a9bcc2b44c95583242d97a8e8a463706a7e8
tree	20cedaea80ab6c277371fd6f8f8dad11295e175f	tree
parent	f5da7a97f59ad934df6fd6ab1aca0a48571ae399	commit \| diff

exp_spark.adb (Expand_SPARK_Call): Remove procedure.

2014-01-20 Yannick Moy <moy@adacore.com>

* exp_spark.adb (Expand_SPARK_Call): Remove procedure.
* opt.adb, opt.ads (Full_Expander_Active): Remove function.
* checks.adb, exp_ch6.adb, exp_ch9.adb, exp_disp.adb, sem_aggr.adb,
* sem_ch10.adb, sem_ch5.adb, sem_ch6.adb, sem_ch8.adb, sem_ch9.adb,
* sem_disp.adb, sem_res.adb Replace Full_Expander_Active by
Expander_Active.

2014-01-20 Yannick Moy <moy@adacore.com>

* sinfo.ads Update documentation of GNATprove mode.

From-SVN: r206806

17 files changed:

gcc/ada/ChangeLog		diff \| blob \| blame \| history
gcc/ada/checks.adb		diff \| blob \| blame \| history
gcc/ada/exp_ch6.adb		diff \| blob \| blame \| history
gcc/ada/exp_ch9.adb		diff \| blob \| blame \| history
gcc/ada/exp_disp.adb		diff \| blob \| blame \| history
gcc/ada/exp_spark.adb		diff \| blob \| blame \| history
gcc/ada/opt.adb		diff \| blob \| blame \| history
gcc/ada/opt.ads		diff \| blob \| blame \| history
gcc/ada/sem_aggr.adb		diff \| blob \| blame \| history
gcc/ada/sem_ch10.adb		diff \| blob \| blame \| history
gcc/ada/sem_ch5.adb		diff \| blob \| blame \| history
gcc/ada/sem_ch6.adb		diff \| blob \| blame \| history
gcc/ada/sem_ch8.adb		diff \| blob \| blame \| history
gcc/ada/sem_ch9.adb		diff \| blob \| blame \| history
gcc/ada/sem_disp.adb		diff \| blob \| blame \| history
gcc/ada/sem_res.adb		diff \| blob \| blame \| history
gcc/ada/sinfo.ads		diff \| blob \| blame \| history

Mirror of https://gcc.gnu.org/git/gcc.git

RSS Atom