Searched refs:Req (Results 1 - 19 of 19) sorted by relevance

/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.cpp40 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 DMPIBugReporter.cpp24 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 DMPIBugReporter.h38 /// \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 DSemaConcept.cpp375 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 DSemaTemplateInstantiate.cpp373 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 DTreeTransform.h524 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 DFileCheck.cpp310 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 DFileCheckImpl.h472 /// \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 DFileCheck.h141 FileCheckRequest Req; member in class:llvm::FileCheck
147 explicit FileCheck(FileCheckRequest Req);
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/Sema/
H A DTypoCorrection.h249 void setRequiresImport(bool Req) { RequiresImport = Req; } argument
H A DSema.h8397 concepts::Requirement *Req,
8404 concepts::NestedRequirement *Req, ConstraintsCheck,
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/AST/
H A DExprConcepts.h340 /// \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 DRecursiveASTVisitor.h2731 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 DParseExprCXX.cpp3363 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 DModule.cpp136 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 DModule.h395 /// \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 DStmtProfile.cpp1349 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 DStmtPrinter.cpp2287 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 DASTReaderStmt.cpp819 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));

Completed in 218 milliseconds