[clang] [Bounds-Safety] Add sized_by, counted_by_or_null & sized_by_or_null (PR #93231)
    Yeoul Na via cfe-commits 
    cfe-commits at lists.llvm.org
       
    Fri May 31 09:43:36 PDT 2024
    
    
  
================
@@ -425,6 +425,12 @@ Attribute Changes in Clang
        size_t count;
      };
 
+- The attributes ``sized_by``, ``counted_by_or_null`` and ``sized_by_or_null```
+  have been added as variants on ``counted_by``, each with slightly different semantics.
+  ``sized_by`` takes a byte size parameter instead of an element count, allowing pointees
+  with unknown size. The ``counted_by_or_null`` and ``sized_by_or_null`` variants are equivalent
+  to their base variants, except the pointer can be null regardless of count/size value.
----------------
rapidsna wrote:
It would be nice to add a suggested use case for `sized_by_or_null`. e.g., an allocator that returns either a buffer of size or nullptr.  
https://github.com/llvm/llvm-project/pull/93231
    
    
More information about the cfe-commits
mailing list