Module GlobalValueNumbering
Import path
import semmle.code.cpp.valuenumbering.GlobalValueNumberingImports
| ASTValueNumbering | Provides an implementation of Global Value Numbering. See https://en.wikipedia.org/wiki/Global_value_numbering |
import semmle.code.cpp.valuenumbering.GlobalValueNumbering| ASTValueNumbering | Provides an implementation of Global Value Numbering. See https://en.wikipedia.org/wiki/Global_value_numbering |