If this is user-visible in a release, there should be a bug filed in Bugzilla (if there isn't one already open), and a testcase added to the testsuite. -- Joseph S. Myers joseph@codesourcery.com