| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SimpleSValBuilder.cpp | 97 return UnknownVal(); in evalCastFromNonLoc()
102 return UnknownVal(); in evalCastFromNonLoc()
113 return UnknownVal(); in evalCastFromNonLoc()
138 return UnknownVal(); in evalCastFromLoc()
180 return UnknownVal(); in evalCastFromLoc()
192 return UnknownVal(); in evalMinus()
201 return UnknownVal(); in evalComplement()
543 return UnknownVal(); in evalBinOpFieldRegionFieldRegion()
549 return UnknownVal(); in evalBinOpFieldRegionFieldRegion()
558 return UnknownVal(); in evalBinOpFieldRegionFieldRegion()
[all …]
|
| D | SValBuilder.cpp | 41 return UnknownVal(); in makeZeroVal()
102 return UnknownVal(); in getRegionValueSymbolVal()
139 return UnknownVal(); in conjureSymbolVal()
158 return UnknownVal(); in conjureSymbolVal()
206 return UnknownVal(); in getDerivedRegionValueSymbolVal()
337 return UnknownVal(); in makeSymExprValNN()
357 return UnknownVal(); in makeSymExprValNN()
368 return UnknownVal(); in evalBinOp()
372 return UnknownVal(); in evalBinOp()
485 return UnknownVal(); in evalCast()
[all …]
|
| D | Store.cpp | 239 return UnknownVal(); in evalDerivedToBase()
301 return UnknownVal(); in evalDynamicCast()
308 return UnknownVal(); in evalDynamicCast()
360 return UnknownVal(); in evalDynamicCast()
462 return UnknownVal(); in getLValueElement()
472 return UnknownVal(); in getLValueElement()
|
| D | RegionStore.cpp | 235 return UnknownVal(); in getDefaultBinding()
896 return B.addBinding(Concrete, BindingKey::Default, UnknownVal()); in removeSubRegionBindings()
918 UnknownVal()); in removeSubRegionBindings()
1307 return UnknownVal(); in getSizeInElements()
1315 return UnknownVal(); in getSizeInElements()
1338 return UnknownVal(); in ArrayToPointer()
1350 assert(!L.getAs<UnknownVal>() && "location unknown"); in getBinding()
1360 return UnknownVal(); in getBinding()
1363 return UnknownVal(); in getBinding()
1369 return UnknownVal(); in getBinding()
[all …]
|
| D | CallEvent.cpp | 226 return UnknownVal(); in getArgSVal()
463 return UnknownVal(); in getCXXThisVal()
636 return UnknownVal(); in getCXXThisVal()
662 return UnknownVal(); in getCXXThisVal()
715 return UnknownVal(); in getReceiverSVal()
|
| D | ExprEngine.cpp | 963 ConstantVal = UnknownVal(); in Visit()
1346 UnknownVal())); in Visit()
1488 return UnknownVal(); in RecoverCastedSymbol()
1497 return UnknownVal(); in RecoverCastedSymbol()
1513 return UnknownVal(); in RecoverCastedSymbol()
1935 V = UnknownVal(); in VisitCommonDeclRefExpr()
2063 L = UnknownVal(); in VisitMemberExpr()
2108 SVal ResultVal = UnknownVal(); in VisitAtomicExpr()
2375 SVal V = UnknownVal(); in evalLoadCommon()
2493 state = state->bindLoc(*LV, UnknownVal()); in VisitGCCAsmStmt()
|
| D | Environment.cpp | 66 return UnknownVal(); in lookupExpr()
|
| D | ExprEngineCXX.cpp | 367 SVal DestVal = UnknownVal(); in VisitCXXDestructor()
435 DefinedOrUnknownSVal symVal = UnknownVal(); in VisitCXXNewExpr()
|
| D | ProgramState.cpp | 240 return UnknownVal(); in getSValAsScalarOrLoc()
248 return UnknownVal(); in getSValAsScalarOrLoc()
|
| D | MemRegion.cpp | 186 return UnknownVal(); in getExtent()
196 return UnknownVal(); in getExtent()
206 return UnknownVal(); in getExtent()
|
| D | ExprEngineC.cpp | 905 Result = UnknownVal(); in VisitUnaryOperator()
967 RHS = UnknownVal(); in VisitIncrementDecrementOperator()
|
| D | ExprEngineCallAndReturn.cpp | 159 return UnknownVal(); in adjustReturnValue()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | ArrayBoundCheckerV2.cpp | 50 : baseRegion(nullptr), byteOffset(UnknownVal()) {} in RegionRawOffsetV2()
77 return UnknownVal(); in computeExtentBegin()
247 return UnknownVal(); in addValue()
|
| D | BuiltinFunctionChecker.cpp | 84 SVal V = UnknownVal(); in evalCall()
|
| D | CStringChecker.cpp | 746 return UnknownVal(); in getCStringLength()
770 return UnknownVal(); in getCStringLength()
774 return UnknownVal(); in getCStringLength()
1287 DefinedOrUnknownSVal result = UnknownVal(); in evalstrLengthCommon()
1451 SVal amountCopied = UnknownVal(); in evalStrcpyCommon()
1452 SVal maxLastElementIndex = UnknownVal(); in evalStrcpyCommon()
1591 SVal finalStrLength = UnknownVal(); in evalStrcpyCommon()
1660 SVal Result = (returnEnd ? UnknownVal() : DstVal); in evalStrcpyCommon()
1724 finalStrLength = UnknownVal(); in evalStrcpyCommon()
|
| D | MallocChecker.cpp | 834 State = MallocMemAux(C, CE, UnknownVal(), UnknownVal(), State, in checkPostStmt()
1065 return MallocMemAux(C, CE, UnknownVal(), UndefinedVal(), State); in MallocMemReturnsAttr()
1976 UnknownVal(), stateFree); in ReallocMem()
|
| /external/clang/test/Analysis/ |
| D | PR3991.m | 54 // evaluate to UnknownVal.
|
| D | misc-ps-region-store.m | 144 // engine caches out. Previously a false transition would cause UnknownVal
|
| D | misc-ps.m | 109 // return UnknownVal.
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SVals.def | 57 BASIC_SVAL(UnknownVal, DefinedOrUnknownSVal)
|
| D | SVals.h | 224 class UnknownVal : public DefinedOrUnknownSVal {
226 explicit UnknownVal() : DefinedOrUnknownSVal(UnknownValKind) {} in UnknownVal() function
|
| D | Store.h | 109 return UnknownVal(); in getSizeInElements()
|
| D | ProgramState.h | 725 return UnknownVal(); in getLValue()
744 return UnknownVal(); in getSValAsScalarOrLoc()
|
| D | MemRegion.h | 423 return UnknownVal(); in getExtent()
|
| /external/clang/include/clang/StaticAnalyzer/Checkers/ |
| D | SValExplainer.h | 47 std::string VisitUnknownVal(UnknownVal V) { in VisitUnknownVal()
|