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

Class OutReturnValue

The value returned by a function.

Example:

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

Import path

import cpp

Direct supertypes

Indirect supertypes

Predicates

getIndirectionOutput

INTERNAL: Do not use.

isReturnValue

Holds if this is the value returned by a function.

toString

Inherited predicates

isParameterDeref

Holds if this is the output value pointed to by a pointer parameter to a function, or the output value referred to by a reference parameter to a function, where the parameter has index index.

from FunctionOutput
isParameterDeref

Holds if this is the output value pointed to by a pointer parameter (through ind number of indirections) to a function, or the output value referred to by a reference parameter to a function, where the parameter has index index.

from FunctionOutput
isParameterDerefOrQualifierObject

Holds if i >= 0 and isParameterDeref(i) holds for this is the value, or if i = -1 and isQualifierObject() holds for this value.

from FunctionOutput
isParameterDerefOrQualifierObject

Holds if i >= 0 and isParameterDeref(i, ind) holds for this is the value, or if i = -1 and isQualifierObject(ind) holds for this value.

from FunctionOutput
isQualifierObject

Holds if this is the output value pointed to by the this pointer of an instance member function.

from FunctionOutput
isQualifierObject

Holds if this is the output value pointed to by the this pointer of an instance member function.

from FunctionOutput
isReturnValueDeref

Holds if this is the output value pointed to by the return value of a function, if the function returns a pointer, or the output value referred to by the return value of a function, if the function returns a reference.

from FunctionOutput
isReturnValueDeref

Holds if this is the output value pointed to by the return value of a function, if the function returns a pointer, or the output value referred to by the return value of a function, if the function returns a reference.

from FunctionOutput