Disallow splicing of unnamed bit-fields.

Closes issue llvm#76.
faisalv · Jul 17, 2024 · a27d47b · a27d47b
1 parent 783e2a6
commit a27d47b
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/clang/include/clang/Basic/DiagnosticSemaKinds.td b/clang/include/clang/Basic/DiagnosticSemaKinds.td
@@ -3132,6 +3132,8 @@ def err_splice_global_scope_as_namespace : Error<
 def err_member_access_splice_not_class_member : Error<
   "use of splice as qualified member access requires the reflection to be a "
   "member of a class">;
+def err_splice_unnamed_bit_field : Error<
+  "cannot splice a reflection of an unnamed bit-field">;
 def err_unsupported_splice_kind : Error<
   "splicing %0 %select{as template arguments is|is}1 %select{not|not yet}2 "
   "%select{supported|implemented}2">;

diff --git a/clang/lib/Sema/SemaReflect.cpp b/clang/lib/Sema/SemaReflect.cpp
@@ -816,6 +816,12 @@ ExprResult Sema::BuildReflectionSpliceExpr(
         return ExprError();
       }
 
+      if (auto *FD = dyn_cast<FieldDecl>(TheDecl);
+          FD && FD->isUnnamedBitField()) {
+        Diag(Operand->getExprLoc(), diag::err_splice_unnamed_bit_field);
+        return ExprError();
+      }
+
       // Create a new DeclRefExpr, since the operand of the reflect expression
       // was parsed in an unevaluated context (but a splice expression is not
       // necessarily, and frequently not, in such a context).