Another switch testcase failure with enable-checking

[Graham Stott]

All,

I've stumbled on another interesting switch testcase which triggers an enable-checking abort
on all the ports I've tried so far x86, mips, sh, s390.

For this testcase I get at -O2 with enable-checking enabled

bug2.c: In function `foo':
bug2.c:28: warning: verify_flow_info: Wrong probability of edge 1->19 10008
bug2.c:28: internal compiler error: verify_flow_info failed

Jan any ideas what's wrong with the edge probability calcs
------------------------------------------------------------
int i;

int foo()
{
   switch (i)
     {
     case 0: return 4;
     case 1: return 4;
     case 2: return 4;
     case 3: return 4;
     case 4: return 4;
     case 5: return 4;
     case 6: return 4;
     case 7: return 4;
     case 8: return 4;
     case 9: return 4;
     case 10: return 4;
     case 11: return 4;
     case 12: return 4;
     case 13: return 4;
     case 14: return 4;
     case 15: return 4;
     case 16: return 4;
     case 17: return 4;

     default: return 7;
    }
}
-----------------------------------------------------------------
Cheers
Graham