https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81318
--- Comment #13 from David Binderman <dcb314 at hotmail dot com> --- This bug stops the linux kernel compiling and it seems that 7.2 is about to be shipped. Any chance of a fix going into 7.2, or is it best to wait for 7.2.1 ?
