Files
codeql/cpp/ql/test/library-tests/controlflow_stresstest/SsaDefUsePairs.ql
Jonas Jensen 95a333d28c C++: Use StackVariable in SSA libraries
This means we'll no longer get SSA definitions for thread-local
local-scope variables.
2019-11-19 11:30:59 +01:00

13 lines
279 B
Plaintext

/**
* @name Ssa def-use pairs test
* @description List all the uses for each SsaDefinition
* @kind test
*/
import cpp
import semmle.code.cpp.controlflow.SSA
from SsaDefinition def, StackVariable var, Expr use
where def.getAUse(var) = use
select def, def.toString(var), use