[Bug tree-optimization/56654] uninit warning behaves erratically

[manu at gcc dot gnu.org]

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"?