diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-02 12:27:16 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-02 12:27:16 +0200 |
| commit | 6320f5e18ed03cb41e65e640566d2a9cf1cd5690 (patch) | |
| tree | b4ee8d576fb450f09c1b861f596dfff8de7dd0d7 /gcc/ada/sem_util.ads | |
| parent | 2fe829aee4382946ff335be64c2e2d4a1f79f484 (diff) | |
| download | gcc-6320f5e18ed03cb41e65e640566d2a9cf1cd5690.zip gcc-6320f5e18ed03cb41e65e640566d2a9cf1cd5690.tar.gz gcc-6320f5e18ed03cb41e65e640566d2a9cf1cd5690.tar.bz2 | |
[multiple changes]
2011-08-02 Robert Dewar <dewar@adacore.com>
* sem_ch5.adb, sem_ch7.adb, einfo.ads, sem_util.adb, sem_util.ads,
sem_res.adb, sem_ch6.adb: Minor reformatting.
2011-08-02 Jerome Guitton <guitton@adacore.com>
* a-except-2005.adb (Raise_Current_Excep): Remove obsolete dead code.
From-SVN: r177127
Diffstat (limited to 'gcc/ada/sem_util.ads')
| -rw-r--r-- | gcc/ada/sem_util.ads | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads index c908d88..d10b53f 100644 --- a/gcc/ada/sem_util.ads +++ b/gcc/ada/sem_util.ads @@ -355,10 +355,9 @@ package Sem_Util is Call : out Node_Id); -- Determines if the node N is an actual parameter of a function of a -- procedure call. If so, then Formal points to the entity for the formal - -- (whose Ekind is one of E_In_Parameter, E_Out_Parameter, - -- E_In_Out_Parameter) and Call is set to the node for the corresponding - -- call. If the node N is not an actual parameter then Formal and Call are - -- set to Empty. + -- (Ekind is E_In_Parameter, E_Out_Parameter, or E_In_Out_Parameter) and + -- Call is set to the node for the corresponding call. If the node N is not + -- an actual parameter then Formal and Call are set to Empty. function Find_Corresponding_Discriminant (Id : Node_Id; @@ -768,7 +767,7 @@ package Sem_Util is -- variable and constant objects return True (compare Is_Variable). function Is_SPARK_Object_Reference (N : Node_Id) return Boolean; - -- Determines if the tree referenced by N represents an object in SPARK. + -- Determines if the tree referenced by N represents an object in SPARK function Is_OK_Variable_For_Out_Formal (AV : Node_Id) return Boolean; -- Used to test if AV is an acceptable formal for an OUT or IN OUT formal. |