| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SValBuilder.cpp | 32 DefinedOrUnknownSVal SValBuilder::makeZeroVal(QualType type) { in makeZeroVal() function in SValBuilder
99 return makeZeroVal(T); in getRegionValueSymbolVal()
119 return makeZeroVal(T); in conjureSymbolVal()
136 return makeZeroVal(type); in conjureSymbolVal()
155 return makeZeroVal(type); in conjureSymbolVal()
176 return makeZeroVal(T); in getConjuredHeapSymbolVal()
203 return makeZeroVal(T); in getDerivedRegionValueSymbolVal()
257 return makeZeroVal(E->getType()); in getConstantVal()
|
| D | ExprEngineC.cpp | 663 V = getSValBuilder().makeZeroVal(T); in VisitInitListExpr()
840 SVal X = svalBuilder.makeZeroVal(Ex->getType()); in VisitUnaryOperator()
983 svalBuilder.evalEQ(state, V2,svalBuilder.makeZeroVal(U->getType())); in VisitIncrementDecrementOperator()
989 svalBuilder.makeZeroVal(U->getType())); in VisitIncrementDecrementOperator()
|
| D | RegionStore.cpp | 1671 return svalBuilder.makeZeroVal(Ty); in getBindingForDerivedDefaultValue()
1853 return svalBuilder.makeZeroVal(T); in getBindingForVar()
2031 V = svalBuilder.makeZeroVal(T); in setImplicitDefaultValue()
2035 V = svalBuilder.makeZeroVal(Ctx.IntTy); in setImplicitDefaultValue()
|
| D | ExprEngineCXX.cpp | 302 SVal ZeroVal = svalBuilder.makeZeroVal(getContext().CharTy); in VisitCXXConstructExpr()
|
| D | SimpleSValBuilder.cpp | 602 return makeZeroVal(resultTy); in evalBinOpLL()
|
| D | ExprEngine.cpp | 133 svalBuilder.makeZeroVal(T), in getInitialState()
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| D | SValBuilder.cpp | 52 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()
|
| D | ExprEngineC.cpp | 788 V = getSValBuilder().makeZeroVal(T); in VisitInitListExpr()
985 SVal X = svalBuilder.makeZeroVal(Ex->getType()); in VisitUnaryOperator()
1149 svalBuilder.evalEQ(state, V2,svalBuilder.makeZeroVal(U->getType())); in VisitIncrementDecrementOperator()
1155 svalBuilder.makeZeroVal(U->getType())); in VisitIncrementDecrementOperator()
|
| D | RegionStore.cpp | 480 SVal V = svalBuilder.makeZeroVal(Ctx.CharTy); in BindDefaultZero()
1684 return svalBuilder.makeZeroVal(R->getElementType()); in getBindingForElement()
1768 return svalBuilder.makeZeroVal(Ty); in getBindingForField()
1788 return svalBuilder.makeZeroVal(Ty); in getBindingForDerivedDefaultValue()
1990 return svalBuilder.makeZeroVal(T); in getBindingForVar()
2171 V = svalBuilder.makeZeroVal(T); in setImplicitDefaultValue()
2175 V = svalBuilder.makeZeroVal(Ctx.IntTy); in setImplicitDefaultValue()
|
| D | SimpleSValBuilder.cpp | 658 return makeZeroVal(resultTy); in evalBinOpNN()
845 return makeZeroVal(resultTy); in evalBinOpLL()
|
| D | ExprEngine.cpp | 259 svalBuilder.makeZeroVal(T), in getInitialState()
|
| /external/llvm-project/clang/unittests/StaticAnalyzer/ |
| D | StoreTest.cpp | 67 SVal Zero = Builder.makeZeroVal(ASTCtxt.IntTy); in performTest()
69 SVal NarrowZero = Builder.makeZeroVal(ASTCtxt.CharTy); in performTest()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | VLASizeChecker.cpp | 137 DefinedOrUnknownSVal Zero = svalBuilder.makeZeroVal(Ty); in checkPreStmt()
|
| D | CallAndMessageChecker.cpp | 543 SVal V = C.getSValBuilder().makeZeroVal(RetTy); in HandleNilReceiver()
581 SVal V = C.getSValBuilder().makeZeroVal(RetTy); in HandleNilReceiver()
|
| D | CStringChecker.cpp | 227 DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty); in REGISTER_MAP_WITH_PROGRAMSTATE()
1175 svalBuilder.makeZeroVal(CE->getType())); in evalMemcmp()
1202 svalBuilder.makeZeroVal(CE->getType())); in evalMemcmp()
1258 SVal zero = C.getSValBuilder().makeZeroVal(CE->getType()); in evalstrLengthCommon()
1822 svalBuilder.makeZeroVal(CE->getType())); in evalStrcmpCommon()
|
| D | MallocChecker.cpp | 741 SVal ZeroVal = C.getSValBuilder().makeZeroVal(Ctx.CharTy); in performKernelMalloc()
894 SvalBuilder.makeZeroVal(Arg->getType()).castAs<DefinedSVal>(); in ProcessZeroAllocation()
2011 SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy); in CallocMem()
|
| D | BasicObjCFoundationChecks.cpp | 581 svalBuilder.makeZeroVal(Arg->getType()).castAs<DefinedSVal>(); in checkPreStmt()
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| D | CStringChecker.cpp | 290 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()
|
| D | SmartPtrModeling.cpp | 205 C.getSValBuilder().makeZeroVal(Call.getResultType()))); in evalCall()
600 C.getSValBuilder().makeZeroVal(Call.getResultType()))); in handleBoolConversion()
|
| D | VLASizeChecker.cpp | 192 DefinedOrUnknownSVal Zero = SVB.makeZeroVal(SizeTy); in checkVLAIndexSize()
|
| D | CallAndMessageChecker.cpp | 687 SVal V = C.getSValBuilder().makeZeroVal(RetTy); in HandleNilReceiver()
725 SVal V = C.getSValBuilder().makeZeroVal(RetTy); in HandleNilReceiver()
|
| D | MallocChecker.cpp | 1000 SVal ZeroVal = C.getSValBuilder().makeZeroVal(Ctx.CharTy); in performKernelMalloc()
1189 SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy); in checkGMalloc0()
1219 SVal Init = SB.makeZeroVal(SB.getContext().CharTy); in checkGMallocN0()
1334 SvalBuilder.makeZeroVal(Arg->getType()).castAs<DefinedSVal>(); in ProcessZeroAllocCheck()
2537 SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy); in CallocMem()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SValBuilder.h | 166 DefinedOrUnknownSVal makeZeroVal(QualType type);
|
| /external/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SValBuilder.h | 195 DefinedOrUnknownSVal makeZeroVal(QualType type);
|