| commit | ecda544d41f26433d80a0632c09dec07fd2a8dfd | |
| author | Ed Schonberg <schonberg@adacore.com> | |
| Fri, 1 Aug 2014 13:35:22 +0000 (1 13:35 +0000) | ||
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | |
| Fri, 1 Aug 2014 13:35:22 +0000 (1 15:35 +0200) | ||
| tree | 3360a0e17b2a6d4ffedf6b663736d7e8701f53fe | treesnapshot (tar.gz zip) |
| parent | 10671e7affbf700ea0b10baa77901f0cf2b8e9ad | commitdiff |
sem_res.adb (Resolve_Entry_Call): When an entry has preconditions...
2014-08-01 Ed Schonberg <schonberg@adacore.com>
* sem_res.adb (Resolve_Entry_Call): When an entry has
preconditions, the entry call is wrapped in a procedure call
that incorporates the precondition checks. To prevent a double
expansion, with possible duplication of extra formals, that
procedure call must only be pre-analyzed and resolved. Expansion
takes place upon return to the caller Resolve_Call.
From-SVN: r213461
2014-08-01 Ed Schonberg <schonberg@adacore.com>
* sem_res.adb (Resolve_Entry_Call): When an entry has
preconditions, the entry call is wrapped in a procedure call
that incorporates the precondition checks. To prevent a double
expansion, with possible duplication of extra formals, that
procedure call must only be pre-analyzed and resolved. Expansion
takes place upon return to the caller Resolve_Call.
From-SVN: r213461
| gcc/ada/ChangeLog | diffblobblamehistory | |
| gcc/ada/sem_res.adb | diffblobblamehistory |