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

Member predicate OutReturnValue::isReturnValue

Holds if this is the value returned by a function.

Example:

int getInt();
char* getPointer();
float& getReference();
  • isReturnValue() holds for the FunctionOutput that represents the value returned by getInt() (with type int).
  • isReturnValue() holds for the FunctionOutput that represents the value returned by getPointer() (with type char*).
  • isReturnValue() holds for the FunctionOutput that represents the “value” of the reference returned by getReference() (with type float&), not the value of the referred-to float.
predicate isReturnValue()