https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79200
--- Comment #2 from tommapson at gmx dot de --- Thanks, so the problem seems to depend on the linux kernel. Linux wendy3 3.16.0-4-amd64 #1 SMP Debian 3.16.36-1+deb8u1 (2016-09-03) x86_64 GNU/Linux doesn't have the problem, while Linux heppo1 4.6.7-rt14 #3 SMP PREEMPT RT Fri Oct 28 09:45:23 CEST 2016 x86_64 GNU/Linux has it. I'll attach the kernel config.
