http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55682
--- Comment #5 from Nico <nico.schloemer at gmail dot com> 2012-12-14 10:47:05 UTC --- Bottom line: problem solved. I just compile my code with -std=c++11 and get std::erf immediately. Thanks for the clarification!