Skip to content

Commit c54cdde

Browse files
MathiasVPMathiasVP
committed
C++: Include PrintValueNumbering in testcase
1 parent 1e73528 commit c54cdde

1 file changed

Lines changed: 1 addition & 0 deletions

File tree

  • cpp/ql/test/library-tests/valuenumbering/GlobalValueNumbering

‎cpp/ql/test/library-tests/valuenumbering/GlobalValueNumbering/ir_gvn.ql‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,3 +5,4 @@
55
import semmle.code.cpp.ir.PrintIR
66
import semmle.code.cpp.ir.IR
77
import semmle.code.cpp.ir.ValueNumbering
8+
import semmle.code.cpp.ir.implementation.aliased_ssa.gvn.PrintValueNumbering

0 commit comments

Comments
 (0)