tmp/tmpun0tasrv/{from.md → to.md}
RENAMED
|
@@ -49,15 +49,15 @@ object must be live until the corresponding `undeclare_no_pointers()`
|
|
| 49 |
call. In a garbage-collecting implementation, the fact that a region in
|
| 50 |
an object is registered with `declare_no_pointers()` should not prevent
|
| 51 |
the object from being collected.
|
| 52 |
|
| 53 |
*Effects:* The `n` bytes starting at `p` no longer contain traceable
|
| 54 |
-
pointer locations, independent of their type. Hence
|
| 55 |
-
|
| 56 |
-
global `operator new` and not previously declared reachable.
|
| 57 |
-
used to inform a garbage collector or leak detector that
|
| 58 |
-
memory need not be traced.
|
| 59 |
|
| 60 |
*Throws:* Nothing.
|
| 61 |
|
| 62 |
Under some conditions implementations may need to allocate memory.
|
| 63 |
However, the request can be ignored if memory allocation fails.
|
|
|
|
| 49 |
call. In a garbage-collecting implementation, the fact that a region in
|
| 50 |
an object is registered with `declare_no_pointers()` should not prevent
|
| 51 |
the object from being collected.
|
| 52 |
|
| 53 |
*Effects:* The `n` bytes starting at `p` no longer contain traceable
|
| 54 |
+
pointer locations, independent of their type. Hence indirection through
|
| 55 |
+
a pointer located there is undefined if the object it points to was
|
| 56 |
+
created by global `operator new` and not previously declared reachable.
|
| 57 |
+
This may be used to inform a garbage collector or leak detector that
|
| 58 |
+
this region of memory need not be traced.
|
| 59 |
|
| 60 |
*Throws:* Nothing.
|
| 61 |
|
| 62 |
Under some conditions implementations may need to allocate memory.
|
| 63 |
However, the request can be ignored if memory allocation fails.
|