Member predicate StrcatFunction::hasArrayOutput
Holds if parameter bufParam
is used as an output buffer.
Note that this is not mutually exclusive with isInBuffer.
predicate hasArrayOutput(int param)
Holds if parameter bufParam
is used as an output buffer.
Note that this is not mutually exclusive with isInBuffer.
predicate hasArrayOutput(int param)