Searched refs:makeZeroVal (Results 1 – 12 of 12) sorted by relevance
32 DefinedOrUnknownSVal SValBuilder::makeZeroVal(QualType type) { in makeZeroVal() function in SValBuilder99 return makeZeroVal(T); in getRegionValueSymbolVal()119 return makeZeroVal(T); in conjureSymbolVal()136 return makeZeroVal(type); in conjureSymbolVal()155 return makeZeroVal(type); in conjureSymbolVal()176 return makeZeroVal(T); in getConjuredHeapSymbolVal()203 return makeZeroVal(T); in getDerivedRegionValueSymbolVal()257 return makeZeroVal(E->getType()); in getConstantVal()
663 V = getSValBuilder().makeZeroVal(T); in VisitInitListExpr()840 SVal X = svalBuilder.makeZeroVal(Ex->getType()); in VisitUnaryOperator()983 svalBuilder.evalEQ(state, V2,svalBuilder.makeZeroVal(U->getType())); in VisitIncrementDecrementOperator()989 svalBuilder.makeZeroVal(U->getType())); in VisitIncrementDecrementOperator()
1671 return svalBuilder.makeZeroVal(Ty); in getBindingForDerivedDefaultValue()1853 return svalBuilder.makeZeroVal(T); in getBindingForVar()2031 V = svalBuilder.makeZeroVal(T); in setImplicitDefaultValue()2035 V = svalBuilder.makeZeroVal(Ctx.IntTy); in setImplicitDefaultValue()
302 SVal ZeroVal = svalBuilder.makeZeroVal(getContext().CharTy); in VisitCXXConstructExpr()
602 return makeZeroVal(resultTy); in evalBinOpLL()
133 svalBuilder.makeZeroVal(T), in getInitialState()
137 DefinedOrUnknownSVal Zero = svalBuilder.makeZeroVal(Ty); in checkPreStmt()
543 SVal V = C.getSValBuilder().makeZeroVal(RetTy); in HandleNilReceiver()581 SVal V = C.getSValBuilder().makeZeroVal(RetTy); in HandleNilReceiver()
227 DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty); in REGISTER_MAP_WITH_PROGRAMSTATE()1175 svalBuilder.makeZeroVal(CE->getType())); in evalMemcmp()1202 svalBuilder.makeZeroVal(CE->getType())); in evalMemcmp()1258 SVal zero = C.getSValBuilder().makeZeroVal(CE->getType()); in evalstrLengthCommon()1822 svalBuilder.makeZeroVal(CE->getType())); in evalStrcmpCommon()
741 SVal ZeroVal = C.getSValBuilder().makeZeroVal(Ctx.CharTy); in performKernelMalloc()894 SvalBuilder.makeZeroVal(Arg->getType()).castAs<DefinedSVal>(); in ProcessZeroAllocation()2011 SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy); in CallocMem()
581 svalBuilder.makeZeroVal(Arg->getType()).castAs<DefinedSVal>(); in checkPreStmt()
166 DefinedOrUnknownSVal makeZeroVal(QualType type);