http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54419
--- Comment #17 from Marc Glisse <glisse at gcc dot gnu.org> 2012-09-03 09:43:13 UTC --- (In reply to comment #16) > So, I think this is something that should be tested for in libstdc++-v3 > configure and enabled in the headers only if _GLIBCXX_HAVE_* macro is defined. One issue here is that this affects the list of symbols exported from the library. Maybe moving __x86_rdrand back to an inline function in the headers would make using _GLIBCXX_HAVE_* more acceptable?