[llvm] LangRef: allocated objects can grow (PR #141338)
Ralf Jung via llvm-commits
llvm-commits at lists.llvm.org
Sat May 24 10:13:52 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
----------------
RalfJung wrote:
Doesn't LLVM also recognize `malloc` as a special magic name?
https://github.com/llvm/llvm-project/pull/141338
More information about the llvm-commits
mailing list