Lines Matching full:sizeval
848 SVal sizeVal = state->getSVal(Size);
853 assumeZero(C, state, sizeVal, sizeTy);
902 NonLoc *lenValNonLoc = dyn_cast<NonLoc>(&sizeVal);
984 SVal sizeVal = state->getSVal(Size);
989 assumeZero(C, state, sizeVal, sizeTy);
