[llvm] LangRef: allocated objects can grow (PR #141338)

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Sat May 24 06:53:22 PDT 2025


================
@@ -3327,6 +3327,15 @@ behavior is undefined:
 -  the size of all allocated objects must be non-negative and not exceed the
    largest signed integer that fits into the index type.
 
+Allocated objects that are created with operations recognized by LLVM (such as
+:ref:`alloca <i_alloca>`, heap allocation functions marked as such, and global
----------------
nikic wrote:

Maybe "heap allocation functions with the `allocsize` attribute"?

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


More information about the llvm-commits mailing list