<div dir="ltr"><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:rgb(0,0,0)">Hi all,<br><br>I know already about the Tread Safety Analysis annotations (see <a href="http://clang.llvm.org/docs/ThreadSafetyAnalysis.html">http://clang.llvm.org/docs/ThreadSafetyAnalysis.html</a>).<br>I love the idea and would like to use it one day in real production code.</div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:rgb(0,0,0)"><br></div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:rgb(0,0,0)">However, right now, it seems you should always use macros for indicating this code. These macros however refer to the gcc/clang specific __attribute__() syntax.<br>Though, I've just seen the presentation from chandler of code::dive, where he uses <i>int [[ts::guarded_by(mutex)]] i1;</i> </div><div><br></div><div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:rgb(0,0,0)">Is there any documentation on these c++14 attributes and how they should be used?<br>It would be nice if we could already use them as a kind of documentation in a way we could activate this tool afterward.</div><br></div><div><div class="gmail_signature"><div dir="ltr"><div><font face="verdana, sans-serif">JVApen<font size="1"><br></font></font></div></div></div></div>
</div>