http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52765
--- Comment #11 from christophe.lyon at st dot com 2012-06-25 14:38:00 UTC --- I have proposed a patch related to this problem some time ago, which received no feedback: http://gcc.gnu.org/ml/gcc-patches/2012-03/msg01855.html