>>>>> "Eric" == Eric Botcazou <ebotca...@adacore.com> writes:
>> Sorry, I think it requires a review. >> I'll send it to gcc-patches. Eric> IMO it clearly falls into the obvious category. I wasn't so sure; but in any case Jakub quickly approved it and I have checked it in. Tom