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