| commit | 3dd7e28d9fdd0210987e9281f158bd97db4e1f06 | |
| author | Yannick Moy <moy@adacore.com> | |
| Mon, 4 Aug 2014 08:01:36 +0000 (4 08:01 +0000) | ||
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | |
| Mon, 4 Aug 2014 08:01:36 +0000 (4 10:01 +0200) | ||
| tree | 608f376f517d2d6bd7075697e85218cb0a4b1974 | treesnapshot (tar.gz zip) |
| parent | 6c56d9b8a6716973e5fbba1dc5e38507022b6006 | commitdiff |
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
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