On 10-07-14 12:03 , Richard Guenther wrote: > I hope that makes things clear. Ah, indeed. Much better this way, thanks for the explanation. The patch is OK, of course. Diego.