[Bug middle-end/32321] New: ICE in df_refs_verify

["tsarkov at cs dot man dot ac dot uk" <gcc-bugzilla at gcc dot gnu dot org>]

>gcc-4.3 -v
Using built-in specs.
Target: i686-pc-linux-gnu
Configured with: ../gcc/configure --enable-checking --prefix=/opt/gcc
--enable-shared --enable-threads --program-suffix=-4.3 --enable-__cxa_atexit
--disable-nls --with-mpfr=/usr/local
--enable-languages=c,c++,objc,obj-c++,treelang,fortran
Thread model: posix
gcc version 4.3.0 20070612 (experimental)

>gcc-4.3 -c -O2 -fgcse-sm bdd_kernel.c
bdd_kernel.c: In function 'bdd_noderesize':
bdd_kernel.c:27: internal compiler error: in df_refs_verify, at df-scan.c:4092
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.


-- 
           Summary: ICE in df_refs_verify
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: tsarkov at cs dot man dot ac dot uk
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


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