[clang] [clang][SYCL] Diagnose reference kernel parameters (PR #192957)
Mariya Podchishchaeva via cfe-commits
cfe-commits at lists.llvm.org
Mon Jun 29 03:58:23 PDT 2026
================
@@ -665,6 +666,109 @@ OutlinedFunctionDecl *BuildSYCLKernelEntryPointOutline(Sema &SemaRef,
return OFD;
}
+class KernelParamsChecker : public ConstSubobjectVisitor<KernelParamsChecker> {
+ SemaSYCL &SemaSYCLRef;
+ bool IsValid = true;
+ using ObjectAccess =
+ llvm::PointerUnion<const ParmVarDecl *, const CXXBaseSpecifier *,
+ const FieldDecl *>;
+ SmallVector<ObjectAccess, 4> ObjectAccessPath;
+
+ void emitObjectAccessPathNotes() {
+ for (auto Parent : llvm::reverse(ObjectAccessPath)) {
+ if (auto *FD = Parent.dyn_cast<const FieldDecl *>()) {
+ const CXXRecordDecl *ParentRD = cast<CXXRecordDecl>(FD->getParent());
+ if (ParentRD->isLambda()) {
+ SemaSYCLRef.Diag(ParentRD->getLocation(), diag::note_within_capture)
+ << ParentRD->getCapture(FD->getFieldIndex())->getCapturedVar();
+ } else {
+ SemaSYCLRef.Diag(ParentRD->getLocation(),
+ diag::note_within_field_of_type)
+ << ParentRD;
+ }
+ } else if (auto *BS = Parent.dyn_cast<const CXXBaseSpecifier *>()) {
----------------
Fznamznon wrote:
And here
https://github.com/llvm/llvm-project/pull/192957
More information about the cfe-commits
mailing list