https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86831
--- Comment #8 from janus at gcc dot gnu.org --- (In reply to H.J. Lu from comment #7) > Which kernel are you using? 4.15.0-29-generic (as shipped with Ubuntu 18.04).
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86831
--- Comment #8 from janus at gcc dot gnu.org --- (In reply to H.J. Lu from comment #7) > Which kernel are you using? 4.15.0-29-generic (as shipped with Ubuntu 18.04).