[Bug tree-optimization/53265] Warn when undefined behavior implies smaller iteration count

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53265



--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2013-01-31 
12:13:24 UTC ---

Another testcase, this time from PR56161 :



void bar (void *);



void

fn6 (void)

{

  double a[4][3], b[12];

  int i;

  bar (b);

  for (i = 0; i < 12; i++)

    a[0][i] = b[i] / 10000.0;

  bar (a);

}