Re: [PATCH] Fix PR80721

2017-06-01 Thread Jonathan Wakely
On 12/05/17 12:10 +0200, Richard Biener wrote: It was pointed out by Markus that the EH emergency pool is not kept sorted and fully merged properly for the cases of freeing an entry before the first free entry and for the cases where merging with the immediate successor and for the case with mer

Re: [PATCH] Fix PR80721

2017-05-12 Thread Jonathan Wakely
On 12/05/17 12:10 +0200, Richard Biener wrote: It was pointed out by Markus that the EH emergency pool is not kept sorted and fully merged properly for the cases of freeing an entry before the first free entry and for the cases where merging with the immediate successor and for the case with mer

[PATCH] Fix PR80721

2017-05-12 Thread Richard Biener
It was pointed out by Markus that the EH emergency pool is not kept sorted and fully merged properly for the cases of freeing an entry before the first free entry and for the cases where merging with the immediate successor and for the case with merging with both successor and predecessor is possi