diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-04-25 12:54:33 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-04-25 12:54:33 +0200 |
| commit | fd8b8c01c3d00065dc5cd4c000db79e5b47463d4 (patch) | |
| tree | 3835d998270eabe29f6eed6c25933bef3ec5d1e8 /gcc/ada/checks.adb | |
| parent | f197d2f29355314ccbf0a816f3ad20c20b506bef (diff) | |
| download | gcc-fd8b8c01c3d00065dc5cd4c000db79e5b47463d4.zip gcc-fd8b8c01c3d00065dc5cd4c000db79e5b47463d4.tar.gz gcc-fd8b8c01c3d00065dc5cd4c000db79e5b47463d4.tar.bz2 | |
[multiple changes]
2013-04-25 Hristian Kirtchev <kirtchev@adacore.com>
* checks.adb (Apply_Predicate_Check): Update the comment associated
with the call to Check_Expression_Against_Static_Predicate.
* sem_ch3.adb (Analyze_Object_Declaration): Update the comment
associated with the call to Check_Expression_Against_Static_Predicate.
* sem_util.adb (Check_Expression_Against_Static_Predicate):
Broaden the check from a static expression to an expression with
a known value at compile time.
* sem_util.ads (Check_Expression_Against_Static_Predicate): Update
comment on usage.
2013-04-25 Thomas Quinot <quinot@adacore.com>
* exp_attr.adb (Expand_N_Attribute_Reference, cases Position,
First_Bit, and Last_Bit): Fix incorrect test in implementation of
RM 2005 13.5.2(3/2).
2013-04-25 Claire Dross <dross@adacore.com>
* a-cfhase.adb, a-cfhase.ads, a-cforma.adb, a-cforma.ads, a-cfhama.adb,
a-cfhama.ads, a-cforse.adb, a-cforse.ads, a-cofove.adb, a-cofove.ads
(Query_Element): Removed.
(Update_Element): Removed.
(Insert): The version with no New_Item specified is removed.
(Iterate): Removed.
(Write): Removed.
(Read): Removed.
Every check of fields Busy and Lock has been removed.
2013-04-25 Robert Dewar <dewar@adacore.com>
* sem_prag.adb (Analyze_Pragma, case Contract_Cases): Remove
call to S14_Pragma (Find_Related_Subprogram): Require proper
placement in subprogram body (Find_Related_Subprogram): Detect
duplicates for all cases (Find_Related_Subprogram): Handle case
of spec nested inside body.
From-SVN: r198297
Diffstat (limited to 'gcc/ada/checks.adb')
| -rw-r--r-- | gcc/ada/checks.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/checks.adb b/gcc/ada/checks.adb index 5a5b7d1..570bfbc 100644 --- a/gcc/ada/checks.adb +++ b/gcc/ada/checks.adb @@ -2502,8 +2502,8 @@ package body Checks is -- Here for normal case of predicate active else - -- If the type has a static predicate and the expression is also - -- static, see if the expression satisfies the predicate. + -- If the type has a static predicate and the expression is known + -- at compile time, see if the expression satisfies the predicate. Check_Expression_Against_Static_Predicate (N, Typ); |