Home
last modified time | relevance | path

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

/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
H A DSimpleSValBuilder.cpp68 return UnknownVal(); in evalMinus()
77 return UnknownVal(); in evalComplement()
419 return UnknownVal(); in evalBinOpNN()
429 return UnknownVal(); in evalBinOpNN()
437 return UnknownVal(); in evalBinOpNN()
657 return UnknownVal(); in evalBinOpFieldRegionFieldRegion()
663 return UnknownVal(); in evalBinOpFieldRegionFieldRegion()
672 return UnknownVal(); in evalBinOpFieldRegionFieldRegion()
708 return UnknownVal(); in evalBinOpLL()
755 return UnknownVal(); in evalBinOpLL()
[all …]
H A DSValBuilder.cpp64 return UnknownVal(); in makeZeroVal()
125 return UnknownVal(); in getRegionValueSymbolVal()
162 return UnknownVal(); in conjureSymbolVal()
180 return UnknownVal(); in conjureSymbolVal()
229 return UnknownVal(); in getDerivedRegionValueSymbolVal()
410 return UnknownVal(); in makeSymExprValNN()
419 return UnknownVal(); in evalBinOp()
423 return UnknownVal(); in evalBinOp()
431 return UnknownVal(); in evalBinOp()
585 return evalCastKind(V.castAs<UnknownVal>(), CastTy, OriginalTy); in evalCast()
[all …]
H A DStore.cpp253 return UnknownVal(); in evalDerivedToBase()
321 return UnknownVal(); in attemptDownCast()
328 return UnknownVal(); in attemptDownCast()
394 return UnknownVal(); in attemptDownCast()
452 return UnknownVal(); in getLValueElement()
478 return UnknownVal(); in getLValueElement()
488 return UnknownVal(); in getLValueElement()
H A DDynamicExtent.cpp62 return UnknownVal(); in getDynamicExtentWithOffset()
65 return UnknownVal(); in getDynamicExtentWithOffset()
68 return UnknownVal(); in getDynamicExtentWithOffset()
H A DRegionStore.cpp954 return B.addBinding(Concrete, BindingKey::Default, UnknownVal()); in removeSubRegionBindings()
976 UnknownVal()); in removeSubRegionBindings()
1395 return UnknownVal(); in ArrayToPointer()
1408 assert(!L.getAs<UnknownVal>() && "location unknown"); in getBinding()
1418 return UnknownVal(); in getBinding()
1421 return UnknownVal(); in getBinding()
1427 return UnknownVal(); in getBinding()
1452 return UnknownVal(); in getBinding()
1473 return UnknownVal(); in getBinding()
1478 return UnknownVal(); in getBinding()
[all …]
H A DCallEvent.cpp384 return UnknownVal(); in getArgSVal()
712 return UnknownVal(); in getCXXThisVal()
890 return UnknownVal(); in getCXXThisVal()
927 return UnknownVal(); in getCXXThisVal()
974 return UnknownVal(); in getReceiverSVal()
H A DExprEngine.cpp496 return State->set<ObjectsUnderConstruction>(Key, UnknownVal()); in elideDestructor()
1169 State = addObjectUnderConstruction(State, BTE, LC, UnknownVal()); in VisitCXXBindTemporaryExpr()
1456 ConstantVal = UnknownVal(); in Visit()
1872 UnknownVal())); in Visit()
2047 return UnknownVal(); in RecoverCastedSymbol()
2056 return UnknownVal(); in RecoverCastedSymbol()
2072 return UnknownVal(); in RecoverCastedSymbol()
2575 V = UnknownVal(); in VisitCommonDeclRefExpr()
2724 L = UnknownVal(); in VisitMemberExpr()
2768 SVal ResultVal = UnknownVal(); in VisitAtomicExpr()
[all …]
H A DProgramState.cpp255 return UnknownVal(); in getSValAsScalarOrLoc()
263 return UnknownVal(); in getSValAsScalarOrLoc()
H A DEnvironment.cpp83 return UnknownVal(); in lookupExpr()
H A DExprEngineC.cpp390 state = state->BindExpr(CastE, LCtx, UnknownVal()); in VisitCast()
1059 Result = UnknownVal(); in VisitUnaryOperator()
1129 RHS = UnknownVal(); in VisitIncrementDecrementOperator()
H A DMemRegion.cpp761 return UnknownVal(); in getStaticSize()
768 return UnknownVal(); in getStaticSize()
777 return UnknownVal(); in getStaticSize()
H A DExprEngineCXX.cpp469 SVal Target = UnknownVal(); in handleConstructor()
841 SVal symVal = UnknownVal(); in VisitCXXNewExpr()
H A DExprEngineCallAndReturn.cpp161 return UnknownVal(); in adjustReturnValue()
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
H A DGTestChecker.cpp255 return UnknownVal(); in getAssertionResultSuccessFieldValue()
259 return UnknownVal(); in getAssertionResultSuccessFieldValue()
264 return UnknownVal(); in getAssertionResultSuccessFieldValue()
H A DArrayBoundCheckerV2.cpp53 : baseRegion(nullptr), byteOffset(UnknownVal()) {} in RegionRawOffsetV2()
75 return UnknownVal(); in computeExtentBegin()
298 return UnknownVal(); in addValue()
H A DCStringChecker.cpp800 return UnknownVal(); in getCStringLength()
825 return UnknownVal(); in getCStringLength()
829 return UnknownVal(); in getCStringLength()
1404 DefinedOrUnknownSVal result = UnknownVal(); in evalstrLengthCommon()
1582 SVal amountCopied = UnknownVal(); in evalStrcpyCommon()
1583 SVal maxLastElementIndex = UnknownVal(); in evalStrcpyCommon()
1673 amountCopied = UnknownVal(); in evalStrcpyCommon()
1752 SVal finalStrLength = UnknownVal(); in evalStrcpyCommon()
1753 SVal strlRetVal = UnknownVal(); in evalStrcpyCommon()
1833 Result = (ReturnEnd ? UnknownVal() : DstVal); in evalStrcpyCommon()
[all …]
H A DBuiltinFunctionChecker.cpp108 SVal V = UnknownVal(); in evalCall()
H A DCheckPlacementNew.cpp99 return UnknownVal(); in getExtentSizeOfNewTarget()
H A DMallocChecker.cpp1126 MallocMemAux(C, Call, UnknownVal(), UnknownVal(), State, AF_IfNameIndex); in checkIfNameIndex()
1499 return MallocMemAux(C, Call, UnknownVal(), UndefinedVal(), State, AF_Malloc); in MallocMemReturnsAttr()
2435 MallocMemAux(C, Call, TotalSize, UnknownVal(), stateFree, Family); in ReallocMemAux()
/netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSVals.def56 BASIC_SVAL(UnknownVal, DefinedOrUnknownSVal)
H A DSVals.h244 class UnknownVal : public DefinedOrUnknownSVal {
246 explicit UnknownVal() : DefinedOrUnknownSVal(UnknownValKind) {} in UnknownVal() function
H A DProgramState.h762 return UnknownVal(); in getLValue()
781 return UnknownVal(); in getSValAsScalarOrLoc()
H A DSValBuilder.h76 SVal evalCastKind(UnknownVal V, QualType CastTy, QualType OriginalTy);
/netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Checkers/
H A DSValExplainer.h48 std::string VisitUnknownVal(UnknownVal V) { in VisitUnknownVal()