r244628 - in /trunk/gcc/ada: ChangeLog exp_ch7....

[charlet@gcc.gnu.org]

Author: charlet
Date: Thu Jan 19 13:02:30 2017
New Revision: 244628

URL: https://gcc.gnu.org/viewcvs?rev=244628&root=gcc&view=rev
Log:
2017-01-19  Hristian Kirtchev  <kirtchev@adacore.com>

	* lib-xref-spark_specific.adb: Minor reformatting.
	* exp_ch7.adb (Add_Parent_Invariants): Do not process array types.

2017-01-19  Tristan Gingold  <gingold@adacore.com>

	* fe.h (Constant_Value): Export.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/exp_ch7.adb
    trunk/gcc/ada/lib-xref-spark_specific.adb