This bug is now older than one month without any activity from gcc maintainers. Up to now this bug has been observed on debian only. It has been observed in multiple gcc versions. This bug is blocking Linux kernel patches to go in! Juergen