http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57847
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> --- I have used GCC 4.7.0 with Linux 3.10 with the SLUB allocator and it works just fine. Can you provide the exact options you configured GCC with?