зеркало из https://github.com/github/codeql.git
CPP: Remove commented out code.
This commit is contained in:
Родитель
56adcff2c9
Коммит
52b68a77bd
|
@ -11,20 +11,3 @@ select
|
|||
concat(l.getStmt().toString(), ", "),
|
||||
concat(BasicBlock bb | bb.getASuccessor() = l.getFollowingStmt() | bb.toString(), ", "),
|
||||
concat(l.getFollowingStmt().toString(), ", ")
|
||||
|
||||
/*
|
||||
dump a graph of BasicBlocks
|
||||
|
||||
import semmle.code.cpp.controlflow.LocalScopeVariableReachability
|
||||
|
||||
from BasicBlock pred
|
||||
select
|
||||
pred,
|
||||
concat(BasicBlock succ |
|
||||
pred.getASuccessor() = succ |
|
||||
pred.toString() + " -> " + succ.toString(), ", "),
|
||||
concat(BasicBlock succ, boolean predSkip, boolean succSkip |
|
||||
bbSuccessorEntryReachesLoopInvariant(pred, succ, predSkip, succSkip) |
|
||||
pred.toString() + " (" + predSkip.toString() + ") -> " + succ.toString() + " (" + succSkip.toString() + ")", ", "
|
||||
)
|
||||
*/
|
Загрузка…
Ссылка в новой задаче