http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53890 --- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> 2012-07-07 21:27:27 UTC --- What happens here is that we do a jump threading for the case where words == 0 which produces an out of bounds array reference.