The file Ltl.C from the lbt program compiles with -O2 but compilation with -O3 throws an internal compiler error:
% g++ -O2 -c Ltl.C -o Ltl.o 95.020u 7.080s 3:26.58 49.4% 0+0k 0+0io 1208pf+0w % g++ -O3 -c Ltl.C -o Ltl.o Ltl.C: In member function 'virtual void LtlIff::expand(LtlGraphNode&, std::stack<LtlGraphNode*, std::deque<LtlGraphNode*, std::allocator<LtlGraphNode*> > >&) const': Ltl.C:154: internal compiler error: Segmentation fault Please submit a full bug report, with preprocessed source if appropriate. See <URL:http://gcc.gnu.org/bugs.html> for instructions. For Debian GNU/Linux specific bug reporting instructions, see <URL:file:///usr/share/doc/gcc-4.0/README.Bugs>. 84.700u 6.380s 3:19.37 45.6% 0+0k 0+0io 940pf+0w % gcc -v Using built-in specs. Target: m68k-linux-gnu Configured with: ../src/configure -v --enable-languages=c,c++,java,objc,treelang --prefix=/usr --enable-shared --with-system-zlib --libexecdir=/usr/lib --enable-nls --without-included-gettext --enable-threads=posix --program-suffix=-4.0 --enable-__cxa_atexit --enable-libstdcxx-allocator=mt --enable-clocale=gnu --enable-libstdcxx-debug --enable-java-gc=boehm --enable-java-awt=gtk --with-java-home=/usr/lib/jvm/java-1.4.2-gcj-4.0-1.4.2.0/jre --disable-werror --enable-checking=release m68k-linux-gnu Thread model: posix gcc version 4.0.1 (Debian 4.0.1-1) -- Summary: ICE on m68k with -O3 but works with -O2 Product: gcc Version: 4.0.1 Status: UNCONFIRMED Severity: normal Priority: P2 Component: c++ AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: treinen at debian dot org CC: gcc-bugs at gcc dot gnu dot org GCC build triplet: m68k-linux-gnu GCC host triplet: m68k-linux-gnu GCC target triplet: m68k-linux-gnu http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23160
