Update 250407.1.

1 files changed, 18 insertions, 11 deletions

diff --git a/md/issues/250407.1.md b/md/issues/250407.1.md
index c0841fd..3958b12 100644
--- a/md/issues/250407.1.md
+++ b/md/issues/250407.1.md
@@ -3,14 +3,14 @@ Author: Jann Horn
 Email: jannh@google.com
 Champion: David Blaikie
 Submit-Date: 2025-04-07
-Revised-Date: 
+Revised-Date: 2025-05-13
 Closed-Date: 
 Propid: 250407.1
 Type: Enhancement
 Status: Open
 Version: 6
 Format: markdown
-Revisions: 
+Revisions: 2025-04-14
 
 ## Background
 
@@ -68,7 +68,7 @@ calls to the allocator subroutine.
 
 ## Overview
 
-I am proposing to add a new DWARF attribute `DW_AT_heapallocsite` that
+Add a new DWARF attribute `DW_AT_alloc_type` that
 can be attached to a `DW_TAG_call_site` (or `DW_TAG_inlined_subroutine`)
 for calls to allocator subroutines (or subroutines with similar
 semantics). The value of the attribute is essentially the type
@@ -79,31 +79,28 @@ allocated by the callee when called from the callsite.
 In section "2.2 Attribute Types", Table 2.2 "Attribute names", add the
 following entry:
 
-Attribute: `DW_AT_heapallocsite` 
+Attribute: `DW_AT_alloc_type` 
 Identifies or Specifies: Type allocated at call site
 
 In section "7.5.4 Attribute Encodings", Table 7.5 "Attribute
 encodings", add the following entry:
 
-Attribute name: `DW_AT_heapallocsite` 
+Attribute name: `DW_AT_alloc_type` 
 Value: `<next available ID>` 
 Classes: reference
 
 At the end of section "3.4.1 Call Site Entries", append these paragraphs:
 
-> The call site may have a `DW_AT_heapallocsite` attribute referencing a
+> The call site may have a `DW_AT_alloc_type` attribute referencing a
 > debugging information entry for the type that the type-agnostic callee
 > operates on when called from this call site. In particular, if the
 > callee's primary purpose is to allocate memory, it refers to the type
 > of the allocated object. The referenced type may be a reasonable guess
 > if no reliable type information is available.
-> 
+>
 > *This attribute should only be used when either the callee is a
 > memory allocation subroutine or the programmer has requested its use
-> at a specific call site or for calls to a specific subroutine. The
-> meaning of this attribute, when attached to a subroutine whose primary
-> purpose is not to allocate memory, is defined by the
-> programmer.*
+> at a specific call site or for calls to a specific subroutine.*
 
 In section "3.3.8.2 Concrete Instances", before the paragraph starting
 with "An inlined subroutine entry may have a `DW_AT_const_expr`
@@ -132,3 +129,13 @@ S_HEAPALLOCSITE debuginfo][3]
 [1]: https://clang.llvm.org/docs/AttributeReference.html#allocator
 [2]: https://github.com/llvm/llvm-project/pull/132073
 [3]: https://learn.microsoft.com/en-us/visualstudio/profiling/memory-usage?view=vs-2022
+
+---
+
+2025-05-13: [Revised][diff1].
+Change name to `DW_AT_alloc_type`.
+Remove sentence about non-memory-allocating usage:
+
+> <del>The meaning of this attribute, when attached to a
+> subroutine whose primary purpose is not to allocate
+> memory, is defined by the programmer.</del>