mirror of
https://github.com/github/codeql.git
synced 2025-12-17 09:13:20 +01:00
4ef5c9af62
Some files that will change in #1736 have been spared. ./build -j4 target/jars/qlformat find ql/cpp/ql -name "*.ql" -print0 | xargs -0 target/jars/qlformat --input find ql/cpp/ql -name "*.qll" -print0 | xargs -0 target/jars/qlformat --input (cd ql && git checkout 'cpp/ql/src/semmle/code/cpp/ir/implementation/**/*SSA*.qll') buildutils-internal/scripts/pr-checks/sync-identical-files.py --latest
18 lines
305 B
Plaintext
18 lines
305 B
Plaintext
import cpp
|
|
import testoptions
|
|
|
|
from FunctionCall call, string s, Expr arg
|
|
where
|
|
s = "lockCall" and
|
|
lockCall(arg, call)
|
|
or
|
|
s = "mustlockCall" and
|
|
mustlockCall(arg, call)
|
|
or
|
|
s = "trylockCall" and
|
|
trylockCall(arg, call)
|
|
or
|
|
s = "unlockCall" and
|
|
unlockCall(arg, call)
|
|
select call, s, arg
|