https://github.com/delesley commented:
This looks good to me now, but you'll need the current maintainers to sign off
on it. :-)
https://github.com/llvm/llvm-project/pull/142955
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.ll
@@ -7546,6 +7546,15 @@ void testRecursiveAssign() {
f->mu.Unlock();
}
+// A strange pattern that no sane person should write...
+void testStrangePattern(Mutex *&out, int &x) {
delesley wrote:
In keeping with my previous comment, I would want to see a test c
> - The `assert_capability` attribute is also a bit of a backdoor. Instead
> of statically propagating through the code that a mutex is held, we can
> just get that fact "out of thin air".
>
Assert_capability is not a back door. It is supposed to be used only on a
function which does a run-time c
Author: delesley
Date: Tue Sep 29 11:24:18 2015
New Revision: 248805
URL: http://llvm.org/viewvc/llvm-project?rev=248805&view=rev
Log:
Thread Safety Analysis: allow capability attribute on unions.
Modified:
cfe/trunk/include/clang/Basic/Attr.td
cfe/trunk/lib/Sema/SemaDeclAttr.cpp
cfe/
Author: delesley
Date: Tue Sep 29 10:25:51 2015
New Revision: 248803
URL: http://llvm.org/viewvc/llvm-project?rev=248803&view=rev
Log:
Thread Safety Analysis: fix before/after checks so that they work on global
variables as well member variables.
Modified:
cfe/trunk/include/clang/Analysis/An
Author: delesley
Date: Thu Sep 3 16:14:22 2015
New Revision: 246806
URL: http://llvm.org/viewvc/llvm-project?rev=246806&view=rev
Log:
Thread safety analysis: the NO_THREAD_SAFETY_ANALYSIS attribute will now
disable checking of arguments to the function, which is done by
-Wthread-safety-reference.
delesley added a comment.
Looks good for the thread safety stuff.
http://reviews.llvm.org/D12144
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
