Module Make :: Consistency

Provides a set of consistency queries.

Import path


                                import codeql.ssa.Ssa

deadDef	Holds if a definition cannot reach a read.
deadDefExt	Holds if a definition cannot reach a read.
nonUniqueDef	Holds if a read can be reached from multiple definitions.
nonUniqueDefExt	Holds if a read can be reached from multiple definitions.
notDominatedByDef	Holds if a read is not dominated by a definition.
notDominatedByDefExt	Holds if a read is not dominated by a definition.
readWithoutDef	Holds if a read cannot be reached from a definition.
readWithoutDefExt	Holds if a read cannot be reached from a definition.

RelevantDefinition	A definition that is relevant for the consistency queries.
RelevantDefinitionExt	A definition that is relevant for the consistency queries.