On 10/03/2016 15:03, Panu Matilainen wrote: > On 03/10/2016 04:45 PM, Remy Horton wrote: [...] >> In two minds about this. It is a logical impossibility, but these days >> optimising compilers are getting very aggressive. For instance GCC has a >> delightfully-named -fdelete-null-pointer-checks option, which caused >> security holes.. > > Indeed, that's why silencing a false positive (assuming it actually is > one) by throwing some more NULL-checks for the allegedly impossible > makes me a bit nervous. Besides compiler optimizations going crazy, I've > seen such extra NULL-checks turn into actual bugs when surroundings > subtly change.
It cuts both ways. To anyone who is not an active compiler engineer, fixing a warning being /more/ likley to screw things up is quite a big thing. Do we want to turn off warnings or turn off optimisations.. :) ..Remy
