https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56654
--- Comment #2 from Manuel López-Ibáñez <manu at gcc dot gnu.org> --- (In reply to Manuel López-Ibáñez from comment #1) > But while this is not simple a "is used" because of "if (b < 40)"? That > seems to be the major bug here. Wow, I should not type in a hurry. What I meant to say is: Given "if (b < 40)", why is this not warned as "is used uninit"?