diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-04-25 12:51:19 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-04-25 12:51:19 +0200 |
| commit | f197d2f29355314ccbf0a816f3ad20c20b506bef (patch) | |
| tree | 6f7c96cd6779934fc8294e71c105f19678321d2f /gcc/builtins.c | |
| parent | bbee5cc4b054ad87d3200f6d17e425040fbc50f6 (diff) | |
| download | gcc-f197d2f29355314ccbf0a816f3ad20c20b506bef.zip gcc-f197d2f29355314ccbf0a816f3ad20c20b506bef.tar.gz gcc-f197d2f29355314ccbf0a816f3ad20c20b506bef.tar.bz2 | |
[multiple changes]
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.
From-SVN: r198296
Diffstat (limited to 'gcc/builtins.c')
0 files changed, 0 insertions, 0 deletions