| /openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | UndefCapturedBlockVarChecker.cpp | 73 if (std::optional<UndefinedVal> V = in checkPostStmt()
74 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 | 1215 State = MallocMemAux(C, Call, Call.getArgExpr(0), UndefinedVal(), State, in checkBasicAlloc()
1229 State = MallocMemAux(C, Call, Call.getArgExpr(0), UndefinedVal(), State, in checkKernelMalloc()
1300 State = MallocMemAux(C, Call, Call.getArgExpr(0), UndefinedVal(), State, in checkAlloca()
1355 MallocMemAux(C, Call, CE->getArg(0), UndefinedVal(), State, AF_CXXNew); in checkCXXNewOrCXXDelete()
1359 State = MallocMemAux(C, Call, CE->getArg(0), UndefinedVal(), State, in checkCXXNewOrCXXDelete()
1400 SVal Init = UndefinedVal(); in checkGMallocN()
1694 UndefinedVal(), State, AF_Malloc); in MallocMemReturnsAttr()
1696 return MallocMemAux(C, Call, UnknownVal(), UndefinedVal(), State, AF_Malloc); in MallocMemReturnsAttr()
2614 C, Call, TotalSize, UndefinedVal(), StatePtrIsNull, Family); in ReallocMemAux()
|
| H A D | ArrayBoundCheckerV2.cpp | 312 SVal offset = UndefinedVal(); in computeOffset()
|
| H A D | ContainerModeling.cpp | 41 SVal OldCont = UndefinedVal()) const;
|
| H A D | CStringChecker.cpp | 886 return UndefinedVal(); in getCStringLength()
938 return UndefinedVal(); in getCStringLength()
|
| /openbsd/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SVals.h | 214 class UndefinedVal : public SVal {
216 UndefinedVal() : SVal(UndefinedValKind) {} in UndefinedVal() function
261 KnownSVal(const UndefinedVal &V) : SVal(V) {} in KnownSVal()
|
| H A D | SVals.def | 54 BASIC_SVAL(UndefinedVal, SVal)
|
| /openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Core/ |
| H A D | SimpleSValBuilder.cpp | 135 return UndefinedVal(); in MakeSymIntVal()
143 return UndefinedVal(); in MakeSymIntVal()
533 return UndefinedVal(); in evalBinOpNN()
1059 return UndefinedVal(); in evalBinOpLN()
1242 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()
1516 return UndefinedVal(); in getBinding()
1712 return UndefinedVal(); in convertOffsetsFromSvalToUnsigneds()
1910 return UndefinedVal(); in getDerivedSymbolForBinding()
1940 return UndefinedVal(); in getBindingForElement()
2166 return UndefinedVal(); in getBindingForFieldOrElementCommon()
2254 return UndefinedVal(); in getBindingForVar()
|
| H A D | Store.cpp | 413 return UndefinedVal(); in getLValueFieldOrIvar()
|
| H A D | SValBuilder.cpp | 489 return UndefinedVal(); in evalBinOp()
662 SVal VisitUndefinedVal(UndefinedVal V) { return V; } in VisitUndefinedVal()
|
| H A D | CallEvent.cpp | 322 return UndefinedVal(); in getReturnValue()
|
| H A D | ExprEngineCXX.cpp | 962 State = State->bindDefaultInitial(RetVal, UndefinedVal{}, LCtx); in VisitCXXNewAllocatorCall()
|
| H A D | ExprEngine.cpp | 2853 if (isa<UndefinedVal, loc::ConcreteInt>(V)) { in processIndirectGoto()
|
| /openbsd/gnu/llvm/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | SValExplainer.h | 64 std::string VisitUndefinedVal(UndefinedVal V) { in VisitUndefinedVal()
|