================ @@ -5592,6 +5592,11 @@ members, one of which is a pointer to the start of the allocated memory and the other one is either an integer type containing the size of the actually allocated memory or a pointer to the end of the allocated region. Note, static data members do not impact whether a type is span-like or not. + +In combination with the `alloc_size` attribute, if the begin pointer is +non-null, the size of the returned span-like object has to be greater or equal +to the number of bytes guaranteed to be dereferenceable by `alloc_size`. It also +guarantees that the number of dereferenceable bytes is at least size. ---------------- philnik777 wrote:
No, the user guarantees it to the compiler. I'm not sure how you read clang making any guarantees into this. That's always phrased as clang diagnosing something AFAIK. https://github.com/llvm/llvm-project/pull/216967 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
