diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-02 10:21:47 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-02 10:21:47 +0000 |
| commit | ebe4e6dde0b4260bd6efae90d0fa1021f8dec332 (patch) | |
| tree | 6e6be6347d2e4a0f8831778d9a190954fe41d3cf /gcc/ada/restrict.ads | |
| parent | 67cb127a092c466c05e8d8a0448fdf7beed38594 (diff) | |
| download | gcc-ebe4e6dde0b4260bd6efae90d0fa1021f8dec332.tar.gz | |
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
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177125 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/restrict.ads')
| -rw-r--r-- | gcc/ada/restrict.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/ada/restrict.ads b/gcc/ada/restrict.ads index c491ca94f9a..c006fd6feb1 100644 --- a/gcc/ada/restrict.ads +++ b/gcc/ada/restrict.ads @@ -225,6 +225,10 @@ package Restrict is -- "|~~" (error not serious, language prepended). Call has no effect if -- not in formal mode, or if N does not come originally from source. + procedure Check_Formal_Restriction (Msg1, Msg2 : String; N : Node_Id); + -- Same as Check_Formal_Restriction except there is a continuation message + -- Msg2 following the initial message Msg1. + procedure Check_Implicit_Dynamic_Code_Allowed (N : Node_Id); -- Tests to see if dynamic code generation (dynamically generated -- trampolines, in particular) is allowed by the current restrictions |