http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50194
--- Comment #3 from Carrot <carrot at google dot com> 2011-08-30 01:16:34 UTC --- Yes, it's a problem of the linker in my testing environment. I've tried to manually link it with a different linker, it can run successfully. And the correct stub is generated 2472 0000a9c8 <____gcov_init_from_thumb>: 2473 a9c8: 4778 bx pc 2474 a9ca: 46c0 nop ; (mov r8, r8) 2475 a9cc: eaffff45 b a6e8 <__gcov_init>