diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-10-07 14:45:48 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-10-07 14:45:48 +0200 |
| commit | 2e79de51b02b742c716f5bf94bb2cbff62b5fa6e (patch) | |
| tree | b5d98752418158a359ebc8106e255270aba2aff9 /gcc/ada/sinfo.ads | |
| parent | da7d70aae388ceeefd8b829865ba6ea55d4171c9 (diff) | |
| download | gcc-2e79de51b02b742c716f5bf94bb2cbff62b5fa6e.zip gcc-2e79de51b02b742c716f5bf94bb2cbff62b5fa6e.tar.gz gcc-2e79de51b02b742c716f5bf94bb2cbff62b5fa6e.tar.bz2 | |
[multiple changes]
2010-10-07 Robert Dewar <dewar@adacore.com>
* par-ch3.adb, par-ch6.adb, par-ch7.adb, par-ch9.adb, par-ch10.adb: Add
Pexp to Pf_Rec constants
(P_Subprogram): Expression is always enclosed in parentheses
* par.adb (Pf_Rec): add Pexp flag for parametrized expression
* sinfo.ads (N_Parametrized_Expression): Expression must be in parens
2010-10-07 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (Analyze_Subprogram_Specification): Implement Ada2012
checks on functions that return an abstract type or have a controlling
result whose designated type is an abstract type.
(Check_Private_Overriding): Implement Ada2012 checks on functions
declared in the private part, if an abstract type is involved.
* sem_ch12.adb (Analyze_Generic_Subprogram_Declaration): In Ada2012,
reject a generic function that returns an abstract type.
* exp_ch5.adb (Expand_Simple_Function_Return): in Ada2012, if a
function has a controlling access result, check that the tag of the
return value matches the designated type of the return expression.
From-SVN: r165100
Diffstat (limited to 'gcc/ada/sinfo.ads')
| -rw-r--r-- | gcc/ada/sinfo.ads | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/gcc/ada/sinfo.ads b/gcc/ada/sinfo.ads index 573759d..af28795 100644 --- a/gcc/ada/sinfo.ads +++ b/gcc/ada/sinfo.ads @@ -4435,10 +4435,7 @@ package Sinfo is -- and put in its proper section when we know exactly where that is! -- PARAMETRIZED_EXPRESSION ::= - -- FUNCTION SPECIFICATION IS EXPRESSION; - - -- Note: there are no separate nodes for the profiles, instead the - -- information appears directly in the following nodes. + -- FUNCTION SPECIFICATION IS (EXPRESSION); -- N_Parametrized_Expression -- Sloc points to FUNCTION |