Module Make::Consistency

Provides a set of consistency queries.

Import path

import codeql.ssa.Ssa

deadDef	Holds if a definition cannot reach a read.
nonUniqueDef	Holds if a read can be reached from multiple definitions.
nonUniqueDefReachesEndOfBlock	Holds if the end of a basic block can be reached by multiple definitions.
notDominatedByDef	Holds if a read is not dominated by a definition.
phiReadWithoutTwoPriorRefs	Holds if the phi read for `v` at `bb` has less than 2 immediately prior references.
phiWithoutTwoPriorRefs	Holds if `phi` has less than 2 immediately prior references.
readWithMultiplePriorRefs	Holds if a certain read has multiple prior references. The introduction of phi reads should make the prior reference unique.
readWithoutDef	Holds if a read cannot be reached from a definition.
readWithoutPriorRef	Holds if a certain read does not have a prior reference.
uselessPhiNode	Holds if a phi node has less than two inputs.