Searched defs:SizeDV (Results 1 – 1 of 1) sorted by relevance
1196 DefinedOrUnknownSVal SizeDV = getDynamicExtent(State, superReg, SB); isFirstBufInBound() local 1373 DefinedOrUnknownSVal SizeDV = getDynamicExtent(State, BR, svalBuilder); memsetAux() local