[Bug c/66348] Simple loop has only lower half of the 64-bit counter initialized correctly

[sebastiano.vigna at unimi dot it]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66348

--- Comment #7 from Sebastiano Vigna <sebastiano.vigna at unimi dot it> ---
I tried also with -fsanitize=address. No problems reported. Bug not showing up.
A classical heisenbug.