diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-18 12:37:47 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-18 12:37:47 +0200 |
| commit | 142870f570d036ec06127bad47679743e68010f7 (patch) | |
| tree | 14fd1d72159c7f31441c86782351cfc329c45590 /gcc/tree-chkp-opt.c | |
| parent | ec3c7387ac65ab902350a08c654f4f8f4a65af47 (diff) | |
| download | gcc-142870f570d036ec06127bad47679743e68010f7.zip gcc-142870f570d036ec06127bad47679743e68010f7.tar.gz gcc-142870f570d036ec06127bad47679743e68010f7.tar.bz2 | |
[multiple changes]
2016-04-18 Bob Duff <duff@adacore.com>
* a-cuprqu.ads: Change the representation of List_Type from a
singly-linked list to a doubly-linked list. In addition, add a
pointer Next_Unequal, which points past a possibly-long chain
of equal-priority items. This increases efficiency, especially
in the case of many equal-priority items.
* a-cuprqu.adb (Dequeue, Enqueue): Rewrite algorithms to take
advantage of new data structure.
(Finalize): Rewrite in terms of Dequeue, for simplicity.
2016-04-18 Yannick Moy <moy@adacore.com>
* contracts.adb (Analyze_Object_Contract,
Analyze_Protected_Contract): Remove tests performed in GNATprove.
* sem_util.adb, sem_util.ads (Has_Full_Default_Initialization):
Remove query for tests performed in GNATprove.
From-SVN: r235121
Diffstat (limited to 'gcc/tree-chkp-opt.c')
0 files changed, 0 insertions, 0 deletions