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

Class OutParameterDeref

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.

Example:

void func(int n, char* p, float& r);
  • There is an OutParameterDeref with getIndex()=1 that represents the value of *p (with type char) on return from the function.
  • There is an OutParameterDeref with getIndex()=2 that represents the value of r (with type float) on return from the function.
  • There is no OutParameterDeref representing the value of n, because n is neither a pointer nor a reference.

Import path

import cpp

Direct supertypes

Indirect supertypes

Fields

Predicates

getIndex
getIndirectionOutput

INTERNAL: Do not use.

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.

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

Charpred