Lines Matching defs:SVB

29                                       const MemRegion *MR, SValBuilder &SVB) {
34             SVB.convertToArrayIndex(*Size).getAs<DefinedOrUnknownSVal>())
37   return MR->getMemRegionManager().getStaticSize(MR, SVB);
40 DefinedOrUnknownSVal getElementExtent(QualType Ty, SValBuilder &SVB) {
41   return SVB.makeIntVal(SVB.getContext().getTypeSizeInChars(Ty).getQuantity(),
42                         SVB.getArrayIndexType());
45 static DefinedOrUnknownSVal getConstantArrayElementCount(SValBuilder &SVB,
54           SVB.getContext().getAsConstantArrayType(TVR->getValueType()))
55     return SVB.makeIntVal(CAT->getSize(), /* isUnsigned = */ false);
63   SValBuilder &SVB = State->getStateManager().getSValBuilder();
66       SVB.evalBinOp(State, BO_Div, Size, ElementSize, SVB.getArrayIndexType())
73                                             SValBuilder &SVB,
78   DefinedOrUnknownSVal ElementSize = getElementExtent(ElementTy, SVB);
80     return getConstantArrayElementCount(SVB, MR);
82   return getDynamicElementCount(State, getDynamicExtent(State, MR, SVB),
87   SValBuilder &SVB = State->getStateManager().getSValBuilder();
99       SVB.makeArrayIndex(Offset.getOffset() / SVB.getContext().getCharWidth());
100   DefinedOrUnknownSVal ExtentInBytes = getDynamicExtent(State, BaseRegion, SVB);
102   return SVB.evalBinOp(State, BinaryOperator::Opcode::BO_Sub, ExtentInBytes,
103                        OffsetInChars, SVB.getArrayIndexType());
113   SValBuilder &SVB = State->getStateManager().getSValBuilder();
114   DefinedOrUnknownSVal ElementSize = getElementExtent(ElementTy, SVB);
116     return getConstantArrayElementCount(SVB, MR);