| /src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | UndefCapturedBlockVarChecker.cpp | 70 if (std::optional<UndefinedVal> V = in checkPostStmt()
71 state->getSVal(Var.getOriginalRegion()).getAs<UndefinedVal>()) { in checkPostStmt()
|
| H A D | ObjCAtSyncChecker.cpp | 46 if (isa<UndefinedVal>(V)) { in checkPreStmt()
|
| H A D | MallocChecker.cpp | 1145 State = MallocMemAux(C, Call, Call.getArgExpr(0), UndefinedVal(), State, in checkBasicAlloc()
1159 State = MallocMemAux(C, Call, Call.getArgExpr(0), UndefinedVal(), State, in checkKernelMalloc()
1224 State = MallocMemAux(C, Call, Call.getArgExpr(0), UndefinedVal(), State, in checkAlloca()
1279 MallocMemAux(C, Call, CE->getArg(0), UndefinedVal(), State, AF_CXXNew); in checkCXXNewOrCXXDelete()
1283 State = MallocMemAux(C, Call, CE->getArg(0), UndefinedVal(), State, in checkCXXNewOrCXXDelete()
1324 SVal Init = UndefinedVal(); in checkGMallocN()
1679 UndefinedVal(), State, AF_Malloc); in MallocMemReturnsAttr()
1681 return MallocMemAux(C, Call, UnknownVal(), UndefinedVal(), State, AF_Malloc); in MallocMemReturnsAttr()
2667 C, Call, TotalSize, UndefinedVal(), StatePtrIsNull, Family); in ReallocMemAux()
|
| H A D | MismatchedIteratorChecker.cpp | 160 SVal LHS = UndefinedVal(); in checkPreCall()
|
| H A D | ContainerModeling.cpp | 41 SVal OldCont = UndefinedVal()) const;
|
| H A D | CStringChecker.cpp | 1055 return UndefinedVal(); in getCStringLength()
1121 return UndefinedVal(); in getCStringLength()
|
| H A D | StreamChecker.cpp | 1459 StateFailed = StateFailed->bindLoc(*NewLinePtr, UndefinedVal(), in evalGetdelim()
|
| /src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SVals.def | 50 BASIC_SVAL(UndefinedVal, SVal)
|
| H A D | SVals.h | 193 class UndefinedVal : public SVal {
195 UndefinedVal() : SVal(UndefinedValKind) {} in UndefinedVal() function
|
| /src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | SimpleSValBuilder.cpp | 149 return UndefinedVal(); in MakeSymIntVal()
157 return UndefinedVal(); in MakeSymIntVal()
559 return UndefinedVal(); in evalBinOpNN()
1085 return UndefinedVal(); in evalBinOpLN()
1298 return UndefinedVal(); in simplifySValOnce()
|
| H A D | Environment.cpp | 129 return UndefinedVal(); in getSVal()
|
| H A D | RegionStore.cpp | 1385 assert(!isa<UndefinedVal>(L) && "location undefined"); in getBinding()
1503 return UndefinedVal(); in getBinding()
1699 return UndefinedVal(); in convertOffsetsFromSvalToUnsigneds()
1897 return UndefinedVal(); in getDerivedSymbolForBinding()
1927 return UndefinedVal(); in getBindingForElement()
2153 return UndefinedVal(); in getBindingForFieldOrElementCommon()
2241 return UndefinedVal(); in getBindingForVar()
|
| H A D | Store.cpp | 412 return UndefinedVal(); in getLValueFieldOrIvar()
|
| H A D | SValBuilder.cpp | 496 return UndefinedVal(); in evalBinOp()
667 SVal VisitUndefinedVal(UndefinedVal V) { return V; } in VisitUndefinedVal()
|
| H A D | ExprEngineCXX.cpp | 967 State = State->bindDefaultInitial(RetVal, UndefinedVal{}, LCtx); in VisitCXXNewAllocatorCall()
|
| H A D | CallEvent.cpp | 325 return UndefinedVal(); in getReturnValue()
|
| H A D | ExprEngine.cpp | 2884 if (isa<UndefinedVal, loc::ConcreteInt>(V)) { in processIndirectGoto()
|
| /src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | SValExplainer.h | 64 std::string VisitUndefinedVal(UndefinedVal V) { in VisitUndefinedVal()
|