Home
last modified time | relevance | path

Searched refs:makeZeroVal (Results 1 – 14 of 14) sorted by relevance

/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSValBuilder.cpp62 DefinedOrUnknownSVal SValBuilder::makeZeroVal(QualType type) { in makeZeroVal() function in SValBuilder
145 return makeZeroVal(T); in getRegionValueSymbolVal()
165 return makeZeroVal(T); in conjureSymbolVal()
182 return makeZeroVal(type); in conjureSymbolVal()
200 return makeZeroVal(type); in conjureSymbolVal()
228 return makeZeroVal(type); in getConjuredHeapSymbolVal()
264 return makeZeroVal(T); in getDerivedRegionValueSymbolVal()
341 return makeZeroVal(E->getType()); in getConstantVal()
H A DExprEngineC.cpp776 V = getSValBuilder().makeZeroVal(T); in VisitInitListExpr()
969 SVal X = svalBuilder.makeZeroVal(Ex->getType()); in VisitUnaryOperator()
1132 svalBuilder.evalEQ(state, V2,svalBuilder.makeZeroVal(U->getType())); in VisitIncrementDecrementOperator()
1138 svalBuilder.makeZeroVal(U->getType())); in VisitIncrementDecrementOperator()
H A DRegionStore.cpp478 SVal V = svalBuilder.makeZeroVal(Ctx.CharTy); in BindDefaultZero()
1827 return svalBuilder.makeZeroVal(ElemT); in getSValFromInitListExpr()
1986 return svalBuilder.makeZeroVal(Ty); in getBindingForField()
2024 return svalBuilder.makeZeroVal(Ty); in getBindingForDerivedDefaultValue()
2231 return svalBuilder.makeZeroVal(T); in getBindingForVar()
2407 V = svalBuilder.makeZeroVal(T); in setImplicitDefaultValue()
2411 V = svalBuilder.makeZeroVal(Ctx.IntTy); in setImplicitDefaultValue()
H A DSimpleSValBuilder.cpp600 return makeZeroVal(resultTy); in evalBinOpNN()
816 return makeZeroVal(resultTy); in evalBinOpLL()
H A DExprEngine.cpp271 svalBuilder.makeZeroVal(T), in getInitialState()
/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DPointerSubChecker.cpp91 SVB.makeZeroVal(SVB.getArrayIndexType()), in checkArrayBounds()
H A DErrnoModeling.cpp247 NonLoc ZeroVal = SVB.makeZeroVal(C.getASTContext().IntTy).castAs<NonLoc>(); in setErrnoForStdFailure()
H A DCStringChecker.cpp370 DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty); in REGISTER_MAP_WITH_PROGRAMSTATE()
1408 svalBuilder.makeZeroVal(Ctx.getSizeType())); in memsetAux()
1621 Builder.makeZeroVal(Call.getResultType())); in evalMemcmp()
1648 Builder.makeZeroVal(Call.getResultType())); in evalMemcmp()
1699 SVal zero = C.getSValBuilder().makeZeroVal(Call.getResultType()); in evalstrLengthCommon()
2337 svalBuilder.makeZeroVal(Call.getResultType())); in evalStrcmpCommon()
2578 SVal Zero = C.getSValBuilder().makeZeroVal(C.getASTContext().IntTy); in evalBzero()
H A DCallAndMessageChecker.cpp686 SVal V = C.getSValBuilder().makeZeroVal(RetTy); in HandleNilReceiver()
724 SVal V = C.getSValBuilder().makeZeroVal(RetTy); in HandleNilReceiver()
H A DVLASizeChecker.cpp185 DefinedOrUnknownSVal Zero = SVB.makeZeroVal(SizeTy); in checkVLAIndexSize()
H A DSmartPtrModeling.cpp367 C.getSValBuilder().makeZeroVal(Call.getResultType()))); in evalCall()
875 C.getSValBuilder().makeZeroVal(Call.getResultType()))); in handleBoolConversion()
H A DMallocChecker.cpp1123 SVal ZeroVal = C.getSValBuilder().makeZeroVal(Ctx.CharTy); in performKernelMalloc()
1306 SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy); in checkGMalloc0()
1336 SVal Init = SB.makeZeroVal(SB.getContext().CharTy); in checkGMallocN0()
1507 SvalBuilder.makeZeroVal(Arg->getType()).castAs<DefinedSVal>(); in ProcessZeroAllocCheck()
2732 SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy); in CallocMem()
H A DStreamChecker.cpp669 return *SVB.makeZeroVal(Call.getResultType()).getAs<NonLoc>(); in getZeroVal()
1302 .evalBinOp(State, BO_GE, RetVal, E.SVB.makeZeroVal(E.ACtx.IntTy), in evalFprintf()
/src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h190 DefinedOrUnknownSVal makeZeroVal(QualType type);