https://gcc.gnu.org/bugzilla/show_bug.cgi?id=42145
--- Comment #13 from Manuel López-Ibáñez <manu at gcc dot gnu.org> --- (In reply to Richard Biener from comment #12) > This is already fold-const.c transforming TRUTH_ANDIF into TRUTH_AND. I cannot find the discussion now, but I think it was discussed in one of the many duplicates that this is not wrong-code, but still it fools the Wuninitialized code and it is a bug despite gcc generating correct code.