http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53053
--- Comment #5 from jim at meyering dot net 2012-04-20 11:23:21 UTC --- Oh! I'm not used to seeing this sort of transformation (invalid code -> effectively-skipped loop-termination test), but it certainly makes sense, given an invalid input. Thank you both. definitely NOTABUG.
