Searched refs:makeZeroVal (Results 1 – 11 of 11) sorted by relevance
619 V = getSValBuilder().makeZeroVal(T); in VisitInitListExpr()788 SVal X = svalBuilder.makeZeroVal(Ex->getType()); in VisitUnaryOperator()930 svalBuilder.evalEQ(state, V2,svalBuilder.makeZeroVal(U->getType())); in VisitIncrementDecrementOperator()936 svalBuilder.makeZeroVal(U->getType())); in VisitIncrementDecrementOperator()
32 DefinedOrUnknownSVal SValBuilder::makeZeroVal(QualType type) { in makeZeroVal() function in SValBuilder240 return makeZeroVal(E->getType()); in getConstantVal()
1577 return svalBuilder.makeZeroVal(Ty); in getBindingForDerivedDefaultValue()1759 return svalBuilder.makeZeroVal(T); in getBindingForVar()1937 V = svalBuilder.makeZeroVal(T); in setImplicitDefaultValue()1941 V = svalBuilder.makeZeroVal(Ctx.IntTy); in setImplicitDefaultValue()
235 SVal ZeroVal = svalBuilder.makeZeroVal(getContext().CharTy); in VisitCXXConstructExpr()
603 return makeZeroVal(resultTy); in evalBinOpLL()
120 svalBuilder.makeZeroVal(T), in getInitialState()
467 SVal V = C.getSValBuilder().makeZeroVal(RetTy); in HandleNilReceiver()505 SVal V = C.getSValBuilder().makeZeroVal(RetTy); in HandleNilReceiver()
212 DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty); in REGISTER_MAP_WITH_PROGRAMSTATE()1077 svalBuilder.makeZeroVal(CE->getType())); in evalMemcmp()1104 svalBuilder.makeZeroVal(CE->getType())); in evalMemcmp()1159 SVal zero = C.getSValBuilder().makeZeroVal(CE->getType()); in evalstrLengthCommon()1720 svalBuilder.makeZeroVal(CE->getType())); in evalStrcmpCommon()
544 svalBuilder.makeZeroVal(Arg->getType()).castAs<DefinedSVal>(); in checkPreStmt()
1531 SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy); in CallocMem()
161 DefinedOrUnknownSVal makeZeroVal(QualType type);