mirror of
https://github.com/github/codeql.git
synced 2026-03-30 20:28:15 +02:00
Update shared/controlflow/codeql/controlflow/ControlFlowGraph.qll
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
This commit is contained in:
committed by
GitHub
parent
77d4f5a2dc
commit
efa797a21d
@@ -232,7 +232,7 @@ signature module AstSig<LocationSig Location> {
|
||||
* under the case nodes, which may or may not be statements themselves, or
|
||||
* the switches may have a flat structure where the cases are just labels
|
||||
* and the case bodies are sequences of statements between case statements.
|
||||
* This predicate accomodates the latter.
|
||||
* This predicate accommodates the latter.
|
||||
*/
|
||||
Stmt getStmt(int index);
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user