Member predicate 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.
Example:
char* getPointer();
float& getReference();
int getInt();
isReturnValueDeref(1)holds for theFunctionOutputthat represents the value of*getPointer()(with typechar).isReturnValueDeref(1)holds for theFunctionOutputthat represents the value ofgetReference()(with typefloat).- There is no
FunctionOutputofgetInt()for whichisReturnValueDeref(_)holds because the return type ofgetInt()is neither a pointer nor a reference.
predicate isReturnValueDeref(int ind)