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

Member predicate TranslatedResultCopy::producesExprResult

Holds if this TranslatedExpr produces the final result of the original expression from the AST.

For example, in y = x;, the TranslatedLoad for the VariableAccess x produces the result of that VariableAccess expression, but the TranslatedVariableAccess for x does not. The TranslatedVariableAccess for y does produce its result, however, because there is no load on y.

predicate producesExprResult()