CodeQL library for C/C++
codeql/cpp-all 0.12.12-dev (changelog, source)
Search

Member predicate IREscapeAnalysisConfiguration::useSoundEscapeAnalysis

Holds if the escape analysis done by SSA construction should be sound. By default, the SSA is built assuming that no variable’s address ever escapes.

predicate useSoundEscapeAnalysis()