Partially constructs the control flow graph. The construction is completed
by subsequent instatiation of Make2.
Import path
import codeql.controlflow.ControlFlowGraphClasses
| AbruptCompletion | A value indicating an abrupt completion of an AST node in the control flow graph. This is mostly equivalent to an AbruptSuccessor, but may also carry a label to, for example, link a goto statement with its target. |
| PreControlFlowNode | A control flow node without the successor relation. This is used to reference control flow nodes during the construction of the control flow graph. |
Modules
| Make2 | Completes the construction of the control flow graph. |
Module signatures
Parameters
| Input1 | InputSig1 |