[Bug middle-end/41403] miscompilation of goto/label using code

[jv244 at cam dot ac dot uk]

------- Comment #6 from jv244 at cam dot ac dot uk  2009-09-19 18:54 -------
and smaller C testcase:
main()
{
  void * i1;
  int icon01;
  int ivfail;
  int D1545;
  ivfail = 0;
  i1 = &&label_001263;
  if (i1 == &&label_001262) goto label_001262;
  if (i1 == &&label_001263) goto label_001263;
  label_001262:
  icon01 = 1262;
  goto label_001265;
  label_001263:
  icon01 = 1263;
  label_001265:
    D1545 = icon01 + -1263;
    if (D1545 != 0) goto label_021260; else goto label_011260;
  label_011260:;
  goto label_001271;
  label_021260:
  ivfail = ivfail + 1;
  label_001271:
  printf("%d\n",ivfail);
}


-- 


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