Searched refs:makeZeroVal (Results 1 – 11 of 11) sorted by relevance
627 V = getSValBuilder().makeZeroVal(T); in VisitInitListExpr()806 SVal X = svalBuilder.makeZeroVal(Ex->getType()); in VisitUnaryOperator()949 svalBuilder.evalEQ(state, V2,svalBuilder.makeZeroVal(U->getType())); in VisitIncrementDecrementOperator()955 svalBuilder.makeZeroVal(U->getType())); in VisitIncrementDecrementOperator()
32 DefinedOrUnknownSVal SValBuilder::makeZeroVal(QualType type) { in makeZeroVal() function in SValBuilder240 return makeZeroVal(E->getType()); in getConstantVal()
1574 return svalBuilder.makeZeroVal(Ty); in getBindingForDerivedDefaultValue()1756 return svalBuilder.makeZeroVal(T); in getBindingForVar()1934 V = svalBuilder.makeZeroVal(T); in setImplicitDefaultValue()1938 V = svalBuilder.makeZeroVal(Ctx.IntTy); in setImplicitDefaultValue()
246 SVal ZeroVal = svalBuilder.makeZeroVal(getContext().CharTy); in VisitCXXConstructExpr()
602 return makeZeroVal(resultTy); in evalBinOpLL()
122 svalBuilder.makeZeroVal(T), in getInitialState()
543 SVal V = C.getSValBuilder().makeZeroVal(RetTy); in HandleNilReceiver()581 SVal V = C.getSValBuilder().makeZeroVal(RetTy); in HandleNilReceiver()
214 DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty); in REGISTER_MAP_WITH_PROGRAMSTATE()1085 svalBuilder.makeZeroVal(CE->getType())); in evalMemcmp()1112 svalBuilder.makeZeroVal(CE->getType())); in evalMemcmp()1168 SVal zero = C.getSValBuilder().makeZeroVal(CE->getType()); in evalstrLengthCommon()1731 svalBuilder.makeZeroVal(CE->getType())); in evalStrcmpCommon()
658 SVal ZeroVal = C.getSValBuilder().makeZeroVal(Ctx.CharTy); in performKernelMalloc()1686 SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy); in CallocMem()
582 svalBuilder.makeZeroVal(Arg->getType()).castAs<DefinedSVal>(); in checkPreStmt()
161 DefinedOrUnknownSVal makeZeroVal(QualType type);