================
@@ -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 *>()) {
+ CXXRecordDecl *RD = BS->getType()->getAsCXXRecordDecl();
+ assert(RD);
+ SemaSYCLRef.Diag(BS->getBeginLoc(), diag::note_within_base_of_type)
+ << RD;
+ } else {
+ auto *Param = cast<const ParmVarDecl *>(Parent);
+ SemaSYCLRef.Diag(Param->getBeginLoc(), diag::note_within_param_of_type)
+ << Param << Param->getType();
+ }
+ }
+ }
+
+public:
+ KernelParamsChecker(SemaSYCL &SR, SourceLocation Loc)
+ : ConstSubobjectVisitor<KernelParamsChecker>(SR.getASTContext()),
+ SemaSYCLRef(SR) {}
+
+ void checkParameter(const ParmVarDecl *PVD) {
+ ObjectAccessPath.push_back(PVD);
+ // Check the immediate type of the parameter.
+ if (checkType(PVD->getType())) {
+ // If type checking wasn't short circuited, visit subobjects to check
+ // them.
+ visit(PVD->getType());
+ }
+ ObjectAccessPath.pop_back();
+ assert(ObjectAccessPath.empty());
+ }
+
+ bool visitBaseSpecifierPre(const CXXBaseSpecifier *BS) {
+ ObjectAccessPath.push_back(BS);
+ return checkType(BS->getType());
+ }
+
+ bool visitFieldDeclPre(const FieldDecl *FD) {
+ ObjectAccessPath.push_back(FD);
+ return checkType(FD->getType());
+ }
+
+ // Returns true if subobjects should be visited and false otherwise.
+ bool checkType(QualType Ty) {
+ if (Ty->isReferenceType()) {
+ auto DirectParent = ObjectAccessPath.back();
+ // Reference cannot be a base, so just assume we came via a FieldDecl.
+ if (isa<const ParmVarDecl *>(DirectParent)) {
----------------
AaronBallman wrote:
```suggestion
if (isa<ParmVarDecl>(DirectParent)) {
```
?
https://github.com/llvm/llvm-project/pull/192957
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
