| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | UndefCapturedBlockVarChecker.cpp | 73 if (Optional<UndefinedVal> V = in checkPostStmt()
74 state->getSVal(I.getOriginalRegion()).getAs<UndefinedVal>()) { in checkPostStmt()
|
| H A D | ObjCAtSyncChecker.cpp | 45 if (V.getAs<UndefinedVal>()) { in checkPreStmt()
|
| H A D | ArrayBoundCheckerV2.cpp | 277 return val.getAs<UndefinedVal>() ? svalBuilder.makeArrayIndex(0) : val; in getValue()
311 SVal offset = UndefinedVal(); in computeOffset()
|
| H A D | MallocChecker.cpp | 842 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State); in checkPostStmt()
851 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State); in checkPostStmt()
861 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State); in checkPostStmt()
865 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State); in checkPostStmt()
888 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State, in checkPostStmt()
898 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State, in checkPostStmt()
903 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State, in checkPostStmt()
928 State = MallocMemAux(C, CE, CE->getArg(1), UndefinedVal(), State); in checkPostStmt()
934 SVal Init = UndefinedVal(); in checkPostStmt()
1227 return MallocMemAux(C, CE, CE->getArg(I->getASTIndex()), UndefinedVal(), in MallocMemReturnsAttr()
[all …]
|
| H A D | CStringChecker.cpp | 774 return UndefinedVal(); in getCStringLength()
825 return UndefinedVal(); in getCStringLength()
|
| H A D | IteratorChecker.cpp | 228 const SVal &OldCont = UndefinedVal()) const;
579 SVal LHS = UndefinedVal(); in checkPreCall()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SVals.h | 215 class UndefinedVal : public SVal {
217 UndefinedVal() : SVal(UndefinedValKind) {} in UndefinedVal() function
293 KnownSVal(const UndefinedVal &V) : SVal(V) {} in KnownSVal()
|
| H A D | SVals.def | 55 BASIC_SVAL(UndefinedVal, SVal)
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | SVals.cpp | 251 return UndefinedVal(); in evalBinOp()
278 return UndefinedVal(); in evalBinOp()
|
| H A D | Environment.cpp | 118 return UndefinedVal(); in getSVal()
|
| H A D | SimpleSValBuilder.cpp | 240 return UndefinedVal(); in MakeSymIntVal()
248 return UndefinedVal(); in MakeSymIntVal()
613 return UndefinedVal(); in evalBinOpNN()
1102 return UndefinedVal(); in evalBinOpLN()
|
| H A D | RegionStore.cpp | 1403 assert(!L.getAs<UndefinedVal>() && "location undefined"); in getBinding()
1520 return UndefinedVal(); in getBinding()
1649 return UndefinedVal(); in getBindingForElement()
1671 return UndefinedVal(); in getBindingForElement()
1675 return UndefinedVal(); in getBindingForElement()
1904 return UndefinedVal(); in getBindingForFieldOrElementCommon()
1982 return UndefinedVal(); in getBindingForVar()
|
| H A D | Store.cpp | 447 return UndefinedVal(); in getLValueFieldOrIvar()
|
| H A D | SValBuilder.cpp | 408 return UndefinedVal(); in evalBinOp()
|
| H A D | CallEvent.cpp | 418 return UndefinedVal(); in getReturnValue()
|
| H A D | ExprEngine.cpp | 2181 if (V.getAs<loc::ConcreteInt>() || V.getAs<UndefinedVal>()) { in processIndirectGoto()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | SValExplainer.h | 51 std::string VisitUndefinedVal(UndefinedVal V) { in VisitUndefinedVal()
|