Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DSValBuilder.cpp63 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()
256 return makeZeroVal(T); in getDerivedRegionValueSymbolVal()
333 return makeZeroVal(E->getType()); in getConstantVal()
H A DExprEngineC.cpp782 V = getSValBuilder().makeZeroVal(T); in VisitInitListExpr()
979 SVal X = svalBuilder.makeZeroVal(Ex->getType()); in VisitUnaryOperator()
1144 svalBuilder.evalEQ(state, V2,svalBuilder.makeZeroVal(U->getType())); in VisitIncrementDecrementOperator()
1150 svalBuilder.makeZeroVal(U->getType())); in VisitIncrementDecrementOperator()
H A DRegionStore.cpp472 SVal V = svalBuilder.makeZeroVal(Ctx.CharTy); in BindDefaultZero()
1839 return svalBuilder.makeZeroVal(ElemT); in getSValFromInitListExpr()
1993 return svalBuilder.makeZeroVal(Ty); in getBindingForField()
2033 return svalBuilder.makeZeroVal(Ty); in getBindingForDerivedDefaultValue()
2239 return svalBuilder.makeZeroVal(T); in getBindingForVar()
2420 V = svalBuilder.makeZeroVal(T); in setImplicitDefaultValue()
2424 V = svalBuilder.makeZeroVal(Ctx.IntTy); in setImplicitDefaultValue()
H A DSimpleSValBuilder.cpp572 return makeZeroVal(resultTy); in evalBinOpNN()
789 return makeZeroVal(resultTy); in evalBinOpLL()
H A DExprEngine.cpp263 svalBuilder.makeZeroVal(T), in getInitialState()
/llvm-project-15.0.7/clang/unittests/StaticAnalyzer/
H A DStoreTest.cpp67 SVal Zero = Builder.makeZeroVal(ASTCtxt.IntTy); in performTest()
69 SVal NarrowZero = Builder.makeZeroVal(ASTCtxt.CharTy); in performTest()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DCStringChecker.cpp303 DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty); in REGISTER_MAP_WITH_PROGRAMSTATE()
1161 svalBuilder.makeZeroVal(Ctx.getSizeType())); in memsetAux()
1368 State = State->BindExpr(CE, LCtx, Builder.makeZeroVal(CE->getType())); in evalMemcmp()
1395 SameBuffer->BindExpr(CE, LCtx, Builder.makeZeroVal(CE->getType())); in evalMemcmp()
1444 SVal zero = C.getSValBuilder().makeZeroVal(CE->getType()); in evalstrLengthCommon()
2055 svalBuilder.makeZeroVal(CE->getType())); in evalStrcmpCommon()
2290 SVal Zero = C.getSValBuilder().makeZeroVal(C.getASTContext().IntTy); in evalBzero()
H A DVLASizeChecker.cpp192 DefinedOrUnknownSVal Zero = SVB.makeZeroVal(SizeTy); in checkVLAIndexSize()
H A DCallAndMessageChecker.cpp687 SVal V = C.getSValBuilder().makeZeroVal(RetTy); in HandleNilReceiver()
725 SVal V = C.getSValBuilder().makeZeroVal(RetTy); in HandleNilReceiver()
H A DSmartPtrModeling.cpp365 C.getSValBuilder().makeZeroVal(Call.getResultType()))); in evalCall()
874 C.getSValBuilder().makeZeroVal(Call.getResultType()))); in handleBoolConversion()
H A DMallocChecker.cpp1208 SVal ZeroVal = C.getSValBuilder().makeZeroVal(Ctx.CharTy); in performKernelMalloc()
1397 SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy); in checkGMalloc0()
1427 SVal Init = SB.makeZeroVal(SB.getContext().CharTy); in checkGMallocN0()
1542 SvalBuilder.makeZeroVal(Arg->getType()).castAs<DefinedSVal>(); in ProcessZeroAllocCheck()
2688 SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy); in CallocMem()
H A DStdLibraryFunctionsChecker.cpp444 SVB.makeZeroVal(C.getASTContext().IntTy).castAs<NonLoc>(); in apply()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h178 DefinedOrUnknownSVal makeZeroVal(QualType type);