http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55309
--- Comment #54 from Jakub Jelinek <jakub at gcc dot gnu.org> 2013-02-22 15:13:34 UTC --- gcc instruments many of the builtins inline, on the assumption that the builtins are often expanded inline and thus the interceptor might not be called at all. Either it isn't, or is and the gcc instrumentation is done in addition to the interceptor's instrumentation.