CodeQL library for Go
codeql/go-all 3.0.3-dev (changelog, source)
Search

Injector MkConditionGuardNode

A control-flow node that represents the fact that e is known to evaluate to outcome.

Import path

import semmle.go.controlflow.ControlFlowGraphImpl
MkConditionGuardNode MkConditionGuardNode(Expr e, Boolean outcome)