------- Additional Comments From geoffk at gcc dot gnu dot org 2004-06-25 22:02 ------- That patch certainly isn't a good idea, marking things once-only changes the semantics. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13675