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