contract C {
    function f() pure public {
        for (uint x = 0; x < 10; true)
            x++;
    }
}
// ----
// Warning: (77-81): Statement has no effect.