------- Additional Comments From bangerth at dealii dot org 2004-10-13 13:29 ------- I still can't reproduce with a snapshot from an hour ago. This is my command line: /home/bangerth/bin/gcc-4.0-pre/bin/c++ -mtune=k8 -c x.cc -O2 W.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17965
