PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org. http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12665 ------- Additional Comments From bagnara at cs dot unipr dot it 2003-10-17 22:16 ------- It is a temporary workaround I can live with. Thanks!