Home
last modified time | relevance | path

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

/freebsd-14.2/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.cpp774 V = getSValBuilder().makeZeroVal(T); in VisitInitListExpr()
967 SVal X = svalBuilder.makeZeroVal(Ex->getType()); in VisitUnaryOperator()
1130 svalBuilder.evalEQ(state, V2,svalBuilder.makeZeroVal(U->getType())); in VisitIncrementDecrementOperator()
1136 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()
2406 V = svalBuilder.makeZeroVal(T); in setImplicitDefaultValue()
2410 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-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DStreamChecker.cpp837 SVB.evalBinOp(State, BO_GE, RetVal, SVB.makeZeroVal(ASTC.IntTy), in evalFgetx()
929 auto Cond = SVB.evalBinOp(State, BO_GE, RetVal, SVB.makeZeroVal(ASTC.IntTy), in evalFputx()
974 auto Cond = SVB.evalBinOp(State, BO_GE, RetVal, SVB.makeZeroVal(ACtx.IntTy), in evalFprintf()
1029 SVB.makeZeroVal(ACtx.IntTy), SVB.getConditionType()) in evalFscanf()
1126 SVB.evalBinOp(State, BO_GE, RetVal, SVB.makeZeroVal(CE->getType()), in evalGetdelim()
1304 SVB.evalBinOp(State, BO_GE, RetVal, SVB.makeZeroVal(Call.getResultType()), in evalFtell()
H A DCStringChecker.cpp342 DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty); in REGISTER_MAP_WITH_PROGRAMSTATE()
1263 svalBuilder.makeZeroVal(Ctx.getSizeType())); in memsetAux()
1473 Builder.makeZeroVal(Call.getResultType())); in evalMemcmp()
1500 Builder.makeZeroVal(Call.getResultType())); in evalMemcmp()
1551 SVal zero = C.getSValBuilder().makeZeroVal(Call.getResultType()); in evalstrLengthCommon()
2189 svalBuilder.makeZeroVal(Call.getResultType())); in evalStrcmpCommon()
2430 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.cpp191 DefinedOrUnknownSVal Zero = SVB.makeZeroVal(SizeTy); in checkVLAIndexSize()
H A DErrnoModeling.cpp292 NonLoc ZeroVal = SVB.makeZeroVal(C.getASTContext().IntTy).castAs<NonLoc>(); in setErrnoForStdFailure()
H A DSmartPtrModeling.cpp367 C.getSValBuilder().makeZeroVal(Call.getResultType()))); in evalCall()
875 C.getSValBuilder().makeZeroVal(Call.getResultType()))); in handleBoolConversion()
H A DMallocChecker.cpp1199 SVal ZeroVal = C.getSValBuilder().makeZeroVal(Ctx.CharTy); in performKernelMalloc()
1388 SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy); in checkGMalloc0()
1418 SVal Init = SB.makeZeroVal(SB.getContext().CharTy); in checkGMallocN0()
1533 SvalBuilder.makeZeroVal(Arg->getType()).castAs<DefinedSVal>(); in ProcessZeroAllocCheck()
2684 SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy); in CallocMem()
/freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h186 DefinedOrUnknownSVal makeZeroVal(QualType type);