------- Additional Comments From bangerth at dealii dot org 2003-12-05 02:33 ------- Oh, never mind: I was testing on x86-linux, but I now see that this is a target-bug. Sorry... W. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=11303