Class MakeUtils::SsaReadPositionPhiInputEdge

An edge between two basic blocks where the latter block has an SSA phi definition. The edge therefore has a read of an SSA variable serving as the input to the phi node.

Import path

import codeql.rangeanalysis.internal.RangeUtils

Direct supertypes

SsaReadPosition
TSsaReadPositionPhiInputEdge

Indirect supertypes

TSsaReadPosition

Predicates

getOrigBlock	Gets the source of the edge.
getPhiBlock	Gets the target of the edge.
hasReadOfVar	Holds if `v` is read at this position.
phiInput	Holds if `inp` is an input to `phi` along this edge.
toString	Gets a textual representation of this SSA read position.