Predicate valueNumberOfOperand
Gets the value number assigned to the exact definition of op, if any.
Returns at most one result.
Import path
import semmle.code.cpp.ir.implementation.aliased_ssa.gvn.ValueNumberingGets the value number assigned to the exact definition of op, if any.
Returns at most one result.
import semmle.code.cpp.ir.implementation.aliased_ssa.gvn.ValueNumbering