| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| H A D | MPIChecker.h | 27 namespace ento {
58 void checkDoubleNonblocking(const clang::ento::CallEvent &PreCallEvent,
59 clang::ento::CheckerContext &Ctx) const;
66 void checkUnmatchedWaits(const clang::ento::CallEvent &PreCallEvent,
67 clang::ento::CheckerContext &Ctx) const;
72 void checkMissingWaits(clang::ento::SymbolReaper &SymReaper,
73 clang::ento::CheckerContext &Ctx) const;
85 llvm::SmallVector<const clang::ento::MemRegion *, 2> &ReqRegions,
86 const clang::ento::MemRegion *const MR, const clang::ento::CallEvent &CE,
87 clang::ento::CheckerContext &Ctx) const;
[all …]
|
| H A D | MPITypes.h | 24 namespace ento {
49 typedef llvm::ImmutableMap<const clang::ento::MemRegion *,
50 clang::ento::mpi::Request>
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ProgramState_Fwd.h | 16 namespace ento {
25 template <> struct IntrusiveRefCntPtrInfo<const clang::ento::ProgramState> {
26 static void retain(const clang::ento::ProgramState *state) {
27 clang::ento::ProgramStateRetain(state);
29 static void release(const clang::ento::ProgramState *state) {
30 clang::ento::ProgramStateRelease(state);
36 namespace ento {
|
| H A D | SVals.h | 43 namespace ento {
174 inline raw_ostream &operator<<(raw_ostream &os, clang::ento::SVal V) {
307 friend class ento::SValBuilder;
330 friend class ento::SValBuilder;
350 friend class ento::SValBuilder;
383 friend class ento::SValBuilder;
480 std::enable_if_t<std::is_base_of<::clang::ento::SVal, From>::value>>
481 : public CastIsPossible<To, ::clang::ento::SVal> {
484 std::enable_if_t<std::is_base_of<::clang::ento::SVal, From>::value>>;
486 return To::classof(*static_cast<const ::clang::ento::SVal *>(&V));
[all …]
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | CallDescription.cpp | 38 ento::CallDescription::CallDescription(Mode MatchAs, in CallDescription()
51 bool ento::CallDescription::matches(const CallEvent &Call) const { in matches()
63 bool ento::CallDescription::matchesAsWritten(const CallExpr &CE) const { in matchesAsWritten()
71 bool ento::CallDescription::matchNameOnly(const NamedDecl *ND) const { in matchNameOnly()
87 bool ento::CallDescription::matchQualifiedNameParts(const Decl *D) const { in matchQualifiedNameParts()
113 bool ento::CallDescription::matchesImpl(const FunctionDecl *FD, size_t ArgCount, in matchesImpl()
156 ento::CallDescriptionSet::CallDescriptionSet( in CallDescriptionSet()
163 bool ento::CallDescriptionSet::contains(const CallEvent &Call) const { in contains()
167 bool ento::CallDescriptionSet::containsAsWritten(const CallExpr &CE) const { in containsAsWritten()
|
| H A D | DynamicType.cpp | 27 REGISTER_MAP_WITH_PROGRAMSTATE(DynamicTypeMap, const clang::ento::MemRegion *,
28 clang::ento::DynamicTypeInfo)
31 REGISTER_SET_FACTORY_WITH_PROGRAMSTATE(CastSet, clang::ento::DynamicCastInfo)
34 REGISTER_MAP_WITH_PROGRAMSTATE(DynamicCastMap, const clang::ento::MemRegion *,
38 REGISTER_MAP_WITH_PROGRAMSTATE(DynamicClassObjectMap, clang::ento::SymbolRef,
39 clang::ento::DynamicTypeInfo)
42 namespace ento { namespace
|
| H A D | AnalyzerOptions.cpp | 31 using namespace ento;
154 StringRef AnalyzerOptions::getCheckerStringOption(const ento::CheckerBase *C, in getCheckerStringOption()
178 bool AnalyzerOptions::getCheckerBooleanOption(const ento::CheckerBase *C, in getCheckerBooleanOption()
199 int AnalyzerOptions::getCheckerIntegerOption(const ento::CheckerBase *C, in getCheckerIntegerOption()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | TraversalChecker.cpp | 23 using namespace ento;
63 void ento::registerTraversalDumper(CheckerManager &mgr) { in registerTraversalDumper()
67 bool ento::shouldRegisterTraversalDumper(const CheckerManager &mgr) { in shouldRegisterTraversalDumper()
115 void ento::registerCallDumper(CheckerManager &mgr) { in registerCallDumper()
119 bool ento::shouldRegisterCallDumper(const CheckerManager &mgr) { in shouldRegisterCallDumper()
|
| H A D | ErrnoChecker.cpp | 28 using namespace ento;
136 std::optional<ento::Loc> ErrnoLoc = getErrnoLoc(C.getState()); in checkLocation()
140 auto L = Loc.getAs<ento::Loc>(); in checkLocation()
210 std::optional<ento::Loc> ErrnoLoc = getErrnoLoc(C.getState()); in checkPreCall()
223 std::optional<ento::Loc> ErrnoLoc = getErrnoLoc(State); in checkRegionChanges()
241 void ento::registerErrnoChecker(CheckerManager &mgr) { in registerErrnoChecker()
248 bool ento::shouldRegisterErrnoChecker(const CheckerManager &mgr) { in shouldRegisterErrnoChecker()
|
| H A D | SmartPtrChecker.cpp | 29 using namespace ento;
51 namespace ento { namespace
100 void ento::registerSmartPtrChecker(CheckerManager &Mgr) { in registerSmartPtrChecker()
105 bool ento::shouldRegisterSmartPtrChecker(const CheckerManager &mgr) { in shouldRegisterSmartPtrChecker()
|
| H A D | TrustReturnsNonnullChecker.cpp | 21 using namespace ento;
54 void ento::registerTrustReturnsNonnullChecker(CheckerManager &Mgr) { in registerTrustReturnsNonnullChecker()
58 bool ento::shouldRegisterTrustReturnsNonnullChecker(const CheckerManager &mgr) { in shouldRegisterTrustReturnsNonnullChecker()
|
| H A D | StdVariantChecker.cpp | 27 using namespace ento;
32 namespace clang::ento::tagged_union_modeling { namespace
293 bool clang::ento::shouldRegisterStdVariantChecker( in shouldRegisterStdVariantChecker()
294 clang::ento::CheckerManager const &mgr) { in shouldRegisterStdVariantChecker()
298 void clang::ento::registerStdVariantChecker(clang::ento::CheckerManager &mgr) { in registerStdVariantChecker()
|
| H A D | PutenvStackArrayChecker.cpp | 26 using namespace ento;
68 void ento::registerPutenvStackArray(CheckerManager &Mgr) { in registerPutenvStackArray()
72 bool ento::shouldRegisterPutenvStackArray(const CheckerManager &) { in shouldRegisterPutenvStackArray()
|
| H A D | CXXDeleteChecker.cpp | 43 using namespace ento;
223 void ento::registerArrayDeleteChecker(CheckerManager &mgr) { in registerArrayDeleteChecker()
227 bool ento::shouldRegisterArrayDeleteChecker(const CheckerManager &mgr) { in shouldRegisterArrayDeleteChecker()
231 void ento::registerDeleteWithNonVirtualDtorChecker(CheckerManager &mgr) { in registerDeleteWithNonVirtualDtorChecker()
235 bool ento::shouldRegisterDeleteWithNonVirtualDtorChecker( in shouldRegisterDeleteWithNonVirtualDtorChecker()
|
| H A D | UndefinedNewArraySizeChecker.cpp | 22 using namespace ento;
73 void ento::registerUndefinedNewArraySizeChecker(CheckerManager &mgr) { in registerUndefinedNewArraySizeChecker()
77 bool ento::shouldRegisterUndefinedNewArraySizeChecker( in shouldRegisterUndefinedNewArraySizeChecker()
|
| H A D | MmapWriteExecChecker.cpp | 26 using namespace ento;
83 void ento::registerMmapWriteExecChecker(CheckerManager &mgr) { in registerMmapWriteExecChecker()
94 bool ento::shouldRegisterMmapWriteExecChecker(const CheckerManager &mgr) { in shouldRegisterMmapWriteExecChecker()
|
| H A D | PointerIterationChecker.cpp | 20 using namespace ento;
94 void ento::registerPointerIterationChecker(CheckerManager &Mgr) { in registerPointerIterationChecker()
98 bool ento::shouldRegisterPointerIterationChecker(const CheckerManager &mgr) { in shouldRegisterPointerIterationChecker()
|
| H A D | ReturnValueChecker.cpp | 30 using namespace ento;
101 void ento::registerReturnValueChecker(CheckerManager &Mgr) { in registerReturnValueChecker()
105 bool ento::shouldRegisterReturnValueChecker(const CheckerManager &mgr) { in shouldRegisterReturnValueChecker()
|
| H A D | CXXSelfAssignmentChecker.cpp | 25 using namespace ento;
75 void ento::registerCXXSelfAssignmentChecker(CheckerManager &Mgr) { in registerCXXSelfAssignmentChecker()
79 bool ento::shouldRegisterCXXSelfAssignmentChecker(const CheckerManager &mgr) { in shouldRegisterCXXSelfAssignmentChecker()
|
| H A D | PointerSortingChecker.cpp | 20 using namespace ento;
108 void ento::registerPointerSortingChecker(CheckerManager &Mgr) { in registerPointerSortingChecker()
112 bool ento::shouldRegisterPointerSortingChecker(const CheckerManager &mgr) { in shouldRegisterPointerSortingChecker()
|
| H A D | StringChecker.cpp | 22 using namespace ento;
101 void ento::registerStringChecker(CheckerManager &Mgr) { in registerStringChecker()
105 bool ento::shouldRegisterStringChecker(const CheckerManager &) { return true; } in shouldRegisterStringChecker()
|
| H A D | NoReturnFunctionChecker.cpp | 25 using namespace ento;
144 void ento::registerNoReturnFunctionChecker(CheckerManager &mgr) { in registerNoReturnFunctionChecker()
148 bool ento::shouldRegisterNoReturnFunctionChecker(const CheckerManager &mgr) { in shouldRegisterNoReturnFunctionChecker()
|
| H A D | BoolAssignmentChecker.cpp | 23 using namespace ento;
98 void ento::registerBoolAssignmentChecker(CheckerManager &Mgr) { in registerBoolAssignmentChecker()
102 bool ento::shouldRegisterBoolAssignmentChecker(const CheckerManager &Mgr) { in shouldRegisterBoolAssignmentChecker()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | AnalyzerOptions.h | 28 namespace ento {
318 bool getCheckerBooleanOption(const ento::CheckerBase *C, StringRef OptionName,
338 int getCheckerIntegerOption(const ento::CheckerBase *C, StringRef OptionName,
358 StringRef getCheckerStringOption(const ento::CheckerBase *C,
376 ento::PathDiagnosticConsumerOptions getDiagOpts() const { in getDiagOpts()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/WebKit/ |
| H A D | UncountedLambdaCapturesChecker.cpp | 20 using namespace ento;
101 void ento::registerUncountedLambdaCapturesChecker(CheckerManager &Mgr) { in registerUncountedLambdaCapturesChecker()
105 bool ento::shouldRegisterUncountedLambdaCapturesChecker( in shouldRegisterUncountedLambdaCapturesChecker()
|