No. Note that for i from 0 to 10 "i div 2" will only equal 0 when i = 0 and when i = 1, otherwise, 2 will go into i at least once.
That's true indeed! I thought to mod operator and wrote div :( and once replaced, it does work as expected. Now it's getting late and I'll stop bug off everybody. However, I invite you to look at how gdb is handling this piece of code. My other tests proved GPC to work okay with this code (provided the statement to be the good one!), but I don't think gdb does manage the stuff correctly. Peter was right, my code is likely to be bugged.
Thanks.