blob: 24d7eb28a197aa03b75fd663cbeda11339ee8c4a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
|
#![allow(clippy::let_unit_value)]
fn main() {
let x: [i32; 3] = [1_i32, 2, 3];
let r_x = &x;
// Check casting through multiple bindings
// Because it's separate, it does not check the cast back to something of the same size
let a = r_x as *const [i32];
let b = a as *const [u8];
let c = b as *const [u32];
// loses data
let loss = r_x as *const [i32] as *const [u8];
// Cast back to same size but different type loses no data, just type conversion
// This is weird code but there's no reason for this lint specifically to fire *twice* on it
let restore = r_x as *const [i32] as *const [u8] as *const [u32];
// Check casting through blocks is detected
let loss_block_1 = { r_x as *const [i32] } as *const [u8];
let loss_block_2 = {
let _ = ();
r_x as *const [i32]
} as *const [u8];
// Check that resores of the same size are detected through blocks
let restore_block_1 = { r_x as *const [i32] } as *const [u8] as *const [u32];
let restore_block_2 = { ({ r_x as *const [i32] }) as *const [u8] } as *const [u32];
let restore_block_3 = {
let _ = ();
({
let _ = ();
r_x as *const [i32]
}) as *const [u8]
} as *const [u32];
// Check that the result of a long chain of casts is detected
let long_chain_loss = r_x as *const [i32] as *const [u32] as *const [u16] as *const [i8] as *const [u8];
let long_chain_restore =
r_x as *const [i32] as *const [u32] as *const [u16] as *const [i8] as *const [u8] as *const [u32];
}
// foo and foo2 should not fire, they're the same size
fn foo(x: *mut [u8]) -> *mut [u8] {
x as *mut [u8]
}
fn foo2(x: *mut [u8]) -> *mut [u8] {
x as *mut _
}
// Test that casts as part of function returns work
fn bar(x: *mut [u16]) -> *mut [u8] {
x as *mut [u8]
}
fn uwu(x: *mut [u16]) -> *mut [u8] {
x as *mut _
}
fn bar2(x: *mut [u16]) -> *mut [u8] {
x as _
}
// constify
fn bar3(x: *mut [u16]) -> *const [u8] {
x as _
}
// unconstify
fn bar4(x: *const [u16]) -> *mut [u8] {
x as _
}
// function returns plus blocks
fn blocks(x: *mut [u16]) -> *mut [u8] {
({ x }) as _
}
fn more_blocks(x: *mut [u16]) -> *mut [u8] {
{ ({ x }) as _ }
}
|
