http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57071
--- Comment #4 from Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch> 2013-04-26 07:12:04 UTC --- (In reply to comment #3) > As James Van Buskirk pointed out, the algorithm will fail if k < 0. note that in the case of k being a loop index, there will be pretty good range infomation (e.g. k>=0)