diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-19 14:22:12 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-19 14:22:12 +0200 |
| commit | 87fd6836074fadc41833bf26686e99dbe574a638 (patch) | |
| tree | db80712bf51c3130061299a0c940026b2b325d7a /gcc/ada/switch.ads | |
| parent | b35e5dcb14b85adb622f0f6ee4c629e9a44dcdd0 (diff) | |
| download | gcc-87fd6836074fadc41833bf26686e99dbe574a638.zip gcc-87fd6836074fadc41833bf26686e99dbe574a638.tar.gz gcc-87fd6836074fadc41833bf26686e99dbe574a638.tar.bz2 | |
[multiple changes]
2016-04-19 Ed Schonberg <schonberg@adacore.com>
* sem_res.adb (Resolve_Entry_Call): If the entry has
preconditions it is rewritten by means of a wrapper that
incorporates the original call. Before rewriting generate a
reference to the entry being called to prevent spurious warnings
and provide correct cross-reference information.
2016-04-19 Hristian Kirtchev <kirtchev@adacore.com>
* sem_disp.adb (Check_Dispatching_Context): Code cleanup. Add
local constant Scop. Ignore any internally generated loops when
performing the check concerning an abstract subprogram call
without a controlling argument.
* sem_util.ads, sem_util.adb (Current_Scope_No_Loops): New routine.
From-SVN: r235192
Diffstat (limited to 'gcc/ada/switch.ads')
0 files changed, 0 insertions, 0 deletions