------- Additional Comments From falk at debian dot org 2004-05-18 21:13 ------- Can't reproduce on alphaev68-linux 3.5.0 20040513. Probably platform specific. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15526