diff options
| author | Yannick Moy <moy@adacore.com> | 2014-08-04 08:01:36 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-08-04 10:01:36 +0200 |
| commit | 3dd7e28d9fdd0210987e9281f158bd97db4e1f06 (patch) | |
| tree | 608f376f517d2d6bd7075697e85218cb0a4b1974 /gcc/ada/sem_ch3.ads | |
| parent | 6c56d9b8a6716973e5fbba1dc5e38507022b6006 (diff) | |
| download | gcc-3dd7e28d9fdd0210987e9281f158bd97db4e1f06.zip gcc-3dd7e28d9fdd0210987e9281f158bd97db4e1f06.tar.gz gcc-3dd7e28d9fdd0210987e9281f158bd97db4e1f06.tar.bz2 | |
sem.adb, sem.ads (In_Default_Expr): Global flag that is set to True during analysis of a default component expression.
2014-08-04 Yannick Moy <moy@adacore.com>
* sem.adb, sem.ads (In_Default_Expr): Global flag that is set
to True during analysis of a default component expression.
(Semantics): Save and restore In_Default_Expr around analysis.
* sem_ch3.adb, sem_ch3.ads (Analyze_Component_Declaration):
Call new wrapper Preanalyze_Default_Expression.
(Preanalyze_Default_Expression): New wrapper on
Preanalyze_Spec_Expression which sets and restores In_Default_Expr.
* sem_res.adb (Resolve_Call): Mark calls inside default
expressions as not inlined in GNATprove mode.
From-SVN: r213536
Diffstat (limited to 'gcc/ada/sem_ch3.ads')
| -rw-r--r-- | gcc/ada/sem_ch3.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/ada/sem_ch3.ads b/gcc/ada/sem_ch3.ads index a904856..57184ed 100644 --- a/gcc/ada/sem_ch3.ads +++ b/gcc/ada/sem_ch3.ads @@ -250,6 +250,10 @@ package Sem_Ch3 is -- Wrapper on Preanalyze_Spec_Expression for assertion expressions, so that -- In_Assertion_Expr can be properly adjusted. + procedure Preanalyze_Default_Expression (N : Node_Id; T : Entity_Id); + -- Wrapper on Preanalyze_Spec_Expression for default expressions, so that + -- In_Default_Expr can be properly adjusted. + procedure Process_Full_View (N : Node_Id; Full_T, Priv_T : Entity_Id); -- Process some semantic actions when the full view of a private type is -- encountered and analyzed. The first action is to create the full views |