[Bug c/14700] New: [3.3 / 3.4 regression ] ICE in verify_wide_reg

["debian-gcc at lists dot debian dot org" <gcc-bugzilla at gcc dot gnu dot org>]

[forwarded from http://bugs.debian.org/239569]

3.2.3 works ok. current 3.3 and 3.4 CVS fail.

he attached code causes the following behaviour: 
hawkinsp@vice:~/tmp$ gcc -O test6.c -o test6 
test6.c: In function `float_module21': 
test6.c:21: internal compiler error: in verify_wide_reg, at flow.c:549 
Please submit a full bug report, 
with preprocessed source if appropriate. 
See <URL:http://gcc.gnu.org/bugs.html> for instructions. 
test6.c is actually a stripped down and cleaned up version of the 
preprocessed source code from library/float.c in the Mercury Release 
of the Day available from: 
http://www.cs.mu.oz.au/research/mercury/download/files/beta-releases/rotd/mercury-compiler-rotd\
_2004_03_19_unstable-1.src.rpm 
(run it through rpm2cpio and extract the resulting cpio archive to get a 
tarball). 
 
The testcase is the output of the Mercury compiler itself, hence the slightly 
strange code. 


int MR_is_inf(double); 
 
register unsigned int MR_mr1 __asm__ ("edi"); 
register unsigned int MR_mr2 __asm__ ("ebx"); 
 
static void 
float_module21 (void) 
{ 
    (MR_mr2) = 0; 
        (MR_mr2) = MR_is_inf (0.0);  
     if (!(MR_mr2))  
         { 
            goto mercury__float__is_nan_or_inf_1_0_i7; 
         } 
 
      __asm__ __volatile__ ("/* " "mercury__float__is_nan_or_inf_1_0_i7" "*/\n");  
 
mercury__float__is_nan_or_inf_1_0_i7: 
        goto *(((void *) ((MR_mr1)))); 
   
}

-- 
           Summary: [3.3 / 3.4 regression ] ICE in verify_wide_reg
           Product: gcc
           Version: 3.3.4
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: debian-gcc at lists dot debian dot org
                CC: gcc-bugs at gcc dot gnu dot org


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