Predicate valueNumber
Gets the value number assigned to instr
, if any. Returns at most one result.
Import path
import semmle.code.cpp.ir.implementation.aliased_ssa.gvn.ValueNumbering
ValueNumber valueNumber(Instruction instr)
Gets the value number assigned to instr
, if any. Returns at most one result.
import semmle.code.cpp.ir.implementation.aliased_ssa.gvn.ValueNumbering
ValueNumber valueNumber(Instruction instr)