On 27/06/2017 13:32, Andrew Jones wrote: >>> The problem is that -Wextra often produces unfounded or even wrong >>> warnings, like in this case. I'd prefer to add the individual parameters >>> that rather always make sense instead, like -Wtype-limits for example. >> I agree, removing -Wextra and adding individual parameters seems to be a >> good solution. > Fine by me. I'll happily review whatever somebody posts :-) And I'll happily apply a patch that just removes -Wextra in the meanwhile. :) Paolo