Module Internal

Import path

import semmle.go.dataflow.SsaImpl

defAt	Holds if the `i`th node of `bb` defines `v`.
getDefReachingEndOf	Gets an SSA definition of `v` that reaches the end of basic block `bb`.
getDefinition	Gets the unique SSA definition of `v` whose value reaches the `i`th node of `bb`, which is a use of `v`.
useAt	Holds if the `i`th node of `bb` reads `v`.

A data type representing SSA definitions.