Searched refs:StartElementIndex (Results 1 – 1 of 1) sorted by relevance
1078 std::optional<SVal> StartElementIndex = in tryToInvalidateFReadBufferByElements() local1088 getKnownValue(State, StartElementIndex.value_or(UnknownVal())); in tryToInvalidateFReadBufferByElements()