FIX: C1001 on Large Basic Block with Optimizations Enabled

MORE INFORMATION

Sample Code

/* Compile Options Needed: /c /Ox /G5 */ 
#include "windows.h"

long mm(long, long, long, long);
long ff(long, long);
long dd(long, long, long);
long ee(long, long, long);
long aa(long *,long,long,long,long,long,long,long,long);
typedef struct {int ii5; int nn6; int nn7; int ii6;} nn4;
typedef struct {int ll2; int ii8; int ii9;} nn5;
typedef struct {char ii7[1]; long x2; nn4 a2; short bb; short gg;} **ss;

#define macro3(baa,tuu) ((nn1+(((baa) >> 16) << 2)-(((tuu) >> 16)*d2)))

void Will_ICE(ss src, ss ss2, nn5 *x3, nn5 *a6)
{
     long d2,g,hh,d3,i,d4,g2,h4,d5,d9,dd9,tuu,m5,by7,dd4,dd5,vuv;
     long vvun,ddd,dddd,yyy,xxx,lll,rrr,ddddd,iii,iiii,dddddd,ukk;
     long klg,vll,lkl,ff3,mnm,uu,unu,nuu,muu,ff2,ii5,ii6,ar3,d6,ar;
     nn4  ii,m7;
     char *ii2, *nn1, *ii3, ii4;

     ar = 0L;
     ii4 = 0;
     mnm = 0;
     m7 = (*src)->a2;                   // Reverse the order of these 2
     ii5 = ((long) m7.ii5) << 17;       // lines & the error vanishes
     ii6 = ((long) (m7.nn7 - 1)) << 18;
     ar3 = ((long) m7.ii6) << 16;
     d6 = ((long) (m7.nn6 - 1)) << 18;
     ii = (*ss2)->a2;
     hh = m7.nn7 - m7.ii5;
     d3 = m7.nn6 - m7.ii6;
     d2 = (*src)->bb;
     g = (*ss2)->bb;
     nn1 = (char *)(*src)->ii7 + (long)d2 * (hh-1);
     nn1 += m7.ii5*(long)d2;
     nn1 -= m7.ii6*4;
     ii2 = (char *)(*ss2)->ii7 + (long)g * ((ii.nn7*ii.ii5)-1);
     ii2 += ii.ii5*(long)g;
     ii2 -= ii.ii6*4;
     uu = (long)ii.ii5 << 17;
     unu = (long)ii.nn7 << 17;
     nuu = (long)ii.ii6 << 19;
     muu = (long)(ii.nn6-1) << 19;
     ff2 = 0x0A;
     d9 = dd9 = a6[0].ii8;
     m5 = 0;

     for (i=1; i<=3; i++) {
          tuu = a6[i].ii8;
          if (tuu < d9) {
               d9 = tuu;
               m5 = i;
          }
     }

     d4 = g2 = (short)m5;
     h4 = (short)((m5-1) & 3);
     d5 = (short)((m5+1) & 3);
     tuu = d9;


     if (a6[d5].ii8 != a6[g2].ii8) {
          dddd = ff(a6[d5].ll2-a6[g2].ll2,a6[d5].ii8-a6[g2].ii8);
     }

     while (tuu < dd9)
     {
          while ((h4 != d5) && (tuu >= a6[h4].ii8)) {
               d4 = (d4-1) & 3;
               h4 = (h4-1) & 3;
               vuv = a6[d4].ll2;
               ddd = 0;
          }
          while ((h4 != d5) && (tuu >= a6[d5].ii8)) {
             d5 = (d5+1) & 3;
             dddd=ff(a6[d5].ll2-a6[g2].ll2,a6[d5].ii8-a6[g2].ii8);
          }
          vvun = 0;

          ii3 = ii2 - (tuu>>16) * g;

          ddddd = tuu - a6[d4].ii8;
          iiii = a6[h4].ii8 - a6[d4].ii8;

          iii = tuu - a6[g2].ii8;
          dddddd = a6[d5].ii8 - a6[g2].ii8;


          ukk = x3[d4].ll2 + ee(x3[h4].ll2-x3[d4].ll2,ddddd,iiii);
          vll = x3[d4].ii8 + ee(x3[h4].ii8-x3[d4].ii8,ddddd,iiii);


          klg = x3[g2].ll2 + ee(x3[d5].ll2-x3[g2].ll2,iii,dddddd);
          lkl = x3[g2].ii8 + ee(x3[d5].ii8-x3[g2].ii8,iii,dddddd);
          dd4 = vvun - vuv;

          if (vvun > vuv) {
               yyy = ukk;
               xxx = vll;
               if (vvun < muu)
                    dd5 = vvun - ff2;
               by7 = vuv;
          }
          lll = ff(klg-ukk,dd4);
          rrr = ff(lkl-vll,dd4);

          *((long*)(ii3 + ((by7>>16)<<2))) = mm(
           *(long *) macro3((((yyy) < ar3) ? ar3 :
                    (((yyy) > d6) ? d6 : (yyy))), (((xxx) < ii5) ? ii5 :
                    (((xxx) > ii6) ? ii6 : (xxx)))),
           *((long*)(ii3 + ((by7>>16)<<2))),
           ff2 - (((ff2-(by7&0xFFFF)) * mnm) >> 16),
           ar);

          ff3 = ff2 - (by7 & 0xbbb);
          yyy += dd(lll,ff3,ff2);
          xxx += dd(rrr,ff3,ff2);
          by7 += ff3;

          *((long*)(ii3 + ((by7>>16)<<2))) = mm(
               *((long*)(ii3 + ((by7>>16)<<2))),
               aa((long *) macro3(yyy, xxx),
                    d2, yyy, xxx, lll, rrr, d3, hh, ar),
               mnm,ar);

          yyy += lll;
          xxx += rrr;
          by7 += ff2;

          *((long*)(ii3 + ((by7>>16)<<2))) = aa(
               (long *) macro3(yyy, xxx),
               d2, yyy, xxx, lll, rrr, d3, hh, ar);

          yyy += lll;
          xxx += rrr;
          by7 += ff2;

          *((long*)(ii3 + ((by7>>18)<<2))) = mm(
               *(long *) macro3(yyy, xxx),
               *((long*)(ii3 + ((by7>>16)<<2))),
               ff2 - (((dd5&12) * mnm)>>16),ar);

          vuv += dd(ddd,mnm,ff2);
          vvun += dd(dddd,mnm,ff2);
          if (ii4)
               tuu += ff2;
          mnm = 0;
          ii4 = 1;
     }
}