Home
last modified time | relevance | path

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

/openbsd-src/gnu/llvm/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()
256 return makeZeroVal(T); in getDerivedRegionValueSymbolVal()
333 return makeZeroVal(E->getType()); in getConstantVal()
H A DExprEngineC.cpp783 V = getSValBuilder().makeZeroVal(T); in VisitInitListExpr()
980 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.cpp476 SVal V = svalBuilder.makeZeroVal(Ctx.CharTy); in BindDefaultZero()
1840 return svalBuilder.makeZeroVal(ElemT); in getSValFromInitListExpr()
1999 return svalBuilder.makeZeroVal(Ty); in getBindingForField()
2037 return svalBuilder.makeZeroVal(Ty); in getBindingForDerivedDefaultValue()
2244 return svalBuilder.makeZeroVal(T); in getBindingForVar()
2422 V = svalBuilder.makeZeroVal(T); in setImplicitDefaultValue()
2426 V = svalBuilder.makeZeroVal(Ctx.IntTy); in setImplicitDefaultValue()
H A DSimpleSValBuilder.cpp573 return makeZeroVal(resultTy); in evalBinOpNN()
790 return makeZeroVal(resultTy); in evalBinOpLL()
H A DExprEngine.cpp270 svalBuilder.makeZeroVal(T), in getInitialState()
/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/
H A DCStringChecker.cpp327 DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty); in REGISTER_MAP_WITH_PROGRAMSTATE()
1185 svalBuilder.makeZeroVal(Ctx.getSizeType())); in memsetAux()
1394 State = State->BindExpr(CE, LCtx, Builder.makeZeroVal(CE->getType())); in evalMemcmp()
1421 SameBuffer->BindExpr(CE, LCtx, Builder.makeZeroVal(CE->getType())); in evalMemcmp()
1470 SVal zero = C.getSValBuilder().makeZeroVal(CE->getType()); in evalstrLengthCommon()
2082 svalBuilder.makeZeroVal(CE->getType())); in evalStrcmpCommon()
2317 SVal Zero = C.getSValBuilder().makeZeroVal(C.getASTContext().IntTy); in evalBzero()
H A DVLASizeChecker.cpp193 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 DErrnoModeling.cpp297 NonLoc ZeroVal = SVB.makeZeroVal(C.getASTContext().IntTy).castAs<NonLoc>(); in setErrnoForStdFailure()
H A DSmartPtrModeling.cpp367 C.getSValBuilder().makeZeroVal(Call.getResultType()))); in evalCall()
876 C.getSValBuilder().makeZeroVal(Call.getResultType()))); in handleBoolConversion()
H A DMallocChecker.cpp1193 SVal ZeroVal = C.getSValBuilder().makeZeroVal(Ctx.CharTy); in performKernelMalloc()
1382 SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy); in checkGMalloc0()
1412 SVal Init = SB.makeZeroVal(SB.getContext().CharTy); in checkGMallocN0()
1527 SvalBuilder.makeZeroVal(Arg->getType()).castAs<DefinedSVal>(); in ProcessZeroAllocCheck()
2679 SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy); in CallocMem()
H A DStreamChecker.cpp900 SVB.makeZeroVal(C.getASTContext().LongTy), in evalFtell()
/openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h178 DefinedOrUnknownSVal makeZeroVal(QualType type);