https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64439
Manuel López-Ibáñez <manu at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |manu at gcc dot gnu.org --- Comment #1 from Manuel López-Ibáñez <manu at gcc dot gnu.org> --- It doesn't seem a false negative to me. It is a bit strange that we get different locations for equivalent expressions: s.c:2:17: warning: value computed is not used [-Wunused-value] a && ((b = 0) != 0); ^ s.c:3:18: warning: value computed is not used [-Wunused-value] ((b = 0) != 0) && a; ^ But I'm not sure if it is a bug. Someone would need to look at gcc while compiling the testcase under a debugger to understand why the difference exists at all.