diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-29 15:52:53 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-29 15:52:53 +0200 |
commit | 87e697202e51033d351f6108eb5fd84f638e4cc1 (patch) | |
tree | 386163c33e98a213a68cc70894aabec4ac813600 | |
parent | 113a9fb6c6c0b2ce325440352bc3b9039e6e07ed (diff) | |
download | gcc-87e697202e51033d351f6108eb5fd84f638e4cc1.zip gcc-87e697202e51033d351f6108eb5fd84f638e4cc1.tar.gz gcc-87e697202e51033d351f6108eb5fd84f638e4cc1.tar.bz2 |
[multiple changes]
2014-07-29 Robert Dewar <dewar@adacore.com>
* sinfo.ads: Minor comment addition.
2014-07-29 Bob Duff <duff@adacore.com>
* sem_eval.adb, sem_ch13.adb: Minor reformatting.
From-SVN: r213190
-rw-r--r-- | gcc/ada/ChangeLog | 8 | ||||
-rw-r--r-- | gcc/ada/sem_ch13.adb | 6 | ||||
-rw-r--r-- | gcc/ada/sem_eval.adb | 3 | ||||
-rw-r--r-- | gcc/ada/sinfo.ads | 7 |
4 files changed, 18 insertions, 6 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 0b5f0c2..84d8760 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,11 @@ +2014-07-29 Robert Dewar <dewar@adacore.com> + + * sinfo.ads: Minor comment addition. + +2014-07-29 Bob Duff <duff@adacore.com> + + * sem_eval.adb, sem_ch13.adb: Minor reformatting. + 2014-07-29 Doug Rupp <rupp@adacore.com> * init.c: Complete previous change. diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb index f1a9f10..16ce674 100644 --- a/gcc/ada/sem_ch13.adb +++ b/gcc/ada/sem_ch13.adb @@ -7579,7 +7579,7 @@ package body Sem_Ch13 is Object_Name : constant Name_Id := New_Internal_Name ('I'); -- Name for argument of Predicate procedure. Note that we use the same - -- name for both predicate procedure. That way the reference within the + -- name for both predicate functions. That way the reference within the -- predicate expression is the same in both functions. Object_Entity : constant Entity_Id := @@ -10600,7 +10600,7 @@ package body Sem_Ch13 is -- all the cases above. -- One more test that is an implementation artifact caused by the fact - -- that we are analyzing not the original expresesion, but the generated + -- that we are analyzing not the original expression, but the generated -- expression in the body of the predicate function. This can include -- references to inherited predicates, so that the expression we are -- processing looks like: @@ -10609,7 +10609,7 @@ package body Sem_Ch13 is -- Where the call is to a Predicate function for an inherited predicate. -- We simply ignore such a call (which could be to either a dynamic or - -- a static predicate, but remember that we can have Static_Predicate + -- a static predicate, but remember that we can have a Static_Predicate -- for a non-static subtype). elsif Nkind (Expr) = N_Function_Call diff --git a/gcc/ada/sem_eval.adb b/gcc/ada/sem_eval.adb index 44344ce..074c2b4 100644 --- a/gcc/ada/sem_eval.adb +++ b/gcc/ada/sem_eval.adb @@ -363,8 +363,7 @@ package body Sem_Eval is elsif Is_String_Type (Typ) then if Real_Or_String_Static_Predicate_Matches - (Val => Expr_Value_S (Expr), - Typ => Typ) + (Val => Expr_Value_S (Expr), Typ => Typ) then return; end if; diff --git a/gcc/ada/sinfo.ads b/gcc/ada/sinfo.ads index 6f5b2a9..479eb6e 100644 --- a/gcc/ada/sinfo.ads +++ b/gcc/ada/sinfo.ads @@ -4292,13 +4292,18 @@ package Sinfo is -- (explicitly set to True if missing). -- Note: the Then_Actions and Else_Actions fields are always set to - -- No_List in the tree passed to Gigi. These fields are used only + -- No_List in the tree passed to the back end. These are used only -- for temporary processing purposes in the expander. Even though they -- are semantic fields, their parent pointers are set because analysis -- of actions nodes in those lists may generate additional actions that -- need to know their insertion point (for example for the creation of -- transient scopes). + -- Note: in the tree passed to the back end, if the result type is + -- an unconstrained array, the if expression can only appears in the + -- initializing expression of an object declaration (this avoids the + -- back end having to create a variable length temporary on the fly). + ---------------------------- -- 4.5.7 Case Expression -- ---------------------------- |