------- Comment #7 from pault at gcc dot gnu dot org 2007-06-19 16:32 ------- Sorry for my screw-up on the PR number - it was 20882 that was fixed. Paul -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20082