Searched refs:LessThanZeroDVal (Results 1 – 1 of 1) sorted by relevance
190 if (std::optional<DefinedSVal> LessThanZeroDVal = in checkVLAIndexSize() local194 std::tie(StateNeg, StatePos) = CM.assumeDual(State, *LessThanZeroDVal); in checkVLAIndexSize()