diff --git a/go/ql/lib/semmle/go/controlflow/ControlFlowGraph.qll b/go/ql/lib/semmle/go/controlflow/ControlFlowGraph.qll index 77bb94d89f8..ebd8605c117 100644 --- a/go/ql/lib/semmle/go/controlflow/ControlFlowGraph.qll +++ b/go/ql/lib/semmle/go/controlflow/ControlFlowGraph.qll @@ -6,6 +6,7 @@ module; import go private import ControlFlowGraphImpl +private import ControlFlowGraphShared /** Provides helper predicates for mapping btween CFG nodes and the AST. */ module ControlFlow { @@ -359,3 +360,13 @@ module ControlFlow { class ControlFlowNode = ControlFlow::Node; class Write = ControlFlow::WriteNode; + +/** + * Provides the shared CFG library types for Go. + * + * These types are generated by the shared `codeql.controlflow.ControlFlowGraph` + * library and coexist with the existing Go CFG types during the transition. + * Use `SharedCfg::ControlFlowNode` to access the shared library's node type, + * `SharedCfg::ControlFlow::EntryNode` for entry nodes, etc. + */ +module SharedCfg = GoCfg;