projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 10671e7) | patch
sem_res.adb (Resolve_Entry_Call): When an entry has preconditions...
authorEd Schonberg <schonberg@adacore.com>
Fri, 1 Aug 2014 13:35:22 +0000 (13:35 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 1 Aug 2014 13:35:22 +0000 (15:35 +0200)
commitecda544d41f26433d80a0632c09dec07fd2a8dfd
tree3360a0e17b2a6d4ffedf6b663736d7e8701f53fetree
parent10671e7affbf700ea0b10baa77901f0cf2b8e9adcommit | diff
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
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_res.adb diff | blob | history