https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87394
--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> --- (In reply to Dominique d'Humieres from comment #1) > > Problematic code snippet: ... > > This looks like a false positive: the code snippet is accessed in an IF block > > if (case1 || case2) > > hence case1 and case2 cannot be both false. > > IMO the "if (case2)" can be removed. Great, that's more readable. May I include the change in changes I'm planning to test and submit to mailing list?