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

Erich Keane via cfe-commits cfe-commits at lists.llvm.org
Wed Sep 4 10:56:15 PDT 2024


================
@@ -186,4 +218,370 @@ bool Sema::CheckCountedByAttrOnField(FieldDecl *FD, Expr *E, bool CountInBytes,
   return false;
 }
 
+SourceRange Sema::BoundsSafetySourceRangeFor(const CountAttributedType *CATy) {
----------------
erichkeane wrote:

I agree with Sirraide here, but would have to spend some time contemplating the implications of your proposal.

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


More information about the cfe-commits mailing list