CodeQL library for C/C++
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

Predicates

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

isOutParameterPointer

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. DEPRECATED: Use isParameterDeref(index) instead.

from FunctionOutput
isOutQualifier

Holds if this is the output value pointed to by the this pointer of an instance member function. DEPRECATED: Use isQualifierObject() instead.

from FunctionOutput
isOutReturnPointer

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. DEPRECATED: Use isReturnValueDeref() instead.

from FunctionOutput
isOutReturnValue

Holds if this is the value returned by a function. DEPRECATED: Use isReturnValue() instead.

from FunctionOutput
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
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
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