libstdc++ and race detectors

[Paolo Carlini]

Hi,
> Thank you!
> Would you suggest next step(s), if any?
> It would be nice to have a test for these annotations, but a proper
> test would require at least one race detector to be installed in the
> test system. Any suggestion?
>   
Uhhm, you are right, and indeed that seems tricky to achieve... Let's
give it some thought...
> I just submitted http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45276 for
> the documentation (Bart, Frank, you are not in CC of this bug because
> you are not registered in gcc bugzilla).
>   
I noticed it, really informative, thanks! Well, it would be nice if you
could massage all that information to an actual patch. At your ease, of
course...

Thanks again,
Paolo.

PS: I restored the semicolons at the end of the macros, which I removed
in the initial commit: seem indeed convenient wrt the actual examples in
42576.