Searched refs:SizeDV (Results 1 – 1 of 1) sorted by relevance
1202 DefinedOrUnknownSVal SizeDV = getDynamicExtent(State, superReg, SB); in isFirstBufInBound() local1207 ProgramStateRef StInBound = State->assumeInBound(Idx, SizeDV, true); in isFirstBufInBound()1379 DefinedOrUnknownSVal SizeDV = getDynamicExtent(State, BR, svalBuilder); in memsetAux() local1383 State->assume(svalBuilder.evalEQ(State, SizeDV, *SizeNL)); in memsetAux()