From Jason Turner

[new.delete.placement]

Diff to HTML by rtfpessoa

tmp/tmpv5573hy9/{from.md → to.md} RENAMED
@@ -36,27 +36,19 @@ Something* p = new (place) Something();
36
  void operator delete(void* ptr, void*) noexcept;
37
  ```
38
 
39
  *Effects:* Intentionally performs no action.
40
 
41
- *Preconditions:* If an implementation has strict pointer
42
- safety [[basic.stc.dynamic.safety]] then `ptr` is a safely-derived
43
- pointer.
44
-
45
  *Remarks:* Default function called when any part of the initialization
46
  in a placement *new-expression* that invokes the library’s non-array
47
  placement operator new terminates by throwing an exception [[expr.new]].
48
 
49
  ``` cpp
50
  void operator delete[](void* ptr, void*) noexcept;
51
  ```
52
 
53
  *Effects:* Intentionally performs no action.
54
 
55
- *Preconditions:* If an implementation has strict pointer
56
- safety [[basic.stc.dynamic.safety]] then `ptr` is a safely-derived
57
- pointer.
58
-
59
  *Remarks:* Default function called when any part of the initialization
60
  in a placement *new-expression* that invokes the library’s array
61
  placement operator new terminates by throwing an exception [[expr.new]].
62
 
 
36
  void operator delete(void* ptr, void*) noexcept;
37
  ```
38
 
39
  *Effects:* Intentionally performs no action.
40
 
 
 
 
 
41
  *Remarks:* Default function called when any part of the initialization
42
  in a placement *new-expression* that invokes the library’s non-array
43
  placement operator new terminates by throwing an exception [[expr.new]].
44
 
45
  ``` cpp
46
  void operator delete[](void* ptr, void*) noexcept;
47
  ```
48
 
49
  *Effects:* Intentionally performs no action.
50
 
 
 
 
 
51
  *Remarks:* Default function called when any part of the initialization
52
  in a placement *new-expression* that invokes the library’s array
53
  placement operator new terminates by throwing an exception [[expr.new]].
54