tmp/tmp1qkrl2nc/{from.md → to.md}
RENAMED
|
@@ -20,12 +20,12 @@ evaluates to `true` for all `size_t i` and `size_t j` such that
|
|
| 20 |
|
| 21 |
The expression `addressof(a[i]) != addressof(b[j])` evaluates to `true`
|
| 22 |
for any two arrays `a` and `b` and for any `size_t i` and `size_t j`
|
| 23 |
such that `i < a.size()` and `j < b.size()`.
|
| 24 |
|
| 25 |
-
[*Note 2*: This property indicates an absence of aliasing and
|
| 26 |
-
used to advantage by optimizing compilers. Compilers
|
| 27 |
of inlining, constant propagation, loop fusion, tracking of pointers
|
| 28 |
obtained from `operator new`, and other techniques to generate efficient
|
| 29 |
`valarray`s. — *end note*]
|
| 30 |
|
| 31 |
The reference returned by the subscript operator for an array shall be
|
|
|
|
| 20 |
|
| 21 |
The expression `addressof(a[i]) != addressof(b[j])` evaluates to `true`
|
| 22 |
for any two arrays `a` and `b` and for any `size_t i` and `size_t j`
|
| 23 |
such that `i < a.size()` and `j < b.size()`.
|
| 24 |
|
| 25 |
+
[*Note 2*: This property indicates an absence of aliasing and can be
|
| 26 |
+
used to advantage by optimizing compilers. Compilers can take advantage
|
| 27 |
of inlining, constant propagation, loop fusion, tracking of pointers
|
| 28 |
obtained from `operator new`, and other techniques to generate efficient
|
| 29 |
`valarray`s. — *end note*]
|
| 30 |
|
| 31 |
The reference returned by the subscript operator for an array shall be
|