hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-05 05:35:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Improvement in Synchronization.qll.

Browse Source
This commit is contained in:
Geoffrey White
2020-06-30 12:14:56 +01:00
parent 3a3cc9a60a
commit de25bc6c78
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
cpp/ql/src/semmle/code/cpp/commons/Synchronization.qll
View File

@@ -169,7 +169,10 @@ class DefaultMutexType extends MutexType {
}
}
/** Holds if `arg` is the mutex argument of a call to lock or unlock. */
/**
* Holds if `arg` is the mutex argument of a call to lock or unlock and
* `argType` is the type of the mutex.
*/
private predicate lockArg(Expr arg, MutexType argType, FunctionCall call) {
argType = arg.getUnderlyingType().stripType() and
(