CodeQL library for C/C++

codeql/cpp-all 6.0.1 (changelog, source)

Class FunctionOutput

An output from a function. This can be:

The value pointed to by one of function’s pointer or reference parameters
The value pointed to by the function’s this pointer
The function’s return value
The value pointed to by the function’s return value, if the return value is a pointer or reference

Import path

import cpp

Direct supertypes

TFunctionOutput

Known direct subtypes

Predicates

getIndirectionOutput	INTERNAL: Do not use.
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 `i`.
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 `i`.
isParameterDerefOrQualifierObject	Holds if `i >= 0` and `isParameterDeref(i)` holds for this is the value, or if `i = -1` and `isQualifierObject()` holds for this value.
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.
isQualifierObject	Holds if this is the output value pointed to by the `this` pointer of an instance member function.
isQualifierObject	Holds if this is the output value pointed to by the `this` pointer of an instance member function.
isReturnValue	Holds if this is the value returned by a function.
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