C++ static analysis

[Timon Gehr]

Timon Gehr wrote:
>> - Bug #4 is probably easy to find, but in D is less common, because you > usually
> use foreach, or for with local index variable (that D doesn't allow you to
> redefine). Once in > a while that kind of code is correct, maybe.
>
> This is already disallowed (deprecated).

Oh, it is not. I thought it was because I always use loop local counter variables.
But again, where to make the cut? More complex nested loops may legitimately want
to access the same variable.