Home
last modified time | relevance | path

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

/freebsd-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()
/freebsd-src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DStreamChecker.cpp669 return *SVB.makeZeroVal(Call.getResultType()).getAs<NonLoc>(); in evalFclose()
1302 .evalBinOp(State, BO_GE, RetVal, E.SVB.makeZeroVal(E.ACtx.IntTy), in evalFtell()
H A DCStringChecker.cpp370 DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty); in checkNonNull()
1408 svalBuilder.makeZeroVal(Ctx.getSizeType())); in evalMempcpy()
1621 Builder.makeZeroVal(Call.getResultType())); in evalstrLengthCommon()
1648 Builder.makeZeroVal(Call.getResultType())); in evalstrLengthCommon()
1699 SVal zero = C.getSValBuilder().makeZeroVal(Call.getResultType()); in evalStrncat()
2337 svalBuilder.makeZeroVal(Call.getResultType()));
2578 SVal Zero = C.getSValBuilder().makeZeroVal(C.getASTContext().IntTy); in checkPreStmt()
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 DErrnoModeling.cpp247 NonLoc ZeroVal = SVB.makeZeroVal(C.getASTContext().IntTy).castAs<NonLoc>(); in getErrnoLoc()
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 checkAlloca()
1336 SVal Init = SB.makeZeroVal(SB.getContext().CharTy); in checkIfFreeNameIndex()
1507 SvalBuilder.makeZeroVal(Arg->getType()).castAs<DefinedSVal>(); in ProcessZeroAllocCheck()
2732 SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy); in HandleLeak()
/freebsd-src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h190 DefinedOrUnknownSVal makeZeroVal(QualType type);