https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87394
Dominique d'Humieres <dominiq at lps dot ens.fr> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |WAITING Last reconfirmed| |2018-09-23 Ever confirmed|0 |1 --- Comment #1 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- > 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.