Home
last modified time | relevance | path

Searched refs:UnknownVal (Results 1 – 22 of 22) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DSimpleSValBuilder.cpp97 return UnknownVal(); in evalCastFromNonLoc()
102 return UnknownVal(); in evalCastFromNonLoc()
113 return UnknownVal(); in evalCastFromNonLoc()
138 return UnknownVal(); in evalCastFromLoc()
154 return UnknownVal(); in evalCastFromLoc()
166 return UnknownVal(); in evalMinus()
175 return UnknownVal(); in evalComplement()
517 return UnknownVal(); in evalBinOpFieldRegionFieldRegion()
523 return UnknownVal(); in evalBinOpFieldRegionFieldRegion()
532 return UnknownVal(); in evalBinOpFieldRegionFieldRegion()
[all …]
DSValBuilder.cpp41 return UnknownVal(); in makeZeroVal()
99 return UnknownVal(); in getRegionValueSymbolVal()
130 return UnknownVal(); in conjureSymbolVal()
146 return UnknownVal(); in conjureSymbolVal()
189 return UnknownVal(); in getDerivedRegionValueSymbolVal()
307 return UnknownVal(); in makeSymExprValNN()
327 return UnknownVal(); in makeSymExprValNN()
338 return UnknownVal(); in evalBinOp()
435 return R ? SVal(loc::MemRegionVal(R)) : UnknownVal(); in evalCast()
488 return UnknownVal(); in evalCast()
[all …]
DStore.cpp250 return UnknownVal(); in evalDerivedToBase()
312 return UnknownVal(); in evalDynamicCast()
319 return UnknownVal(); in evalDynamicCast()
371 return UnknownVal(); in evalDynamicCast()
473 return UnknownVal(); in getLValueElement()
483 return UnknownVal(); in getLValueElement()
DRegionStore.cpp243 return UnknownVal(); in getDefaultBinding()
908 return B.addBinding(Concrete, BindingKey::Default, UnknownVal()); in removeSubRegionBindings()
930 UnknownVal()); in removeSubRegionBindings()
1224 return UnknownVal(); in getSizeInElements()
1232 return UnknownVal(); in getSizeInElements()
1255 return UnknownVal(); in ArrayToPointer()
1267 assert(!L.getAs<UnknownVal>() && "location unknown"); in getBinding()
1277 return UnknownVal(); in getBinding()
1280 return UnknownVal(); in getBinding()
1307 return UnknownVal(); in getBinding()
[all …]
DCallEvent.cpp191 return UnknownVal(); in getArgSVal()
405 return UnknownVal(); in getCXXThisVal()
569 return UnknownVal(); in getCXXThisVal()
596 return UnknownVal(); in getCXXThisVal()
641 return UnknownVal(); in getReceiverSVal()
DExprEngine.cpp770 ConstantVal = UnknownVal(); in Visit()
1135 UnknownVal())); in Visit()
1260 return UnknownVal(); in RecoverCastedSymbol()
1269 return UnknownVal(); in RecoverCastedSymbol()
1285 return UnknownVal(); in RecoverCastedSymbol()
1650 V = UnknownVal(); in VisitCommonDeclRefExpr()
1764 L = UnknownVal(); in VisitMemberExpr()
1772 L = UnknownVal(); in VisitMemberExpr()
2051 SVal V = UnknownVal(); in evalLoadCommon()
2168 state = state->bindLoc(*LV, UnknownVal()); in VisitGCCAsmStmt()
DEnvironment.cpp65 return UnknownVal(); in lookupExpr()
DExprEngineC.cpp600 V = UnknownVal(); in VisitInitListExpr()
843 Result = UnknownVal(); in VisitUnaryOperator()
903 RHS = UnknownVal(); in VisitIncrementDecrementOperator()
DProgramState.cpp261 return UnknownVal(); in getSValAsScalarOrLoc()
269 return UnknownVal(); in getSValAsScalarOrLoc()
DMemRegion.cpp190 return UnknownVal(); in getExtent()
200 return UnknownVal(); in getExtent()
210 return UnknownVal(); in getExtent()
DExprEngineCXX.cpp333 DefinedOrUnknownSVal symVal = UnknownVal(); in VisitCXXNewExpr()
DExprEngineCallAndReturn.cpp156 return UnknownVal(); in adjustReturnValue()
/external/clang/lib/StaticAnalyzer/Checkers/
DArrayBoundCheckerV2.cpp50 : baseRegion(0), byteOffset(UnknownVal()) {} in RegionRawOffsetV2()
77 return UnknownVal(); in computeExtentBegin()
257 return UnknownVal(); in addValue()
DCStringChecker.cpp714 return UnknownVal(); in getCStringLength()
738 return UnknownVal(); in getCStringLength()
742 return UnknownVal(); in getCStringLength()
1154 DefinedOrUnknownSVal result = UnknownVal(); in evalstrLengthCommon()
1316 SVal amountCopied = UnknownVal(); in evalStrcpyCommon()
1317 SVal maxLastElementIndex = UnknownVal(); in evalStrcpyCommon()
1456 SVal finalStrLength = UnknownVal(); in evalStrcpyCommon()
1525 SVal Result = (returnEnd ? UnknownVal() : DstVal); in evalStrcpyCommon()
1582 finalStrLength = UnknownVal(); in evalStrcpyCommon()
DMallocChecker.cpp742 return MallocMemAux(C, CE, UnknownVal(), UndefinedVal(), C.getState()); in MallocMemReturnsAttr()
1486 UnknownVal(), stateFree); in ReallocMem()
/external/clang/test/Analysis/
DPR3991.m54 // evaluate to UnknownVal.
Dmisc-ps.m109 // return UnknownVal.
Dmisc-ps-region-store.m144 // engine caches out. Previously a false transition would cause UnknownVal
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSVals.h224 class UnknownVal : public DefinedOrUnknownSVal {
226 explicit UnknownVal() : DefinedOrUnknownSVal(UnknownKind) {} in UnknownVal() function
DStore.h109 return UnknownVal(); in getSizeInElements()
DProgramState.h692 return UnknownVal(); in getLValue()
711 return UnknownVal(); in getSValAsScalarOrLoc()
DMemRegion.h430 return UnknownVal(); in getExtent()