diff options
| author | Yannick Moy <moy@adacore.com> | 2011-08-02 10:21:47 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-02 12:21:47 +0200 |
| commit | e24329cdf00e258cfb48e84f55bbd4903cc48939 (patch) | |
| tree | 6e6be6347d2e4a0f8831778d9a190954fe41d3cf /gcc/ada/par-ch6.adb | |
| parent | 176dadf6396a67fb74572ceb74c1e66520adbd51 (diff) | |
| download | gcc-e24329cdf00e258cfb48e84f55bbd4903cc48939.zip gcc-e24329cdf00e258cfb48e84f55bbd4903cc48939.tar.gz gcc-e24329cdf00e258cfb48e84f55bbd4903cc48939.tar.bz2 | |
par-ch6.adb: Correct obsolete name in comments
2011-08-02 Yannick Moy <moy@adacore.com>
* par-ch6.adb: Correct obsolete name in comments
* restrict.adb, restrict.ads (Check_Formal_Restriction): new function
which takes two message arguments (existing function takes one), with
second message used for continuation.
* sem_ch5.adb (Analyze_Block_Statement): in formal mode, only reject
block statements that originate from a source block statement, not
generated block statements
* sem_ch6.adb (Analyze_Function_Call): rename L into Actuals, for
symmetry with procedure case
* sem_ch7.adb (Check_One_Tagged_Type_Or_Extension_At_Most): new
function to issue an error in formal mode if a package specification
contains more than one tagged type or type extension.
* sem_res.adb (Resolve_Actuals): in formal mode, check that actual
parameters matching formals of tagged types are objects (or ancestor
type conversions of objects), not general expressions. Issue an error
on view conversions that are not involving ancestor conversion of an
extended type.
(Resolve_Type_Conversion): in formal mode, issue an error on the
operand of an ancestor type conversion which is not an object
* sem_util.adb, sem_util.ads (Find_Actual): extend the behavior of the
procedure so that it works also for actuals of function calls
(Is_Actual_Tagged_Parameter): new function which determines if its
argument is an actual parameter of a formal of tagged type in a
subprogram call
(Is_SPARK_Object_Reference): new function which determines if the tree
referenced by its argument represents an object in SPARK
From-SVN: r177125
Diffstat (limited to 'gcc/ada/par-ch6.adb')
| -rw-r--r-- | gcc/ada/par-ch6.adb | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gcc/ada/par-ch6.adb b/gcc/ada/par-ch6.adb index fae8304..bcb6161 100644 --- a/gcc/ada/par-ch6.adb +++ b/gcc/ada/par-ch6.adb @@ -1492,25 +1492,25 @@ package body Ch6 is -- 6.4 Function Call -- ------------------------ - -- Parsed by P_Call_Or_Name (4.1) + -- Parsed by P_Name (4.1) -------------------------------- -- 6.4 Actual Parameter Part -- -------------------------------- - -- Parsed by P_Call_Or_Name (4.1) + -- Parsed by P_Name (4.1) -------------------------------- -- 6.4 Parameter Association -- -------------------------------- - -- Parsed by P_Call_Or_Name (4.1) + -- Parsed by P_Name (4.1) ------------------------------------ -- 6.4 Explicit Actual Parameter -- ------------------------------------ - -- Parsed by P_Call_Or_Name (4.1) + -- Parsed by P_Name (4.1) --------------------------- -- 6.5 Return Statement -- |