/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
H A D | MPIChecker.cpp | 40 const Request *const Req = State->get<RequestMap>(MR); local 43 if (Req && Req->CurrentState == Request::State::Nonblocking) { 45 BReporter.reportDoubleNonblocking(PreCallEvent, *Req, MR, ErrorNode, 80 const Request *const Req = State->get<RequestMap>(ReqRegion); local 82 if (!Req) { 111 for (const auto &Req : ReqMap) { 112 if (!SymReaper.isLiveRegion(Req.first)) { 113 if (Req.second.CurrentState == Request::State::Nonblocking) { 119 BReporter.reportMissingWait(Req [all...] |
H A D | MPIBugReporter.cpp | 24 const CallEvent &MPICallEvent, const ento::mpi::Request &Req, 50 const ento::mpi::Request &Req, const MemRegion *const RequestRegion, 95 const Request *const Req = N->getState()->get<RequestMap>(RequestRegion); local 96 assert(Req && "The region must be tracked and alive, given that we've " 102 if (!PrevReq || (Req->CurrentState != PrevReq->CurrentState)) { 23 reportDoubleNonblocking( const CallEvent &MPICallEvent, const ento::mpi::Request &Req, const MemRegion *const RequestRegion, const ExplodedNode *const ExplNode, BugReporter &BReporter) const argument 49 reportMissingWait( const ento::mpi::Request &Req, const MemRegion *const RequestRegion, const ExplodedNode *const ExplNode, BugReporter &BReporter) const argument
|
H A D | MPIBugReporter.h | 38 /// \param Req request that was used by two nonblocking calls in sequence 43 const Request &Req, 50 /// \param Req request that is not matched by a wait 54 void reportMissingWait(const Request &Req,
|
/freebsd-11-stable/contrib/llvm-project/clang/lib/Sema/ |
H A D | SemaConcept.cpp | 375 concepts::ExprRequirement *Req, 377 assert(!Req->isSatisfied() 379 switch (Req->getSatisfactionStatus()) { 384 auto *SubstDiag = Req->getExprSubstitutionDiagnostic(); 397 S.Diag(Req->getNoexceptLoc(), 399 << (int)First << Req->getExpr(); 403 Req->getReturnTypeRequirement().getSubstitutionDiagnostic(); 417 Req->getReturnTypeRequirementSubstitutedConstraintExpr(); 423 << (int)First << S.BuildDecltypeType(Req->getExpr(), 424 Req [all...] |
H A D | SemaTemplateInstantiate.cpp | 373 concepts::Requirement *Req, sema::TemplateDeductionInfo &DeductionInfo, 383 concepts::NestedRequirement *Req, ConstraintsCheck, 1122 for (concepts::Requirement *Req : Reqs) { 1125 if (auto *TypeReq = dyn_cast<concepts::TypeRequirement>(Req)) 1127 else if (auto *ExprReq = dyn_cast<concepts::ExprRequirement>(Req)) 1131 cast<concepts::NestedRequirement>(Req)); 1142 TransReq = Req; 1159 TransformTypeRequirement(concepts::TypeRequirement *Req); 1161 TransformExprRequirement(concepts::ExprRequirement *Req); 1163 TransformNestedRequirement(concepts::NestedRequirement *Req); 371 InstantiatingTemplate( Sema &SemaRef, SourceLocation PointOfInstantiation, concepts::Requirement *Req, sema::TemplateDeductionInfo &DeductionInfo, SourceRange InstantiationRange) argument 381 InstantiatingTemplate( Sema &SemaRef, SourceLocation PointOfInstantiation, concepts::NestedRequirement *Req, ConstraintsCheck, SourceRange InstantiationRange) argument 1834 TransformTypeRequirement(concepts::TypeRequirement *Req) argument [all...] |
H A D | TreeTransform.h | 524 TransformTypeRequirement(concepts::TypeRequirement *Req); 526 TransformExprRequirement(concepts::ExprRequirement *Req); 528 TransformNestedRequirement(concepts::NestedRequirement *Req); 11318 for (concepts::Requirement *Req : TransReqs) { 11319 if (auto *ER = dyn_cast<concepts::ExprRequirement>(Req)) { 11337 for (concepts::Requirement *Req : Reqs) { 11339 if (auto *TypeReq = dyn_cast<concepts::TypeRequirement>(Req)) 11341 else if (auto *ExprReq = dyn_cast<concepts::ExprRequirement>(Req)) 11345 cast<concepts::NestedRequirement>(Req)); 11356 concepts::TypeRequirement *Req) { 11355 TransformTypeRequirement( concepts::TypeRequirement *Req) argument 11371 TransformExprRequirement(concepts::ExprRequirement *Req) argument 11410 TransformNestedRequirement( concepts::NestedRequirement *Req) argument [all...] |
/freebsd-11-stable/contrib/llvm-project/llvm/lib/Support/ |
H A D | FileCheck.cpp | 310 SourceMgr &SM, const FileCheckRequest &Req) { 311 bool MatchFullLinesHere = Req.MatchFullLines && CheckTy != Check::CheckNot; 312 IgnoreCase = Req.IgnoreCase; 316 if (!(Req.NoCanonicalizeWhiteSpace && Req.MatchFullLines)) 352 if (!Req.NoCanonicalizeWhiteSpace) 574 if (!Req.NoCanonicalizeWhiteSpace) 898 if (Req.NoCanonicalizeWhiteSpace || (*Ptr != ' ' && *Ptr != '\t')) { 1111 FileCheck::FileCheck(FileCheckRequest Req) argument 1112 : Req(Re 309 parsePattern(StringRef PatternStr, StringRef Prefix, SourceMgr &SM, const FileCheckRequest &Req) argument 1274 PrintMatch(bool ExpectedMatch, const SourceMgr &SM, StringRef Prefix, SMLoc Loc, const Pattern &Pat, int MatchedCount, StringRef Buffer, size_t MatchPos, size_t MatchLen, const FileCheckRequest &Req, std::vector<FileCheckDiag> *Diags) argument 1311 PrintMatch(bool ExpectedMatch, const SourceMgr &SM, const FileCheckString &CheckStr, int MatchedCount, StringRef Buffer, size_t MatchPos, size_t MatchLen, FileCheckRequest &Req, std::vector<FileCheckDiag> *Diags) argument 1410 Check(const SourceMgr &SM, StringRef Buffer, bool IsLabelScanMode, size_t &MatchLen, FileCheckRequest &Req, std::vector<FileCheckDiag> *Diags) const argument 1553 CheckNot(const SourceMgr &SM, StringRef Buffer, const std::vector<const Pattern *> &NotStrings, const FileCheckRequest &Req, std::vector<FileCheckDiag> *Diags) const argument 1579 CheckDag(const SourceMgr &SM, StringRef Buffer, std::vector<const Pattern *> &NotStrings, const FileCheckRequest &Req, std::vector<FileCheckDiag> *Diags) const argument [all...] |
H A D | FileCheckImpl.h | 472 /// \p Prefix provides which prefix is being matched, \p Req describes the 477 const FileCheckRequest &Req); 588 size_t &MatchLen, FileCheckRequest &Req, 599 /// \p Diags according to the verbosity level set in \p Req. 602 const FileCheckRequest &Req, 607 const FileCheckRequest &Req,
|
/freebsd-11-stable/contrib/llvm-project/llvm/include/llvm/Support/ |
H A D | FileCheck.h | 141 FileCheckRequest Req; member in class:llvm::FileCheck 147 explicit FileCheck(FileCheckRequest Req);
|
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/Sema/ |
H A D | TypoCorrection.h | 249 void setRequiresImport(bool Req) { RequiresImport = Req; } argument
|
H A D | Sema.h | 8397 concepts::Requirement *Req, 8404 concepts::NestedRequirement *Req, ConstraintsCheck,
|
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/AST/ |
H A D | ExprConcepts.h | 340 /// \param Req the requirement for the type of the checked expression. 344 ReturnTypeRequirement Req, SatisfactionStatus Status, 354 /// \param Req the requirement for the type of the checked expression (omit 357 SourceLocation NoexceptLoc, ReturnTypeRequirement Req = {});
|
H A D | RecursiveASTVisitor.h | 2731 for (concepts::Requirement *Req : S->getRequirements()) 2732 if (auto *TypeReq = dyn_cast<concepts::TypeRequirement>(Req)) { 2735 } else if (auto *ExprReq = dyn_cast<concepts::ExprRequirement>(Req)) { 2743 auto *NestedReq = cast<concepts::NestedRequirement>(Req);
|
/freebsd-11-stable/contrib/llvm-project/clang/lib/Parse/ |
H A D | ParseExprCXX.cpp | 3363 concepts::Requirement *Req = nullptr; 3367 Req = Actions.ActOnCompoundRequirement(Expression.get(), NoexceptLoc); 3368 if (Req) 3369 Requirements.push_back(Req); 3394 Req = Actions.ActOnCompoundRequirement( 3398 if (Req) 3399 Requirements.push_back(Req); 3460 if (auto *Req = 3462 Requirements.push_back(Req); 3504 if (auto *Req [all...] |
/freebsd-11-stable/contrib/llvm-project/clang/lib/Basic/ |
H A D | Module.cpp | 136 Requirement &Req, 150 Req = Current->Requirements[I]; 135 isAvailable(const LangOptions &LangOpts, const TargetInfo &Target, Requirement &Req, UnresolvedHeaderDirective &MissingHeader, Module *&ShadowingModule) const argument
|
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/Basic/ |
H A D | Module.h | 395 /// \param Req If this module is unavailable because of a missing requirement, 406 Requirement &Req,
|
/freebsd-11-stable/contrib/llvm-project/clang/lib/AST/ |
H A D | StmtProfile.cpp | 1349 for (concepts::Requirement *Req : S->getRequirements()) { 1350 if (auto *TypeReq = dyn_cast<concepts::TypeRequirement>(Req)) { 1355 } else if (auto *ExprReq = dyn_cast<concepts::ExprRequirement>(Req)) { 1378 auto *NestedReq = cast<concepts::NestedRequirement>(Req);
|
H A D | StmtPrinter.cpp | 2287 for (concepts::Requirement *Req : Requirements) { 2288 if (auto *TypeReq = dyn_cast<concepts::TypeRequirement>(Req)) { 2293 } else if (auto *ExprReq = dyn_cast<concepts::ExprRequirement>(Req)) { 2314 auto *NestedReq = cast<concepts::NestedRequirement>(Req);
|
/freebsd-11-stable/contrib/llvm-project/clang/lib/Serialization/ |
H A D | ASTReaderStmt.cpp | 819 llvm::Optional<concepts::ExprRequirement::ReturnTypeRequirement> Req; local 823 Req.emplace(); 829 Req.emplace(); 838 Req.emplace(TPL); 842 Req.emplace(readSubstitutionDiagnostic(Record)); 849 std::move(*Req), Status, SubstitutedConstraintExpr); 854 std::move(*Req));
|