hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-06-19 11:51:08 +02:00
Code Issues Packages Projects Releases Wiki Activity

Use module already provided by BasicBlocks lib

Browse Source
This commit is contained in:
Owen Mansel-Chan
2026-06-18 12:37:27 +01:00
parent 7222f1d3ad
commit f04c8ccbc7
1 changed files with 3 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
go/ql/lib/semmle/go/controlflow/BasicBlocks.qll
View File

@@ -42,22 +42,11 @@ private module Input implements BB::InputSig<Location> {
predicate nodeIsPostDominanceExit(Node node) { node instanceof ExitNode }
}
private module BbImpl = BB::Make<Location, Input>;
module Cfg = BB::Make<Location, Input>;
class BasicBlock = BbImpl::BasicBlock;
class BasicBlock = Cfg::BasicBlock;
class EntryBasicBlock = BbImpl::EntryBasicBlock;
/** Provides a `CfgSig` view of Go's control-flow graph for use with the shared SSA library. */
module Cfg implements BB::CfgSig<Location> {
class ControlFlowNode = BbImpl::ControlFlowNode;
class BasicBlock = BbImpl::BasicBlock;
class EntryBasicBlock = BbImpl::EntryBasicBlock;
predicate dominatingEdge = BbImpl::dominatingEdge/2;
}
class EntryBasicBlock = Cfg::EntryBasicBlock;
cached
private predicate reachableBB(BasicBlock bb) {