[clang] [BoundsSafety][Sema] Allow counted_by and counted_by_or_null on pointers where the pointee type is incomplete but potentially completable (PR #106321)
Dan Liew via cfe-commits
cfe-commits at lists.llvm.org
Tue Jan 7 08:59:31 PST 2025
================
@@ -8238,6 +8246,15 @@ ExprResult InitializationSequence::Perform(Sema &S,
}
}
+ // Note the return value isn't used to return early so that additional
+ // diagnostics can be emitted and to preserve the AST as best as possible
+ // even though an error might have occurred. For struct initialization it
+ // also allows all field assignments to be checked rather than bailing on
+ // the first error.
+ (void)S.BoundsSafetyCheckInitialization(
----------------
delcypher wrote:
Marking this as resolved (even though it technically isn't) for ease of reviewing because this is being discussed under https://github.com/llvm/llvm-project/pull/106321#discussion_r1816031253
https://github.com/llvm/llvm-project/pull/106321
More information about the cfe-commits
mailing list