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

Member predicate ExprEvaluator::interestingInternal

req is an expression for which a value is required to be evaluated in order to calculate a value for interesting expression e. sub indicates whether req is a syntactic subexpression of e.

This predicate enumerates the nodes top-down; getValueInternal() calculates the values bottom-up.

predicate interestingInternal(Expr e, Expr req, boolean sub)