diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-10-22 12:09:51 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-10-22 12:09:51 +0200 |
commit | b4ca2d2c08cde1619a2394a02773712ded61dbce (patch) | |
tree | 45498be02d1ed85f737aeb6644317efb5e0b4ca1 /libssp | |
parent | 00c7151cdf1d73504a4154bf3e630008dd1bc7d3 (diff) | |
download | gcc-b4ca2d2c08cde1619a2394a02773712ded61dbce.zip gcc-b4ca2d2c08cde1619a2394a02773712ded61dbce.tar.gz gcc-b4ca2d2c08cde1619a2394a02773712ded61dbce.tar.bz2 |
[multiple changes]
2010-10-22 Robert Dewar <dewar@adacore.com>
* sprint.adb: Minor reformatting.
2010-10-22 Robert Dewar <dewar@adacore.com>
* exp_ch3.adb (Expand_N_Object_Declaration): Do required predicate
checks.
* sem_ch3.adb (Complete_Private_Subtype): Propagate predicates to full
view.
* sem_ch6.adb (Invariants_Or_Predicates_Present): New name for
Invariants_Present.
(Process_PPCs): Handle predicates generating post conditions
* sem_util.adb (Is_Partially_Initialized_Type): Add
Include_Null parameter.
* sem_util.ads (Is_Partially_Initialized_Type): Add
Include_Null parameter.
2010-10-22 Sergey Rybin <rybin@adacore.com>
* gnat_ugn.texi (gnatelim): Add description for '--ignore' option
2010-10-22 Thomas Quinot <quinot@adacore.com>
* sem_prag.adb (Check_First_Subtype): Specialize error messages for
case where argument is not a type.
From-SVN: r165815
Diffstat (limited to 'libssp')
0 files changed, 0 insertions, 0 deletions