File tree Expand file tree Collapse file tree 1 file changed +0
-17
lines changed Expand file tree Collapse file tree 1 file changed +0
-17
lines changed Original file line number Diff line number Diff line change @@ -1589,23 +1589,6 @@ Currently, only the following parameter attributes are defined:
1589
1589
``readonly`` or a ``memory`` attribute that does not contain
1590
1590
``argmem: write``.
1591
1591
1592
- ``initialized((Lo1,Hi1),...)``
1593
- This attribute is a list of const ranges in ascending order with no
1594
- overlapping or continuous. It indicates that the function initializes the
1595
- memory through the pointer argument, [%p+LoN, %p+HiN), and there is no read
1596
- before initialization in the function. (even though it may read before
1597
- initializating the memory that the pointer points to).
1598
-
1599
- The ``writable`` or ``dereferenceable`` attribute does not imply
1600
- ``initialized`` attribute, however the ``initialized`` argument does imply
1601
- ``writable`` and ``dereferenceable`` in the specified spaces.
1602
-
1603
- The ``initialized`` attribute can combine with ``writeonly`` attribute, but
1604
- cannot be combined with ``readnone``, ``readonly`` or a memory attribute
1605
- that does not contain ``argmem: write``.
1606
-
1607
- [TODO: unwind]
1608
-
1609
1592
``dead_on_unwind``
1610
1593
At a high level, this attribute indicates that the pointer argument is dead
1611
1594
if the call unwinds, in the sense that the caller will not depend on the
You can’t perform that action at this time.
0 commit comments