Searched refs:makeZeroVal (Results 1 – 10 of 10) sorted by relevance
53 DefinedOrUnknownSVal SValBuilder::makeZeroVal(QualType type) { in makeZeroVal() function in SValBuilder123 return makeZeroVal(T); in getRegionValueSymbolVal()143 return makeZeroVal(T); in conjureSymbolVal()160 return makeZeroVal(type); in conjureSymbolVal()178 return makeZeroVal(type); in conjureSymbolVal()199 return makeZeroVal(T); in getConjuredHeapSymbolVal()227 return makeZeroVal(T); in getDerivedRegionValueSymbolVal()297 return makeZeroVal(E->getType()); in getConstantVal()
738 V = getSValBuilder().makeZeroVal(T); in VisitInitListExpr()936 SVal X = svalBuilder.makeZeroVal(Ex->getType()); in VisitUnaryOperator()1099 svalBuilder.evalEQ(state, V2,svalBuilder.makeZeroVal(U->getType())); in VisitIncrementDecrementOperator()1105 svalBuilder.makeZeroVal(U->getType())); in VisitIncrementDecrementOperator()
438 SVal V = svalBuilder.makeZeroVal(Ctx.CharTy); in BindDefaultZero()1679 return svalBuilder.makeZeroVal(R->getElementType()); in getBindingForElement()1760 return svalBuilder.makeZeroVal(Ty); in getBindingForField()1780 return svalBuilder.makeZeroVal(Ty); in getBindingForDerivedDefaultValue()1972 return svalBuilder.makeZeroVal(T); in getBindingForVar()2153 V = svalBuilder.makeZeroVal(T); in setImplicitDefaultValue()2157 V = svalBuilder.makeZeroVal(Ctx.IntTy); in setImplicitDefaultValue()
833 return makeZeroVal(resultTy); in evalBinOpLL()
246 svalBuilder.makeZeroVal(T), in getInitialState()
138 DefinedOrUnknownSVal Zero = svalBuilder.makeZeroVal(Ty); in checkPreStmt()
243 DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty); in REGISTER_MAP_WITH_PROGRAMSTATE()1073 svalBuilder.makeZeroVal(Ctx.getSizeType())); in memsetAux()1276 svalBuilder.makeZeroVal(CE->getType())); in evalMemcmp()1303 svalBuilder.makeZeroVal(CE->getType())); in evalMemcmp()1359 SVal zero = C.getSValBuilder().makeZeroVal(CE->getType()); in evalstrLengthCommon()1963 svalBuilder.makeZeroVal(CE->getType())); in evalStrcmpCommon()2202 SVal Zero = C.getSValBuilder().makeZeroVal(C.getASTContext().IntTy); in evalBzero()
565 SVal V = C.getSValBuilder().makeZeroVal(RetTy); in HandleNilReceiver()603 SVal V = C.getSValBuilder().makeZeroVal(RetTy); in HandleNilReceiver()
805 SVal ZeroVal = C.getSValBuilder().makeZeroVal(Ctx.CharTy); in performKernelMalloc()922 SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy); in checkPostStmt()937 Init = SB.makeZeroVal(SB.getContext().CharTy); in checkPostStmt()1006 SvalBuilder.makeZeroVal(Arg->getType()).castAs<DefinedSVal>(); in ProcessZeroAllocation()2234 SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy); in CallocMem()
196 DefinedOrUnknownSVal makeZeroVal(QualType type);