------- Comment #6 from domob at gcc dot gnu dot org 2008-12-10 08:44 ------- I did post it to the mailing list some time ago and there was a little discussion, IIRC, but no definite "review" or OK for it. But I can re-post it (or we welcome your opinions), of course.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37605
