Member predicate ArrayFunction::hasArrayWithFixedSize
Holds if parameter bufParam should always point to a buffer with exactly
elemCount elements.
predicate hasArrayWithFixedSize(int bufParam, int elemCount)Holds if parameter bufParam should always point to a buffer with exactly
elemCount elements.
predicate hasArrayWithFixedSize(int bufParam, int elemCount)