| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SimpleSValBuilder.cpp | 96 return UnknownVal(); in evalCastFromNonLoc()
101 return UnknownVal(); in evalCastFromNonLoc()
106 return UnknownVal(); in evalCastFromNonLoc()
133 return UnknownVal(); in evalCastFromLoc()
151 return UnknownVal(); in evalCastFromLoc()
163 return UnknownVal(); in evalMinus()
172 return UnknownVal(); in evalComplement()
561 return UnknownVal(); in evalBinOpLL()
608 return UnknownVal(); in evalBinOpLL()
617 return UnknownVal(); in evalBinOpLL()
[all …]
|
| D | SValBuilder.cpp | 40 return UnknownVal(); in makeZeroVal()
99 return UnknownVal(); in getRegionValueSymbolVal()
125 return UnknownVal(); in getConjuredSymbolVal()
142 return UnknownVal(); in getConjuredSymbolVal()
173 return UnknownVal(); in getDerivedRegionValueSymbolVal()
221 return UnknownVal(); in makeGenericVal()
232 return UnknownVal(); in evalBinOp()
307 return R ? SVal(loc::MemRegionVal(R)) : UnknownVal(); in evalCast()
355 return UnknownVal(); in evalCast()
382 return R ? SVal(loc::MemRegionVal(R)) : UnknownVal(); in evalCast()
|
| D | RegionStore.cpp | 823 return UnknownVal(); in getSizeInElements()
831 return UnknownVal(); in getSizeInElements()
854 return UnknownVal(); in ArrayToPointer()
860 return UnknownVal(); in ArrayToPointer()
896 return UnknownVal(); in evalDynamicCast()
904 return UnknownVal(); in evalDynamicCast()
914 return UnknownVal(); in evalDynamicCast()
936 return UnknownVal(); in evalDynamicCast()
952 return UnknownVal(); in evalDynamicCast()
956 return UnknownVal(); in evalDynamicCast()
[all …]
|
| D | ObjCMessage.cpp | 63 return UnknownVal(); in getCXXCallee()
|
| D | Store.cpp | 312 return UnknownVal(); in getLValueElement()
321 return UnknownVal(); in getLValueElement()
|
| D | ExprEngine.cpp | 971 UnknownVal())); in Visit()
1146 return UnknownVal(); in RecoverCastedSymbol()
1155 return UnknownVal(); in RecoverCastedSymbol()
1170 return UnknownVal(); in RecoverCastedSymbol()
1445 V = UnknownVal(); in VisitCommonDeclRefExpr()
1466 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, UnknownVal()), in VisitCommonDeclRefExpr()
1531 Bldr.generateNode(M, Pred, state->BindExpr(M, LCtx, UnknownVal())); in VisitMemberExpr()
1695 state->BindExpr(BoundEx, LCtx, UnknownVal()), in evalLoadCommon()
1811 state = state->bindLoc(cast<Loc>(X), UnknownVal()); in VisitAsmStmt()
|
| D | ExprEngineObjC.cpp | 235 SVal ReturnValue = UnknownVal(); in evalObjCMessage()
|
| D | Environment.cpp | 29 return UnknownVal(); in lookupExpr()
|
| D | ProgramState.cpp | 218 return UnknownVal(); in getSValAsScalarOrLoc()
226 return UnknownVal(); in getSValAsScalarOrLoc()
|
| D | MemRegion.cpp | 189 return UnknownVal(); in getExtent()
205 return UnknownVal(); in getExtent()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | ArrayBoundCheckerV2.cpp | 50 : baseRegion(0), byteOffset(UnknownVal()) {} in RegionRawOffsetV2()
77 return UnknownVal(); in computeExtentBegin()
258 return UnknownVal(); in addValue()
|
| D | OSAtomicChecker.cpp | 191 SVal Res = UnknownVal(); in evalOSAtomicCompareAndSwap()
203 SVal Res = UnknownVal(); in evalOSAtomicCompareAndSwap()
|
| D | AdjustedReturnValueChecker.cpp | 50 C.addTransition(state->BindExpr(CE, LCtx, UnknownVal())); in checkPostStmt()
|
| D | CStringChecker.cpp | 725 return UnknownVal(); in getCStringLength()
749 return UnknownVal(); in getCStringLength()
753 return UnknownVal(); in getCStringLength()
1169 DefinedOrUnknownSVal result = UnknownVal(); in evalstrLengthCommon()
1339 SVal amountCopied = UnknownVal(); in evalStrcpyCommon()
1340 SVal maxLastElementIndex = UnknownVal(); in evalStrcpyCommon()
1462 SVal finalStrLength = UnknownVal(); in evalStrcpyCommon()
1531 SVal Result = (returnEnd ? UnknownVal() : DstVal); in evalStrcpyCommon()
1587 finalStrLength = UnknownVal(); in evalStrcpyCommon()
|
| D | MallocChecker.cpp | 418 return MallocMemAux(C, CE, UnknownVal(), UndefinedVal(), C.getState()); in MallocMemReturnsAttr()
794 UnknownVal(), stateFree); in ReallocMem()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SVals.h | 197 class UnknownVal : public DefinedOrUnknownSVal {
199 explicit UnknownVal() : DefinedOrUnknownSVal(UnknownKind) {} in UnknownVal() function
|
| D | Store.h | 115 return UnknownVal(); in getSizeInElements()
|
| D | ProgramState.h | 656 return UnknownVal(); in getLValue()
679 return UnknownVal(); in getSValAsScalarOrLoc()
|
| D | MemRegion.h | 387 return UnknownVal(); in getExtent()
|
| /external/clang/test/Analysis/ |
| D | PR3991.m | 54 // evaluate to UnknownVal.
|
| D | misc-ps.m | 111 // return UnknownVal.
|
| D | misc-ps-region-store.m | 144 // engine caches out. Previously a false transition would cause UnknownVal
|