Skip to content

Commit 78bbc5b

Browse files
authored
Merge pull request #2253 from RalfJung/ub-place-proj
avoid using 'place projection' for only some of the projections
2 parents 5d5be50 + 1c233d6 commit 78bbc5b

1 file changed

Lines changed: 1 addition & 4 deletions

File tree

src/behavior-considered-undefined.md

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -28,10 +28,7 @@ r[undefined.pointer-access]
2828
a misaligned pointer].
2929

3030
r[undefined.place-projection]
31-
* Performing a place projection that violates the requirements of [in-bounds
32-
pointer arithmetic](pointer#method.offset). A place projection is a [field
33-
expression][project-field], a [tuple index expression][project-tuple], or an
34-
[array/slice index expression][project-slice].
31+
* Performing an offsetting place projection that violates the requirements of [in-bounds pointer arithmetic](pointer#method.offset). An offsetting place projection is a [field expression][project-field], a [tuple index expression][project-tuple], or an [array/slice index expression][project-slice].
3532

3633
r[undefined.alias]
3734
* Breaking the pointer aliasing rules. The exact aliasing rules are not determined yet, but here is an outline of the general principles:

0 commit comments

Comments
 (0)