diff options
Diffstat (limited to 'tests/mir-opt/copy-prop/mutate_through_pointer.rs')
| -rw-r--r-- | tests/mir-opt/copy-prop/mutate_through_pointer.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/mir-opt/copy-prop/mutate_through_pointer.rs b/tests/mir-opt/copy-prop/mutate_through_pointer.rs index da142e339..753787089 100644 --- a/tests/mir-opt/copy-prop/mutate_through_pointer.rs +++ b/tests/mir-opt/copy-prop/mutate_through_pointer.rs @@ -1,3 +1,5 @@ +// unit-test: CopyProp +// // This attempts to mutate `a` via a pointer derived from `addr_of!(a)`. That is UB // according to Miri. However, the decision to make this UB - and to allow // rustc to rely on that fact for the purpose of optimizations - has not been |