diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-08-01 13:35:22 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-08-01 13:35:22 +0000 |
| commit | 3cb2454ce9ed72ebae31eddda0c1d5fad2390e1c (patch) | |
| tree | 3360a0e17b2a6d4ffedf6b663736d7e8701f53fe /gcc/ada/gcc-interface/misc.c | |
| parent | 212bd5ba69c2a6b9fcb1c8e27677190586b650f2 (diff) | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@213461 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/gcc-interface/misc.c')
0 files changed, 0 insertions, 0 deletions