Hi Adrian, Could you please give the complete output of "gcc --version"?
Given that [1] references an URL that contains the string 'gcc7-20170126' whereas gcc 7 was released on 2017-05-02 [2], it could be that the report is about a gcc prerelease that came 3 months before the gcc 7 release. Bruno [1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=853649 [2] https://gcc.gnu.org/
