diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2014-08-01 13:35:22 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-08-01 15:35:22 +0200 |
| commit | ecda544d41f26433d80a0632c09dec07fd2a8dfd (patch) | |
| tree | 3360a0e17b2a6d4ffedf6b663736d7e8701f53fe /gcc/ada/gcc-interface/decl.c | |
| parent | 10671e7affbf700ea0b10baa77901f0cf2b8e9ad (diff) | |
| download | gcc-ecda544d41f26433d80a0632c09dec07fd2a8dfd.zip gcc-ecda544d41f26433d80a0632c09dec07fd2a8dfd.tar.gz gcc-ecda544d41f26433d80a0632c09dec07fd2a8dfd.tar.bz2 | |
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
Diffstat (limited to 'gcc/ada/gcc-interface/decl.c')
0 files changed, 0 insertions, 0 deletions