Predicate tvalueNumber
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.internal.ValueNumberingInternalTValueNumber tvalueNumber(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.internal.ValueNumberingInternalTValueNumber tvalueNumber(Instruction instr)