http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55439
--- Comment #1 from Dmitry Vyukov <dvyukov at google dot com> 2012-11-22 07:54:47 UTC --- In the other compiler function-scope statics are lowered to inline code that includes acquire-load atomic operation. So the interception is critical to not produce false positives. I don't know how function-scope statics are handled in gcc, but I suspect that it must be similar.