[clang] [BoundsSafety][Sema] Allow counted_by and counted_by_or_null on pointers where the pointee type is incomplete but potentially completable (PR #106321)

via cfe-commits cfe-commits at lists.llvm.org
Mon Jan 13 08:55:05 PST 2025


================
@@ -3907,6 +3923,31 @@ CountAttributedType::CountAttributedType(
     DeclSlot[i] = CoupledDecls[i];
 }
 
+StringRef CountAttributedType::getAttributeName(bool WithMacroPrefix) const {
+// TODO: This method isn't really ideal because it doesn't return the spelling
+// of the attribute that was used in the user's code. This method is used for
+// diagnostics so the fact it doesn't use the spelling of the attribute in
+// the user's code could be confusing (#113585).
+#define ENUMERATE_ATTRS(PREFIX)                                                \
----------------
Sirraide wrote:

Yeah, the string literal concatenation kind more or less forces this to be a macro from what I can tell, and the underlying problem is that we don’t have access to the actual attribute, but fixing that issue is a bit tricky unfortunately...

https://github.com/llvm/llvm-project/pull/106321


More information about the cfe-commits mailing list