diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-01-06 11:13:24 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-01-06 11:13:24 +0100 |
| commit | fc6d9796420e99d8dbd7bd2b5487b4c6f5263993 (patch) | |
| tree | 60ba5ab2a615682e5f32f980557c74a6400a1d8e /gcc/ada/sem_ch12.ads | |
| parent | 28fa5430b89d86f6735a4d505b5dcc891ca27ef6 (diff) | |
| download | gcc-fc6d9796420e99d8dbd7bd2b5487b4c6f5263993.zip gcc-fc6d9796420e99d8dbd7bd2b5487b4c6f5263993.tar.gz gcc-fc6d9796420e99d8dbd7bd2b5487b4c6f5263993.tar.bz2 | |
[multiple changes]
2015-01-06 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb, sem_ch12.ads, sem_ch8.adb: Ongoing work for wrappers
for operators in SPARK.
2015-01-06 Javier Miranda <miranda@adacore.com>
* exp_disp.adb: Revert previous patch again.
2015-01-06 Ed Schonberg <schonberg@adacore.com>
* sem_aggr.adb (Get_Value): In ASIS mode, preanalyze the
expression in an others association before making copies for
separate resolution and accessibility checks. This ensures that
the type of the expression is available to ASIS in all cases,
in particular if the expression is itself an aggregate.
From-SVN: r219248
Diffstat (limited to 'gcc/ada/sem_ch12.ads')
| -rw-r--r-- | gcc/ada/sem_ch12.ads | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/gcc/ada/sem_ch12.ads b/gcc/ada/sem_ch12.ads index c29a0a7..65a00ea 100644 --- a/gcc/ada/sem_ch12.ads +++ b/gcc/ada/sem_ch12.ads @@ -38,8 +38,8 @@ package Sem_Ch12 is procedure Analyze_Formal_Package_Declaration (N : Node_Id); function Build_Function_Wrapper - (Formal : Entity_Id; - Actual : Entity_Id) return Node_Id; + (Formal_Subp : Entity_Id; + Actual_Subp : Entity_Id) return Node_Id; -- In GNATprove mode, create a wrapper function for actuals that are -- functions with any number of formal parameters, in order to propagate -- their contract to the renaming declarations generated for them. This @@ -47,11 +47,12 @@ package Sem_Ch12 is -- instance has been analyzed, and the actual is known. function Build_Operator_Wrapper - (Formal : Entity_Id; - Actual : Entity_Id) return Node_Id; + (Formal_Subp : Entity_Id; + Actual_Subp : Entity_Id) return Node_Id; -- In GNATprove mode, create a wrapper function for actuals that are -- operators, in order to propagate their contract to the renaming - -- declarations generated for them. + -- declarations generated for them. The types are (the instances of) + -- the types of the formal subprogram. procedure Start_Generic; -- Must be invoked before starting to process a generic spec or body |