On Fri, 11 Aug 2017 17:29:23 -0400, Jeremie Courreges-Anglas wrote: > So with this diff memtest86+ doesn't work any more on naddy's x230 > (it did with /usr/bin/gcc). Using gcc from ports doesn't help.
Have you tried building it without optimization? - todd
