summaryrefslogtreecommitdiffstats
path: root/src/test/ui/mir/mir_fat_ptr.rs
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:02:58 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:02:58 +0000
commit698f8c2f01ea549d77d7dc3338a12e04c11057b9 (patch)
tree173a775858bd501c378080a10dca74132f05bc50 /src/test/ui/mir/mir_fat_ptr.rs
parentInitial commit. (diff)
downloadrustc-698f8c2f01ea549d77d7dc3338a12e04c11057b9.tar.xz
rustc-698f8c2f01ea549d77d7dc3338a12e04c11057b9.zip
Adding upstream version 1.64.0+dfsg1.upstream/1.64.0+dfsg1
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'src/test/ui/mir/mir_fat_ptr.rs')
-rw-r--r--src/test/ui/mir/mir_fat_ptr.rs52
1 files changed, 52 insertions, 0 deletions
diff --git a/src/test/ui/mir/mir_fat_ptr.rs b/src/test/ui/mir/mir_fat_ptr.rs
new file mode 100644
index 000000000..7c3e07c9e
--- /dev/null
+++ b/src/test/ui/mir/mir_fat_ptr.rs
@@ -0,0 +1,52 @@
+// run-pass
+// test that ordinary fat pointer operations work.
+
+struct Wrapper<T: ?Sized>(#[allow(unused_tuple_struct_fields)] u32, T);
+
+struct FatPtrContainer<'a> {
+ ptr: &'a [u8]
+}
+
+fn fat_ptr_project(a: &Wrapper<[u8]>) -> &[u8] {
+ &a.1
+}
+
+fn fat_ptr_simple(a: &[u8]) -> &[u8] {
+ a
+}
+
+fn fat_ptr_via_local(a: &[u8]) -> &[u8] {
+ let x = a;
+ x
+}
+
+fn fat_ptr_from_struct(s: FatPtrContainer) -> &[u8] {
+ s.ptr
+}
+
+fn fat_ptr_to_struct(a: &[u8]) -> FatPtrContainer {
+ FatPtrContainer { ptr: a }
+}
+
+fn fat_ptr_store_to<'a>(a: &'a [u8], b: &mut &'a [u8]) {
+ *b = a;
+}
+
+fn fat_ptr_constant() -> &'static str {
+ "HELLO"
+}
+
+fn main() {
+ let a = Wrapper(4, [7,6,5]);
+
+ let p = fat_ptr_project(&a);
+ let p = fat_ptr_simple(p);
+ let p = fat_ptr_via_local(p);
+ let p = fat_ptr_from_struct(fat_ptr_to_struct(p));
+
+ let mut target : &[u8] = &[42];
+ fat_ptr_store_to(p, &mut target);
+ assert_eq!(target, &a.1);
+
+ assert_eq!(fat_ptr_constant(), "HELLO");
+}