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()
652 V = getSValBuilder().makeZeroVal(T); in VisitInitListExpr()829 SVal X = svalBuilder.makeZeroVal(Ex->getType()); in VisitUnaryOperator()972 svalBuilder.evalEQ(state, V2,svalBuilder.makeZeroVal(U->getType())); in VisitIncrementDecrementOperator()978 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()
132 svalBuilder.makeZeroVal(T), in getInitialState()
138 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()
223 DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty); in REGISTER_MAP_WITH_PROGRAMSTATE()1171 svalBuilder.makeZeroVal(CE->getType())); in evalMemcmp()1198 svalBuilder.makeZeroVal(CE->getType())); in evalMemcmp()1254 SVal zero = C.getSValBuilder().makeZeroVal(CE->getType()); in evalstrLengthCommon()1818 svalBuilder.makeZeroVal(CE->getType())); in evalStrcmpCommon()
731 SVal ZeroVal = C.getSValBuilder().makeZeroVal(Ctx.CharTy); in performKernelMalloc()883 SvalBuilder.makeZeroVal(Arg->getType()).castAs<DefinedSVal>(); in ProcessZeroAllocation()2003 SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy); in CallocMem()
582 svalBuilder.makeZeroVal(Arg->getType()).castAs<DefinedSVal>(); in checkPreStmt()
161 DefinedOrUnknownSVal makeZeroVal(QualType type);