C++: Fix re-evaluation by importing GVN.

This commit is contained in:
Mathias Vorreiter Pedersen
2022-02-03 11:16:14 +00:00
parent 712418e5f8
commit 58993e2dc6

View File

@@ -14,6 +14,9 @@
*/
import cpp
// We don't actually use the global value numbering library in this query, but without it we end up
// recomputing the IR.
private import semmle.code.cpp.valuenumbering.GlobalValueNumbering
import semmle.code.cpp.ir.IR
import semmle.code.cpp.ir.dataflow.DataFlow::DataFlow