------- Comment #11 from dodji at gcc dot gnu dot org 2008-08-01 17:54 ------- Doug, thanks for your comments.
I have submitted the patch to the list http://gcc.gnu.org/ml/gcc-patches/2008-08/msg00082.html. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36408
