summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Checkers/GCDAntipatternChecker.cpp
diff options
context:
space:
mode:
authorGeorge Karpenkov <ekarpenkov@apple.com>2018-03-13 17:27:01 +0000
committerGeorge Karpenkov <ekarpenkov@apple.com>2018-03-13 17:27:01 +0000
commit460675eba4ba56742139365caefbfde04071fe18 (patch)
tree4fe202ed9c95b245e97d99a1c350e5ca3670ba2b /clang/lib/StaticAnalyzer/Checkers/GCDAntipatternChecker.cpp
parentb52297508ef8c6801c194b90407479e093a00ed5 (diff)
downloadbcm5719-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.cpp4
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);
OpenPOWER on IntegriCloud