On Thu, Sep 28, 2017 at 10:49:41AM +0200, Ingo Molnar wrote:
> > Sure, but its still an officially supported GCC version. So either it
> > must be made to work, or we must update the minimal GCC version
> > requirements for the kernel.
> 
> Of course! I just mean I'd not be surprised if this was a GCC bug/quirk
> with legacy GCC versions that probably won't be fixed.

Ah, I recently had a case where this old GCC-4.4 crashed on 'obviously'
broken code while newer GCC's somehow made it 'work'.