mirror of
https://github.com/github/codeql.git
synced 2025-12-19 10:23:15 +01:00
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
8 lines
287 B
Plaintext
8 lines
287 B
Plaintext
// query-type: graph
|
|
import sbb_test
|
|
|
|
// Note: no instance of `SubBasicBlockCutNode`
|
|
from boolean isEdge, SubBasicBlock x, SubBasicBlock y, string label
|
|
where isNode(isEdge, x, y, label) or isSuccessor(isEdge, x, y, label)
|
|
select x.getEnclosingFunction().toString(), isEdge, x, y, label
|