| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | UndefCapturedBlockVarChecker.cpp | 72 if (Optional<UndefinedVal> V = in checkPostStmt()
73 state->getSVal(I.getOriginalRegion()).getAs<UndefinedVal>()) { in checkPostStmt()
|
| H A D | ObjCAtSyncChecker.cpp | 44 if (isa<UndefinedVal>(V)) { in checkPreStmt()
|
| H A D | MismatchedIteratorChecker.cpp | 170 SVal LHS = UndefinedVal(); in checkPreCall()
|
| H A D | MallocChecker.cpp | 1230 State = MallocMemAux(C, Call, Call.getArgExpr(0), UndefinedVal(), State, in checkBasicAlloc()
1244 State = MallocMemAux(C, Call, Call.getArgExpr(0), UndefinedVal(), State, in checkKernelMalloc()
1315 State = MallocMemAux(C, Call, Call.getArgExpr(0), UndefinedVal(), State, in checkAlloca()
1370 MallocMemAux(C, Call, CE->getArg(0), UndefinedVal(), State, AF_CXXNew); in checkCXXNewOrCXXDelete()
1374 State = MallocMemAux(C, Call, CE->getArg(0), UndefinedVal(), State, in checkCXXNewOrCXXDelete()
1415 SVal Init = UndefinedVal(); in checkGMallocN()
1709 UndefinedVal(), State, AF_Malloc); in MallocMemReturnsAttr()
1711 return MallocMemAux(C, Call, UnknownVal(), UndefinedVal(), State, AF_Malloc); in MallocMemReturnsAttr()
2623 C, Call, TotalSize, UndefinedVal(), StatePtrIsNull, Family); in ReallocMemAux()
|
| H A D | ArrayBoundCheckerV2.cpp | 311 SVal offset = UndefinedVal(); in computeOffset()
|
| H A D | ContainerModeling.cpp | 41 SVal OldCont = UndefinedVal()) const;
|
| H A D | CStringChecker.cpp | 862 return UndefinedVal(); in getCStringLength()
914 return UndefinedVal(); in getCStringLength()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SVals.h | 215 class UndefinedVal : public SVal {
217 UndefinedVal() : SVal(UndefinedValKind) {} in UndefinedVal() function
262 KnownSVal(const UndefinedVal &V) : SVal(V) {} in KnownSVal()
|
| H A D | SVals.def | 54 BASIC_SVAL(UndefinedVal, SVal)
|
| /llvm-project-15.0.7/llvm/unittests/Analysis/ |
| H A D | SparsePropagation.cpp | 56 UndefinedVal, enumerator
62 TestLatticeVal() : LatticeVal(nullptr, UndefinedVal) {} in TestLatticeVal()
104 TestLatticeVal(nullptr, TestLatticeVal::UndefinedVal), in TestLatticeFunc()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | SimpleSValBuilder.cpp | 134 return UndefinedVal(); in MakeSymIntVal()
142 return UndefinedVal(); in MakeSymIntVal()
532 return UndefinedVal(); in evalBinOpNN()
1058 return UndefinedVal(); in evalBinOpLN()
1239 return UndefinedVal(); in simplifySValOnce()
|
| H A D | Environment.cpp | 127 return UndefinedVal(); in getSVal()
|
| H A D | RegionStore.cpp | 1398 assert(!isa<UndefinedVal>(L) && "location undefined"); in getBinding()
1515 return UndefinedVal(); in getBinding()
1711 return UndefinedVal(); in convertOffsetsFromSvalToUnsigneds()
1904 return UndefinedVal(); in getDerivedSymbolForBinding()
1934 return UndefinedVal(); in getBindingForElement()
2161 return UndefinedVal(); in getBindingForFieldOrElementCommon()
2249 return UndefinedVal(); in getBindingForVar()
|
| H A D | Store.cpp | 412 return UndefinedVal(); in getLValueFieldOrIvar()
|
| H A D | SValBuilder.cpp | 487 return UndefinedVal(); in evalBinOp()
660 SVal VisitUndefinedVal(UndefinedVal V) { return V; } in VisitUndefinedVal()
|
| H A D | CallEvent.cpp | 323 return UndefinedVal(); in getReturnValue()
|
| H A D | ExprEngine.cpp | 2530 if (isa<UndefinedVal, loc::ConcreteInt>(V)) { in processIndirectGoto()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | SValExplainer.h | 52 std::string VisitUndefinedVal(UndefinedVal V) { in VisitUndefinedVal()
|