| /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>
|
| H A D | MPIBugReporter.cpp | 19 namespace ento { namespace 23 const CallEvent &MPICallEvent, const ento::mpi::Request &Req, in reportDoubleNonblocking() 49 const ento::mpi::Request &Req, const MemRegion *const RequestRegion, in reportMissingWait() 69 const CallEvent &CE, const clang::ento::MemRegion *const RequestRegion, in reportUnmatchedWait()
|
| /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 | 44 namespace ento { 177 inline raw_ostream &operator<<(raw_ostream &os, clang::ento::SVal V) { 313 friend class ento::SValBuilder; 340 friend class ento::SValBuilder; 390 friend class ento::SValBuilder; 435 friend class ento::SValBuilder; 535 std::enable_if_t<std::is_base_of<::clang::ento::SVal, From>::value>> 536 : public CastIsPossible<To, ::clang::ento::SVal> { 539 std::enable_if_t<std::is_base_of<::clang::ento::SVal, From>::value>>; 541 return To::classof(*static_cast<const ::clang::ento::SVal *>(&V)); [all …]
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | CallDescription.cpp | 37 ento::CallDescription::CallDescription(Mode MatchAs, in CallDescription() 50 bool ento::CallDescription::matches(const CallEvent &Call) const { in matches() 62 bool ento::CallDescription::matchesAsWritten(const CallExpr &CE) const { in matchesAsWritten() 70 bool ento::CallDescription::matchNameOnly(const NamedDecl *ND) const { in matchNameOnly() 86 bool ento::CallDescription::matchQualifiedNameParts(const Decl *D) const { in matchQualifiedNameParts() 112 bool ento::CallDescription::matchesImpl(const FunctionDecl *FD, size_t ArgCount, in matchesImpl() 155 ento::CallDescriptionSet::CallDescriptionSet( in CallDescriptionSet() 162 bool ento::CallDescriptionSet::contains(const CallEvent &Call) const { in contains() 166 bool ento::CallDescriptionSet::containsAsWritten(const CallExpr &CE) const { in containsAsWritten()
|
| H A D | DynamicType.cpp | 26 REGISTER_MAP_WITH_PROGRAMSTATE(DynamicTypeMap, const clang::ento::MemRegion *, 27 clang::ento::DynamicTypeInfo) 30 REGISTER_SET_FACTORY_WITH_PROGRAMSTATE(CastSet, clang::ento::DynamicCastInfo) 33 REGISTER_MAP_WITH_PROGRAMSTATE(DynamicCastMap, const clang::ento::MemRegion *, 37 REGISTER_MAP_WITH_PROGRAMSTATE(DynamicClassObjectMap, clang::ento::SymbolRef, 38 clang::ento::DynamicTypeInfo) 41 namespace ento { namespace
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | TraversalChecker.cpp | 23 using namespace ento; 46 void ento::registerTraversalDumper(CheckerManager &mgr) { in registerTraversalDumper() 50 bool ento::shouldRegisterTraversalDumper(const CheckerManager &mgr) { in shouldRegisterTraversalDumper() 101 void ento::registerCallDumper(CheckerManager &mgr) { in registerCallDumper() 105 bool ento::shouldRegisterCallDumper(const CheckerManager &mgr) { in shouldRegisterCallDumper()
|
| H A D | ErrnoChecker.cpp | 28 using namespace ento; 135 std::optional<ento::Loc> ErrnoLoc = getErrnoLoc(C.getState()); in checkLocation() 139 auto L = Loc.getAs<ento::Loc>(); in checkLocation() 209 std::optional<ento::Loc> ErrnoLoc = getErrnoLoc(C.getState()); in checkPreCall() 222 std::optional<ento::Loc> ErrnoLoc = getErrnoLoc(State); in checkRegionChanges() 240 void ento::registerErrnoChecker(CheckerManager &mgr) { in registerErrnoChecker() 247 bool ento::shouldRegisterErrnoChecker(const CheckerManager &mgr) { in shouldRegisterErrnoChecker()
|
| H A D | DivZeroChecker.cpp | 24 using namespace ento; 127 void ento::registerDivZeroChecker(CheckerManager &Mgr) { in registerDivZeroChecker() 131 bool ento::shouldRegisterDivZeroChecker(const CheckerManager &) { return true; } in shouldRegisterDivZeroChecker() 133 void ento::registerTaintedDivChecker(CheckerManager &Mgr) { in registerTaintedDivChecker() 137 bool ento::shouldRegisterTaintedDivChecker(const CheckerManager &) { in shouldRegisterTaintedDivChecker()
|
| H A D | SmartPtrChecker.cpp | 25 using namespace ento; 47 namespace ento { namespace 96 void ento::registerSmartPtrChecker(CheckerManager &Mgr) { in registerSmartPtrChecker() 101 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 | NSErrorChecker.cpp | 30 using namespace ento; 323 void ento::registerNSOrCFErrorDerefChecker(CheckerManager &mgr) { in registerNSOrCFErrorDerefChecker() 327 bool ento::shouldRegisterNSOrCFErrorDerefChecker(const CheckerManager &mgr) { in shouldRegisterNSOrCFErrorDerefChecker() 331 void ento::registerNSErrorChecker(CheckerManager &mgr) { in registerNSErrorChecker() 338 bool ento::shouldRegisterNSErrorChecker(const CheckerManager &mgr) { in shouldRegisterNSErrorChecker() 342 void ento::registerCFErrorChecker(CheckerManager &mgr) { in registerCFErrorChecker() 349 bool ento::shouldRegisterCFErrorChecker(const CheckerManager &mgr) { in shouldRegisterCFErrorChecker()
|
| H A D | StdVariantChecker.cpp | 25 using namespace ento; 30 namespace clang::ento::tagged_union_modeling { namespace 291 bool clang::ento::shouldRegisterStdVariantChecker( in shouldRegisterStdVariantChecker() 292 clang::ento::CheckerManager const &mgr) { in shouldRegisterStdVariantChecker() 296 void clang::ento::registerStdVariantChecker(clang::ento::CheckerManager &mgr) { in registerStdVariantChecker()
|
| H A D | FixedAddressChecker.cpp | 22 using namespace ento; 71 void ento::registerFixedAddressChecker(CheckerManager &mgr) { in registerFixedAddressChecker() 75 bool ento::shouldRegisterFixedAddressChecker(const CheckerManager &mgr) { in shouldRegisterFixedAddressChecker()
|
| H A D | PutenvStackArrayChecker.cpp | 25 using namespace ento; 70 void ento::registerPutenvStackArray(CheckerManager &Mgr) { in registerPutenvStackArray() 74 bool ento::shouldRegisterPutenvStackArray(const CheckerManager &) { in shouldRegisterPutenvStackArray()
|
| H A D | CXXDeleteChecker.cpp | 39 using namespace ento; 219 void ento::registerArrayDeleteChecker(CheckerManager &mgr) { in registerArrayDeleteChecker() 223 bool ento::shouldRegisterArrayDeleteChecker(const CheckerManager &mgr) { in shouldRegisterArrayDeleteChecker() 227 void ento::registerDeleteWithNonVirtualDtorChecker(CheckerManager &mgr) { in registerDeleteWithNonVirtualDtorChecker() 231 bool ento::shouldRegisterDeleteWithNonVirtualDtorChecker( in shouldRegisterDeleteWithNonVirtualDtorChecker()
|
| H A D | VirtualCallChecker.cpp | 26 using namespace ento; 212 void ento::registerPureVirtualCallChecker(CheckerManager &Mgr) { in registerPureVirtualCallChecker() 216 bool ento::shouldRegisterPureVirtualCallChecker(const CheckerManager &Mgr) { in shouldRegisterPureVirtualCallChecker() 220 void ento::registerVirtualCallChecker(CheckerManager &Mgr) { in registerVirtualCallChecker() 227 bool ento::shouldRegisterVirtualCallChecker(const CheckerManager &Mgr) { in shouldRegisterVirtualCallChecker()
|
| 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 | AssumeModeling.cpp | 24 using namespace ento; 81 void ento::registerAssumeModeling(CheckerManager &Mgr) { in registerAssumeModeling() 85 bool ento::shouldRegisterAssumeModeling(const CheckerManager &) { return true; } in shouldRegisterAssumeModeling()
|
| H A D | MmapWriteExecChecker.cpp | 26 using namespace ento; 89 void ento::registerMmapWriteExecChecker(CheckerManager &Mgr) { in registerMmapWriteExecChecker() 93 bool ento::shouldRegisterMmapWriteExecChecker(const CheckerManager &) { in shouldRegisterMmapWriteExecChecker()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Frontend/ |
| H A D | AnalyzerHelpFlags.cpp | 21 using namespace ento; 23 void ento::printCheckerHelp(raw_ostream &out, CompilerInstance &CI) { in printCheckerHelp() 35 void ento::printEnabledCheckerList(raw_ostream &out, CompilerInstance &CI) { in printEnabledCheckerList() 45 void ento::printCheckerConfigList(raw_ostream &out, CompilerInstance &CI) { in printCheckerConfigList() 55 void ento::printAnalyzerConfigList(raw_ostream &out) { in printAnalyzerConfigList()
|
| /freebsd/contrib/llvm-project/llvm/include/llvm/Testing/Demangle/ |
| H A D | DemangleTestCases.inc | 6281 …edReturnValueCheckerERNS0_10ExprEngineE", "clang::ento::RegisterAdjustedReturnValueChecker(clang::… 6284 …ontextEPKNS_4StmtE", "clang::ento::CheckerVisitor<(anonymous namespace)::AdjustedReturnValueChecke… 6285 …ontextEPKNS_4StmtE", "clang::ento::CheckerVisitor<(anonymous namespace)::AdjustedReturnValueChecke… 6286 {"_ZN5clang4ento14CheckerVisitorIN12_GLOBAL__N_126AdjustedReturnValueCheckerEED1Ev", "clang::ento::… 6287 {"_ZN5clang4ento14CheckerVisitorIN12_GLOBAL__N_126AdjustedReturnValueCheckerEED0Ev", "clang::ento::… 6288 …nalysisConsumerERKNS_12PreprocessorERKSsRKNS_15AnalyzerOptionsE", "clang::ento::CreateAnalysisCons… 6289 …_4DeclE", "ActionCFGDump((anonymous namespace)::AnalysisConsumer&, clang::ento::AnalysisManager&, … 6290 …_4DeclE", "ActionCFGView((anonymous namespace)::AnalysisConsumer&, clang::ento::AnalysisManager&, … 6291 …tionDisplayLiveVariables((anonymous namespace)::AnalysisConsumer&, clang::ento::AnalysisManager&, … 6292 …nSecuritySyntacticChecks((anonymous namespace)::AnalysisConsumer&, clang::ento::AnalysisManager&, … [all …]
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/WebKit/ |
| H A D | RawPtrRefLocalVarsChecker.cpp | 26 using namespace ento; 443 return ento::cocoa::isCocoaObjectRef(E->getType()) && in isSafeExpr() 451 void ento::registerUncountedLocalVarsChecker(CheckerManager &Mgr) { in registerUncountedLocalVarsChecker() 455 bool ento::shouldRegisterUncountedLocalVarsChecker(const CheckerManager &) { in shouldRegisterUncountedLocalVarsChecker() 459 void ento::registerUncheckedLocalVarsChecker(CheckerManager &Mgr) { in registerUncheckedLocalVarsChecker() 463 bool ento::shouldRegisterUncheckedLocalVarsChecker(const CheckerManager &) { in shouldRegisterUncheckedLocalVarsChecker() 467 void ento::registerUnretainedLocalVarsChecker(CheckerManager &Mgr) { in registerUnretainedLocalVarsChecker() 471 bool ento::shouldRegisterUnretainedLocalVarsChecker(const CheckerManager &) { in shouldRegisterUnretainedLocalVarsChecker()
|
| H A D | RawPtrRefMemberChecker.cpp | 22 using namespace ento; 387 void ento::registerNoUncountedMemberChecker(CheckerManager &Mgr) { in registerNoUncountedMemberChecker() 391 bool ento::shouldRegisterNoUncountedMemberChecker(const CheckerManager &Mgr) { in shouldRegisterNoUncountedMemberChecker() 395 void ento::registerNoUncheckedPtrMemberChecker(CheckerManager &Mgr) { in registerNoUncheckedPtrMemberChecker() 399 bool ento::shouldRegisterNoUncheckedPtrMemberChecker( in shouldRegisterNoUncheckedPtrMemberChecker() 404 void ento::registerNoUnretainedMemberChecker(CheckerManager &Mgr) { in registerNoUnretainedMemberChecker() 408 bool ento::shouldRegisterNoUnretainedMemberChecker(const CheckerManager &Mgr) { in shouldRegisterNoUnretainedMemberChecker()
|