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)