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

[Henrik G. Olsson via cfe-commits]

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

[#108631](https://github.com/llvm/llvm-project/pull/108631) seems to have 
similar issues with wanting to access `AttributedTypeLoc` when all they have is 
`AttributedType`. We might need to improve the infrastructure for accessing 
`TypeLoc`s in a more ergonomic fashion.

https://github.com/llvm/llvm-project/pull/106321
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits