Home
last modified time | relevance | path

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

/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
H A DSValBuilder.cpp52 DefinedOrUnknownSVal SValBuilder::makeZeroVal(QualType type) { in makeZeroVal() function in SValBuilder
122 return makeZeroVal(T); in getRegionValueSymbolVal()
142 return makeZeroVal(T); in conjureSymbolVal()
159 return makeZeroVal(type); in conjureSymbolVal()
177 return makeZeroVal(type); in conjureSymbolVal()
198 return makeZeroVal(T); in getConjuredHeapSymbolVal()
226 return makeZeroVal(T); in getDerivedRegionValueSymbolVal()
297 return makeZeroVal(E->getType()); in getConstantVal()
H A DExprEngineC.cpp791 V = getSValBuilder().makeZeroVal(T); in VisitInitListExpr()
988 SVal X = svalBuilder.makeZeroVal(Ex->getType()); in VisitUnaryOperator()
1152 svalBuilder.evalEQ(state, V2,svalBuilder.makeZeroVal(U->getType())); in VisitIncrementDecrementOperator()
1158 svalBuilder.makeZeroVal(U->getType())); in VisitIncrementDecrementOperator()
H A DRegionStore.cpp479 SVal V = svalBuilder.makeZeroVal(Ctx.CharTy); in BindDefaultZero()
1683 return svalBuilder.makeZeroVal(R->getElementType()); in getBindingForElement()
1767 return svalBuilder.makeZeroVal(Ty); in getBindingForField()
1787 return svalBuilder.makeZeroVal(Ty); in getBindingForDerivedDefaultValue()
1989 return svalBuilder.makeZeroVal(T); in getBindingForVar()
2170 V = svalBuilder.makeZeroVal(T); in setImplicitDefaultValue()
2174 V = svalBuilder.makeZeroVal(Ctx.IntTy); in setImplicitDefaultValue()
H A DSimpleSValBuilder.cpp529 return makeZeroVal(resultTy); in evalBinOpNN()
716 return makeZeroVal(resultTy); in evalBinOpLL()
H A DExprEngine.cpp259 svalBuilder.makeZeroVal(T), in getInitialState()
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
H A DCStringChecker.cpp290 DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty); in REGISTER_MAP_WITH_PROGRAMSTATE()
1098 svalBuilder.makeZeroVal(Ctx.getSizeType())); in memsetAux()
1300 State = State->BindExpr(CE, LCtx, Builder.makeZeroVal(CE->getType())); in evalMemcmp()
1327 SameBuffer->BindExpr(CE, LCtx, Builder.makeZeroVal(CE->getType())); in evalMemcmp()
1376 SVal zero = C.getSValBuilder().makeZeroVal(CE->getType()); in evalstrLengthCommon()
1987 svalBuilder.makeZeroVal(CE->getType())); in evalStrcmpCommon()
2222 SVal Zero = C.getSValBuilder().makeZeroVal(C.getASTContext().IntTy); in evalBzero()
H A DSmartPtrModeling.cpp205 C.getSValBuilder().makeZeroVal(Call.getResultType()))); in evalCall()
600 C.getSValBuilder().makeZeroVal(Call.getResultType()))); in handleBoolConversion()
H A DCallAndMessageChecker.cpp687 SVal V = C.getSValBuilder().makeZeroVal(RetTy); in HandleNilReceiver()
725 SVal V = C.getSValBuilder().makeZeroVal(RetTy); in HandleNilReceiver()
H A DVLASizeChecker.cpp192 DefinedOrUnknownSVal Zero = SVB.makeZeroVal(SizeTy); in checkVLAIndexSize()
H A DMallocChecker.cpp996 SVal ZeroVal = C.getSValBuilder().makeZeroVal(Ctx.CharTy); in performKernelMalloc()
1185 SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy); in checkGMalloc0()
1215 SVal Init = SB.makeZeroVal(SB.getContext().CharTy); in checkGMallocN0()
1330 SvalBuilder.makeZeroVal(Arg->getType()).castAs<DefinedSVal>(); in ProcessZeroAllocCheck()
2474 SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy); in CallocMem()
/netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h209 DefinedOrUnknownSVal makeZeroVal(QualType type);