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

Member predicate IRConfiguration::shouldEvaluateDebugStringsForFunction

Holds if the strings used as part of an IR dump should be generated for function func.

This predicate is overridden in PrintIR.qll to avoid the expense of generating a large number of debug strings for IR that will not be dumped. We still generate the actual IR for these functions, however, to preserve the results of any interprocedural analysis.

predicate shouldEvaluateDebugStringsForFunction(Declaration func)