Searched defs:SizeDV (Results 1 – 1 of 1) sorted by relevance
1016 DefinedOrUnknownSVal SizeDV = getDynamicExtent(state, superReg, svalBuilder); in IsFirstBufInBound() local1150 DefinedOrUnknownSVal SizeDV = getDynamicExtent(State, BR, svalBuilder); in memsetAux() local