diff options
author | George Karpenkov <ekarpenkov@apple.com> | 2018-03-13 17:27:01 +0000 |
---|---|---|
committer | George Karpenkov <ekarpenkov@apple.com> | 2018-03-13 17:27:01 +0000 |
commit | 460675eba4ba56742139365caefbfde04071fe18 (patch) | |
tree | 4fe202ed9c95b245e97d99a1c350e5ca3670ba2b /clang/lib/StaticAnalyzer/Checkers/GCDAntipatternChecker.cpp | |
parent | b52297508ef8c6801c194b90407479e093a00ed5 (diff) | |
download | bcm5719-llvm-460675eba4ba56742139365caefbfde04071fe18.tar.gz bcm5719-llvm-460675eba4ba56742139365caefbfde04071fe18.zip |
[analyzer] Fix the matcher for GCDAntipattern to look for "signal" call in all parameters
rdar://38405904
llvm-svn: 327426
Diffstat (limited to 'clang/lib/StaticAnalyzer/Checkers/GCDAntipatternChecker.cpp')
-rw-r--r-- | clang/lib/StaticAnalyzer/Checkers/GCDAntipatternChecker.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/clang/lib/StaticAnalyzer/Checkers/GCDAntipatternChecker.cpp b/clang/lib/StaticAnalyzer/Checkers/GCDAntipatternChecker.cpp index 51a3fc19386..bb1bd85ce0b 100644 --- a/clang/lib/StaticAnalyzer/Checkers/GCDAntipatternChecker.cpp +++ b/clang/lib/StaticAnalyzer/Checkers/GCDAntipatternChecker.cpp @@ -121,11 +121,11 @@ void GCDAntipatternChecker::checkASTCodeBody(const Decl *D, hasCanonicalType(blockPointerType()) )); - auto ArgCallsSignalM = hasArgument(0, hasDescendant(callExpr( + auto ArgCallsSignalM = hasAnyArgument(stmt(hasDescendant(callExpr( allOf( callsName("dispatch_semaphore_signal"), equalsBoundArgDecl(0, SemaphoreBinding) - )))); + ))))); auto HasBlockAndCallsSignalM = allOf(HasBlockArgumentM, ArgCallsSignalM); |