https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88896
--- Comment #4 from Jakub Jelinek ---
The compiler optimizes the program with the assumption that undefined behavior
doesn't happen. So, e.g. it can remove loop condition if it proves that
undefined behavior happens before the last iteration
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88896
--- Comment #3 from Daniel Starke ---
Never mind my question.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88896
--- Comment #2 from Daniel Starke ---
You are right. So you are saying that the compiler actually checks all cases of
the loop?
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88896
Jakub Jelinek changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
CC|