Le 03/11/2016 à 14:16, Andre Vehreschild a écrit :
@Dominique: Would you give it a go on your open patch collection? Maybe it fixes one PR, but I am not very hopeful, because the patch is merely removing complexity instead of doing new things.
Hello, Since you asked: I think the patch fixes pr60500.The spurious warning was gone before, it seems, but it is your patch that fixed the wrong code causing it.
Mikael