double foo(double b)
{
    return b / (b == 0) == 0;
}

Looks like this fails too.

Reply via email to