Mike McCormack wrote:
Can you file a bug report at http://gcc.gnu.org/bugzilla/
You're welcome to file a bug report if you like, but I don't consider this worth of one myself.
Oh. A gcc bug report. I really should read my mail more carefully :)
I was considering that, bug I didn't have time to research the problem further to see if it was really a bug or something else was going on...
Mike