------- Comment #7 from pinskia at gcc dot gnu dot org 2009-01-16 18:53 ------- Here is a testcase where IV can be found but we end up with two copies of the same register in the loop: int f(unsigned long s, unsigned long *c) { long j; for(j = 0;j < s; j++) { c[j]=j; } }
Which is basically the same issue. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38856