https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89329
--- Comment #2 from Jungmin Song ---
My understanding is that the compiler with O2 assumes that 'i' should be under
ARR_MAX becuase there was undifend behavior, if it was not.
Would you please point me to where is is in C standard? Becuase I'm no
mponent: c
Assignee: unassigned at gcc dot gnu.org
Reporter: jungmin.song at nuance dot com
Target Milestone: ---
Created attachment 45688
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=45688&action=edit
Sample code generating this issue
With O2 optimization, an
