Searched refs:UndefinedVal (Results 1 – 10 of 10) sorted by relevance
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SVals.h | 193 class UndefinedVal : public SVal {
195 UndefinedVal() : SVal(UndefinedValKind) {} in UndefinedVal() function
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| 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 | 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()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| 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 | 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()
|