------- Additional Comments From bangerth at dealii dot org 2003-11-10 14:56 ------- There's also a longer section in the non-bugs part of the manual that explains what exactly is going on here. W. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12970