Injector MkIncDecRhs
A control-flow node that represents the implicit right-hand side of an increment or decrement statement.
Import path
import semmle.go.controlflow.ControlFlowGraphImplA control-flow node that represents the implicit right-hand side of an increment or decrement statement.
import semmle.go.controlflow.ControlFlowGraphImpl