On Mon, Sep 21, 2015 at 07:06:01PM +0200, Marek Polacek wrote: > I realized that current patch has a minor deficiency: it will start > a chain even in case the first condition has a side-effect thus the > chain should be invalid. I'll fix this problem soon.
I changed my mind, the above mean we'll warn for
int
fn3 (void)
{
if (bar ())
return 1;
else if (a)
return 2;
else if (a);
return 3;
return 0;
}
But I think that's ok to warn on.
So the v2 patch I posted is still the latest one.
Marek
