diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-04-25 10:51:19 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-04-25 10:51:19 +0000 |
| commit | 3a75f20bf3b9665805165b36d4febdbe7168aa6b (patch) | |
| tree | 6f7c96cd6779934fc8294e71c105f19678321d2f /gcc/ada/a-cfhama.ads | |
| parent | 07856ce6fbe9ad58a327a3860c47afae604c2c82 (diff) | |
| download | gcc-3a75f20bf3b9665805165b36d4febdbe7168aa6b.tar.gz | |
2013-04-25 Arnaud Charlet <charlet@adacore.com>
* par-prag.adb: Fix typo.
2013-04-25 Hristian Kirtchev <kirtchev@adacore.com>
* checks.adb (Apply_Predicate_Check): If the type has a static
predicate and the expression is also static, check whether the
expression satisfies the predicate.
* sem_ch3.adb (Analyze_Object_Declaration): If the type has a
static predicate and the expression is also static, see if the
expression satisfies the predicate.
* sem_util.adb: Alphabetize several routines.
(Check_Expression_Against_Static_Predicate): New routine.
* sem_util.ads (Check_Expression_Against_Static_Predicate): New routine.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@198296 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/a-cfhama.ads')
0 files changed, 0 insertions, 0 deletions