Merge pull request #7830 from MathiasVP/fix-ir-reevaluation-in-return-stack-allocated-memory

C++: Fix re-evaluation in `cpp/return-stack-allocated-memory`
This commit is contained in:
Mathias Vorreiter Pedersen
2022-02-04 08:32:40 +00:00
committed by GitHub

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