[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Thu, 19 Jan 2017 13:02:30 +0000 (14:02 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 19 Jan 2017 13:02:30 +0000 (14:02 +0100)
commit374c09e8b0560f150266deb324004e482f4c424e
tree08e26e517839d3144e06cfbfac0cb3d8b665465b
parentf67f94b8e2a276b70c51871e8ca0b85a98190b0a
[multiple changes]

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.

From-SVN: r244628
gcc/ada/ChangeLog
gcc/ada/exp_ch7.adb
gcc/ada/lib-xref-spark_specific.adb