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

Class OutReturnValueDeref

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.

Example:

char* getPointer();
float& getReference();
int getInt();
  • OutReturnValueDeref represents the value of *getPointer() (with type char).
  • OutReturnValueDeref represents the value of getReference() (with type float).
  • OutReturnValueDeref does not represent the return value of getInt() because the return type of getInt() is neither a pointer nor a reference.

Import path

import cpp

Direct supertypes

Indirect supertypes

Fields

Predicates

getIndirectionOutput

INTERNAL: Do not use.

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.

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.

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
isReturnValue

Holds if this is the value returned by a function.

from FunctionOutput

Charpred