Class Flow::ConsistencyChecks::RelevantBasicBlock
Import path
import codeql.dataflow.VariableCaptureDirect supertypes
Inherited predicates
| getEnclosingCallable | Gets the enclosing callable. | from BasicBlock |
| getLocation | Gets the location of this basic block. | from BasicBlock |
| toString | Gets a textual representation of this basic block. | from BasicBlock |