================
@@ -17424,6 +17396,77 @@ OMPClause
*SemaOpenMP::ActOnOpenMPThreadsetClause(OpenMPThreadsetKind Kind,
OMPThreadsetClause(Kind, KindLoc, StartLoc, LParenLoc, EndLoc);
}
+/// Tries to find omp_impex_t type.
+static bool findOMPImpexT(Sema &S, SourceLocation Loc, DSAStackTy *Stack) {
+ if (!Stack->getOMPImpexT().isNull())
+ return true;
+ // Set the omp_impex_t type.
+ IdentifierInfo *II = &S.PP.getIdentifierTable().get("omp_impex_t");
+ ParsedType PT = S.getTypeName(*II, Loc, S.getCurScope());
+ if (!PT.getAsOpaquePtr() || PT.get().isNull()) {
+ S.Diag(Loc, diag::err_omp_implied_type_not_found) << "omp_impex_t";
+ return false;
+ }
+ QualType ImpexTy = PT.get();
+ ImpexTy.addConst();
+ Stack->setOMPImpexT(ImpexTy);
+
+ bool ErrorFound = false;
+ for (int I = 0; I < OMPImpexDeclAttr::OMPUserDefinedImpex; ++I) {
+ auto ImpexT = static_cast<OMPImpexDeclAttr::ImpexTypeTy>(I);
+ StringRef Impex = OMPImpexDeclAttr::ConvertImpexTypeTyToStr(ImpexT);
+ DeclarationName ImpexName = &S.getASTContext().Idents.get(Impex);
+ auto *VD = dyn_cast_or_null<ValueDecl>(
+ S.LookupSingleName(S.TUScope, ImpexName, Loc, Sema::LookupAnyName));
+ if (!VD) {
+ ErrorFound = true;
+ break;
+ }
+ QualType ImpexType =
+ VD->getType().getNonLValueExprType(S.getASTContext());
+ ExprResult Res = S.BuildDeclRefExpr(VD, ImpexType, VK_LValue, Loc);
+ if (!Res.isUsable()) {
+ ErrorFound = true;
+ break;
+ }
+ Res = S.PerformImplicitConversion(Res.get(), ImpexTy,
+ AssignmentAction::Initializing,
+ /*AllowExplicit=*/true);
+ if (!Res.isUsable()) {
+ ErrorFound = true;
+ break;
+ }
+ Stack->setImpex(ImpexT, Res.get());
+ }
+ if (ErrorFound) {
+ S.Diag(Loc, diag::err_omp_implied_type_not_found)
+ << "omp_impex_t";
+ return false;
+ }
+
+ return true;
+}
+
+OMPClause *SemaOpenMP::ActOnOpenMPTransparentClause(Expr *ImpexTypeArg,
+ SourceLocation StartLoc,
+ SourceLocation LParenLoc,
+ SourceLocation EndLoc) {
+ if (!findOMPImpexT(SemaRef, ImpexTypeArg->getExprLoc(), DSAStack))
+ return nullptr;
+ ExprResult TR = SemaRef.DefaultLvalueConversion(ImpexTypeArg);
+ if (TR.isInvalid())
+ return nullptr;
+
+ TR = SemaRef.PerformImplicitConversion(TR.get(), DSAStack->getOMPImpexT(),
+ AssignmentAction::Initializing,
+ /*AllowExplicit=*/true);
+ if (TR.isInvalid())
----------------
abhinavgaba wrote:
Should we diagnose/assert here and in line 17458?
https://github.com/llvm/llvm-project/pull/166810
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
