------- Comment #1 from tromey at gcc dot gnu dot org 2007-11-27 20:53 ------- I think your proposed fix sounds ok.
I don't have a copy of the C++ standard handy. Does this bug apply to both C and C++, or only C? -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32868
