PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org. http://gcc.gnu.org/bugzilla/show_bug.cgi?id=11126 ------- Additional Comments From dhazeghi@yahoo.com 2003-06-09 08:15 ------- Gaby, should this be closed, or marked as a documentation enhancement request?