On Wed, Dec 02, 2015 at 05:09:24PM +0100, Mark Wielaard wrote: > Although it isn't supposed to happen there could be FDEs that cover the > same address range. Don't leak such FDEs and use an existing FDE for > consistency. Pushed to master.