Why static analysis is the way to go

[matheus]

On Friday, 29 May 2026 at 18:25:20 UTC, Walter Bright wrote:
> On 5/28/2026 5:25 PM, H. S. Teoh wrote:
>> They're essentially thinly veiled disguises of pointer
>> bumping, no different from having to write a thousand 
>> for-loops and
>> manually bumping the loop counter (and suffering from tons of 
>> off-by-1
>> errors).
>
> Reminds me of this C loop:

I remember a long long long time ago while I was writing my game 
engine code, I wrote something like this:

     for(i=0;i<siz;++i);{

I was reading this code on high resolution monitor + small fonts, 
I really thought there was a bug in the compiler, how come my 
loop wasn't looping? - I lost about a hour or more until I 
finally saw ";"... and then I slapped my forehead in dismay. xD

Years later I was at university and saw this again and again 
coming from  other students in a C course we had, but in this 
case it was some sort of delight seeing them angry. =]

Matheus.