Predicate globalValueNumber
Gets the global value number of expression e
.
Import path
import semmle.code.cpp.valuenumbering.GlobalValueNumberingImpl
Gets the global value number of expression e
.
import semmle.code.cpp.valuenumbering.GlobalValueNumberingImpl