http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55710
--- Comment #7 from Daniel Krügler <daniel.kruegler at googlemail dot com> 2012-12-17 13:54:20 UTC --- (In reply to comment #3) I have now much confidence that our production code (based on GCC 4.7.2) fails due to bug 55015. Fortunately there is a known workaround for that one. To make resolving this issue here easier, I will split-off the GCC 4.6.x-only part as a separate issue.