On 01/07/16 20:13, Kim Barrett wrote: > -fno-lifetime-dse is a relatively recent option, and needs to be > conditionalized. I think that we don't need -fno-lifetime-dse any more because the bug which needed it was fixed by 8034812. Andrew.