Home
last modified time | relevance | path

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

/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DDynamicExtent.cpp51 return UnknownVal(); in getConstantArrayElementCount()
57 return UnknownVal(); in getConstantArrayElementCount()
68 return ElementCount.value_or(UnknownVal()); in getDynamicElementCount()
90 return UnknownVal(); in getDynamicExtentWithOffset()
93 return UnknownVal(); in getDynamicExtentWithOffset()
96 return UnknownVal(); in getDynamicExtentWithOffset()
111 return UnknownVal(); in getDynamicElementCountWithOffset()
H A DSValBuilder.cpp74 return UnknownVal(); in makeZeroVal()
148 return UnknownVal(); in getRegionValueSymbolVal()
185 return UnknownVal(); in conjureSymbolVal()
203 return UnknownVal(); in conjureSymbolVal()
267 return UnknownVal(); in getDerivedRegionValueSymbolVal()
453 return UnknownVal(); in makeSymExprValNN()
464 return UnknownVal(); in evalMinus()
476 return UnknownVal(); in evalComplement()
484 return UnknownVal(); in evalUnaryOp()
499 return UnknownVal(); in evalBinOp()
[all …]
H A DSimpleSValBuilder.cpp477 return UnknownVal(); in evalBinOpNN()
487 return UnknownVal(); in evalBinOpNN()
495 return UnknownVal(); in evalBinOpNN()
557 return UnknownVal(); in evalBinOpNN()
728 return UnknownVal(); in evalBinOpFieldRegionFieldRegion()
734 return UnknownVal(); in evalBinOpFieldRegionFieldRegion()
743 return UnknownVal(); in evalBinOpFieldRegionFieldRegion()
808 return UnknownVal(); in evalBinOpLL()
855 return UnknownVal(); in evalBinOpLL()
866 return UnknownVal(); in evalBinOpLL()
[all …]
H A DStore.cpp256 return UnknownVal(); in evalDerivedToBase()
320 return UnknownVal(); in evalBaseToDerived()
327 return UnknownVal(); in evalBaseToDerived()
395 return UnknownVal(); in evalBaseToDerived()
466 return UnknownVal(); in getLValueElement()
482 return UnknownVal(); in getLValueElement()
502 return UnknownVal(); in getLValueElement()
512 return UnknownVal(); in getLValueElement()
H A DRegionStore.cpp947 return B.addBinding(Concrete, BindingKey::Default, UnknownVal()); in removeSubRegionBindings()
967 UnknownVal()); in removeSubRegionBindings()
1371 return UnknownVal(); in ArrayToPointer()
1384 assert(!isa<UnknownVal>(L) && "location unknown"); in getBinding()
1394 return UnknownVal(); in getBinding()
1397 return UnknownVal(); in getBinding()
1403 return UnknownVal(); in getBinding()
1429 return UnknownVal(); in getBinding()
1450 return UnknownVal(); in getBinding()
1455 return UnknownVal(); in getBinding()
[all …]
H A DExprEngine.cpp626 return State->set<ObjectsUnderConstruction>(Key, UnknownVal()); in elideDestructor()
1679 State = addObjectUnderConstruction(State, BTE, LC, UnknownVal()); in VisitCXXBindTemporaryExpr()
1993 ConstantVal = UnknownVal(); in Visit()
2414 UnknownVal())); in Visit()
2589 return UnknownVal(); in RecoverCastedSymbol()
2598 return UnknownVal(); in RecoverCastedSymbol()
2614 return UnknownVal(); in RecoverCastedSymbol()
3115 V = UnknownVal(); in VisitCommonDeclRefExpr()
3147 Base = UnknownVal(); in VisitCommonDeclRefExpr()
3150 SVal V = UnknownVal(); in VisitCommonDeclRefExpr()
[all …]
H A DCallEvent.cpp311 return UnknownVal(); in getArgSVal()
454 return UnknownVal(); in castArgToParamTypeIfNeeded()
738 SVal ThisVal = Base ? getSVal(Base) : UnknownVal(); in getCXXThisVal()
923 return UnknownVal(); in getCXXThisVal()
960 return UnknownVal(); in getCXXThisVal()
1007 return UnknownVal(); in getReceiverSVal()
H A DExprEngineC.cpp368 state = state->BindExpr(CastE, LCtx, UnknownVal()); in VisitCast()
481 val = V ? *V : UnknownVal(); in VisitCast()
1041 Result = UnknownVal(); in VisitUnaryOperator()
1109 RHS = UnknownVal(); in VisitIncrementDecrementOperator()
H A DEnvironment.cpp86 return UnknownVal(); in lookupExpr()
H A DExprEngineCXX.cpp569 SVal Base = UnknownVal(); in bindRequiredArrayElementToEnvironment()
592 SVal Target = UnknownVal(); in handleConstructor()
1004 SVal symVal = UnknownVal(); in VisitCXXNewExpr()
H A DProgramState.cpp263 return UnknownVal(); in getSValAsScalarOrLoc()
271 return UnknownVal(); in getSValAsScalarOrLoc()
H A DMemRegion.cpp812 return UnknownVal(); in getStaticSize()
819 return UnknownVal(); in getStaticSize()
867 return UnknownVal(); in getStaticSize()
H A DExprEngineCallAndReturn.cpp162 return UnknownVal(); in adjustReturnValue()
818 Size = UnknownVal(); in bindReturnValue()
/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DGTestChecker.cpp254 return UnknownVal(); in getAssertionResultSuccessFieldValue()
258 return UnknownVal(); in getAssertionResultSuccessFieldValue()
263 return UnknownVal(); in getAssertionResultSuccessFieldValue()
H A DBuiltinFunctionChecker.cpp131 SVal V = UnknownVal(); in evalCall()
H A DCStringChecker.cpp1059 return UnknownVal(); in getCStringLength()
1098 return UnknownVal(); in getCStringLength()
1102 return UnknownVal(); in getCStringLength()
1727 DefinedOrUnknownSVal result = UnknownVal(); in evalstrLengthCommon()
1912 SVal amountCopied = UnknownVal(); in evalStrcpyCommon()
1913 SVal maxLastElementIndex = UnknownVal(); in evalStrcpyCommon()
2004 amountCopied = UnknownVal(); in evalStrcpyCommon()
2086 SVal finalStrLength = UnknownVal(); in evalStrcpyCommon()
2087 SVal strlRetVal = UnknownVal(); in evalStrcpyCommon()
2169 Result = (ReturnEnd ? UnknownVal() : DstVal); in evalStrcpyCommon()
[all …]
H A DCheckPlacementNew.cpp99 return UnknownVal(); in getExtentSizeOfNewTarget()
H A DMallocChecker.cpp1247 MallocMemAux(C, Call, UnknownVal(), UnknownVal(), State, AF_IfNameIndex); in checkIfNameIndex()
1316 MallocMemAux(C, Call, Call.getArgExpr(1), UnknownVal(), State, AF_Malloc); in checkGMemdup()
1681 return MallocMemAux(C, Call, UnknownVal(), UndefinedVal(), State, AF_Malloc); in MallocMemReturnsAttr()
1782 Size = UnknownVal(); in MallocMemAux()
2693 MallocMemAux(C, Call, TotalSize, UnknownVal(), stateFree, Family); in ReallocMemAux()
H A DStreamChecker.cpp1088 getKnownValue(State, StartElementIndex.value_or(UnknownVal())); in tryToInvalidateFReadBufferByElements()
/src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSVals.def52 BASIC_SVAL(UnknownVal, DefinedOrUnknownSVal)
H A DSVals.h213 class UnknownVal : public DefinedOrUnknownSVal {
215 explicit UnknownVal() : DefinedOrUnknownSVal(UnknownValKind) {} in UnknownVal() function
H A DProgramState.h790 return UnknownVal(); in getLValue()
809 return UnknownVal(); in getSValAsScalarOrLoc()
/src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/
H A DSValExplainer.h60 std::string VisitUnknownVal(UnknownVal V) { in VisitUnknownVal()