>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
