Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DDynamicExtent.cpp50 return UnknownVal(); in getConstantArrayElementCount()
56 return UnknownVal(); in getConstantArrayElementCount()
67 return ElementCount.value_or(UnknownVal()); in getDynamicElementCount()
89 return UnknownVal(); in getDynamicExtentWithOffset()
92 return UnknownVal(); in getDynamicExtentWithOffset()
95 return UnknownVal(); in getDynamicExtentWithOffset()
110 return UnknownVal(); in getDynamicElementCountWithOffset()
H A DSValBuilder.cpp74 return UnknownVal(); in makeZeroVal()
144 return UnknownVal(); in getRegionValueSymbolVal()
183 return UnknownVal(); in conjureSymbolVal()
265 return UnknownVal(); in getDerivedRegionValueSymbolVal()
454 return UnknownVal(); in makeSymExprValNN()
465 return UnknownVal(); in evalMinus()
477 return UnknownVal(); in evalComplement()
485 return UnknownVal(); in evalUnaryOp()
500 return UnknownVal(); in evalBinOp()
503 return UnknownVal(); in evalBinOp()
[all …]
H A DSimpleSValBuilder.cpp479 return UnknownVal(); in evalBinOpNN()
489 return UnknownVal(); in evalBinOpNN()
497 return UnknownVal(); in evalBinOpNN()
559 return UnknownVal(); in evalBinOpNN()
730 return UnknownVal(); in evalBinOpFieldRegionFieldRegion()
736 return UnknownVal(); in evalBinOpFieldRegionFieldRegion()
745 return UnknownVal(); in evalBinOpFieldRegionFieldRegion()
810 return UnknownVal(); in evalBinOpLL()
857 return UnknownVal(); in evalBinOpLL()
866 return UnknownVal(); in evalBinOpLL()
[all …]
H A DStore.cpp258 return UnknownVal(); in evalDerivedToBase()
322 return UnknownVal(); in evalBaseToDerived()
329 return UnknownVal(); in evalBaseToDerived()
397 return UnknownVal(); in evalBaseToDerived()
468 return UnknownVal(); in getLValueElement()
484 return UnknownVal(); in getLValueElement()
504 return UnknownVal(); in getLValueElement()
H A DRegionStore.cpp381 V = UnknownVal(); in addBinding()
1117 return B.addBinding(Concrete, BindingKey::Default, UnknownVal()); in removeSubRegionBindings()
1137 UnknownVal()); in removeSubRegionBindings()
1530 return UnknownVal(); in ArrayToPointer()
1543 assert(!isa<UnknownVal>(L) && "location unknown"); in getBinding()
1553 return UnknownVal(); in getBinding()
1556 return UnknownVal(); in getBinding()
1562 return UnknownVal(); in getBinding()
1588 return UnknownVal(); in getBinding()
1609 return UnknownVal(); in getBinding()
[all …]
H A DExprEngine.cpp627 return State->set<ObjectsUnderConstruction>(Key, UnknownVal()); in elideDestructor()
1678 State = addObjectUnderConstruction(State, BTE, LC, UnknownVal()); in VisitCXXBindTemporaryExpr()
2014 ConstantVal = UnknownVal(); in Visit()
2435 UnknownVal())); in Visit()
2648 return UnknownVal(); in RecoverCastedSymbol()
2657 return UnknownVal(); in RecoverCastedSymbol()
2673 return UnknownVal(); in RecoverCastedSymbol()
3223 V = UnknownVal(); in VisitCommonDeclRefExpr()
3257 V = UnknownVal(); in VisitCommonDeclRefExpr()
3272 Base = UnknownVal(); in VisitCommonDeclRefExpr()
[all …]
H A DCallEvent.cpp310 return UnknownVal(); in getArgSVal()
453 return UnknownVal(); in castArgToParamTypeIfNeeded()
748 SVal ThisVal = Base ? getSVal(Base) : UnknownVal(); in getCXXThisVal()
935 return UnknownVal(); in getCXXThisVal()
980 return UnknownVal(); in getCXXThisVal()
1027 return UnknownVal(); in getReceiverSVal()
H A DExprEngineC.cpp321 SVal CastedV = UnknownVal(); in VisitCast()
404 state = state->BindExpr(CastE, LCtx, UnknownVal()); in VisitCast()
517 val = V ? *V : UnknownVal(); in VisitCast()
1081 Result = UnknownVal(); in VisitUnaryOperator()
1149 RHS = UnknownVal(); in VisitIncrementDecrementOperator()
H A DEnvironment.cpp84 return UnknownVal(); in lookupExpr()
H A DProgramState.cpp251 return UnknownVal(); in getSValAsScalarOrLoc()
259 return UnknownVal(); in getSValAsScalarOrLoc()
H A DMemRegion.cpp836 return UnknownVal(); in getStaticSize()
843 return UnknownVal(); in getStaticSize()
891 return UnknownVal(); in getStaticSize()
H A DExprEngineCallAndReturn.cpp158 return UnknownVal(); in adjustReturnValue()
819 Size = UnknownVal(); in bindReturnValue()
H A DExprEngineCXX.cpp557 SVal Target = UnknownVal(); in handleConstructor()
974 SVal symVal = UnknownVal(); in VisitCXXNewExpr()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DCStringChecker.cpp1065 return UnknownVal(); in getCStringLength()
1104 return UnknownVal(); in getCStringLength()
1108 return UnknownVal(); in getCStringLength()
1731 DefinedOrUnknownSVal result = UnknownVal(); in evalstrLengthCommon()
1914 SVal amountCopied = UnknownVal(); in evalStrcpyCommon()
1915 SVal maxLastElementIndex = UnknownVal(); in evalStrcpyCommon()
2006 amountCopied = UnknownVal(); in evalStrcpyCommon()
2088 SVal finalStrLength = UnknownVal(); in evalStrcpyCommon()
2089 SVal strlRetVal = UnknownVal(); in evalStrcpyCommon()
2171 Result = (ReturnEnd ? UnknownVal() : DstVal); in evalStrcpyCommon()
[all …]
H A DMallocChecker.cpp1380 State = MallocMemAux(C, Call, UnknownVal(), UnknownVal(), State, in checkStrdup()
1391 State = MallocMemAux(C, Call, UnknownVal(), UnknownVal(), State, in checkIfNameIndex()
1482 State = MallocMemAux(C, Call, Call.getArgExpr(1), UnknownVal(), State, in checkGMemdup()
1875 UnknownVal(), State, Family); in MallocMemReturnsAttr()
1877 return MallocMemAux(C, Call, UnknownVal(), UnknownVal(), State, Family); in MallocMemReturnsAttr()
1987 Size = UnknownVal(); in MallocMemAux()
2878 MallocMemAux(C, Call, TotalSize, UnknownVal(), stateFree, Family); in ReallocMemAux()
H A DCheckPlacementNew.cpp99 return UnknownVal(); in getExtentSizeOfNewTarget()
H A DBuiltinFunctionChecker.cpp323 SVal V = UnknownVal(); in evalCall()
H A DStreamChecker.cpp1127 getKnownValue(State, StartElementIndex.value_or(UnknownVal())); in tryToInvalidateFReadBufferByElements()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSVals.h216 class UnknownVal : public DefinedOrUnknownSVal {
218 explicit UnknownVal() : DefinedOrUnknownSVal(UnknownValKind) {} in UnknownVal() function
H A DProgramState.h783 return UnknownVal(); in getLValue()
802 return UnknownVal(); in getSValAsScalarOrLoc()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/
H A DSValExplainer.h70 std::string VisitUnknownVal(UnknownVal V) { in VisitUnknownVal()