Module Make::TestAdjacentRefs

Provides query predicates for testing adjacent SSA references and insertion of phi reads.

Import path

import codeql.ssa.Ssa

adjacentRefPhi	Holds if `phi` is a phi definition or phi read and `input` is one its inputs without any other reference in-between.
adjacentRefRead	Holds if `r2` is a certain read or uncertain write, and `r1` is the unique prior reference.

Ref	An SSA reference. This is either a certain read, a definition, or a synthesized phi read.