------- Comment #4 from bonzini at gnu dot org 2007-02-02 16:35 ------- Thanks. Should we close the bug? Is there anything to update in the documentation? -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27843