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/sem_util.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/sem_util.adb')
| -rw-r--r-- | gcc/ada/sem_util.adb | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index bc1f3fb..c914703 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -1301,11 +1301,11 @@ package body Sem_Util is Typ : Entity_Id) is begin - -- When both the predicate and the expression are static, evaluate the - -- check at compile time. A type becomes non-static when it has aspect - -- Dynamic_Predicate. + -- When the predicate is static and the value of the expression is known + -- at compile time, evaluate the predicate check. A type is non-static + -- when it has aspect Dynamic_Predicate. - if Is_OK_Static_Expression (Expr) + if Compile_Time_Known_Value (Expr) and then Has_Predicates (Typ) and then Present (Static_Predicate (Typ)) and then not Has_Dynamic_Predicate_Aspect (Typ) |