Have you filled a bug report at GCC Bugzilla Main Page? Things won't get fixed if people don't complain about them in the proper channels.
Have you filled a bug report at GCC Bugzilla Main Page? Things won't get fixed if people don't complain about them in the proper channels.