src/tools/clippy/tests/ui/manual_div_ceil_with_feature.fixed


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
83
84
85
86

#![warn(clippy::manual_div_ceil)]
#![feature(int_roundings)]

fn main() {
    let x = 7_i32;
    let y = 4_i32;
    let z = 3_i32;
    let z_u: u32 = 11;

    // Lint.
    let _ = x.div_ceil(y);
    //~^ manual_div_ceil
    let _ = x.div_ceil(y);
    //~^ manual_div_ceil
    let _ = x.div_ceil(y);
    //~^ manual_div_ceil

    let _ = 7_i32.div_ceil(4);
    //~^ manual_div_ceil
    let _ = (7_i32 as u32).div_ceil(4);
    //~^ manual_div_ceil
    let _ = (7_u32 as i32).div_ceil(4);
    //~^ manual_div_ceil
    let _ = z_u.div_ceil(4);
    //~^ manual_div_ceil

    // No lint.
    let _ = (x + (y - 2)) / y;
    let _ = (x + (y + 1)) / y;

    let _ = (x + (y - 1)) / z;
}

fn issue_13843() {
    let x = 3usize;
    let _ = 2048_usize.div_ceil(x);
    //~^ manual_div_ceil

    let x = 5usize;
    let _ = 2048usize.div_ceil(x);
    //~^ manual_div_ceil

    let x = 5usize;
    let _ = 2048_usize.div_ceil(x);
    //~^ manual_div_ceil

    let x = 2048usize;
    let _ = x.div_ceil(4);
    //~^ manual_div_ceil

    let _ = 2048_i32.div_ceil(4);
    //~^ manual_div_ceil

    let _: u32 = 2048_u32.div_ceil(6);
    //~^ manual_div_ceil
    let _: usize = 2048_usize.div_ceil(6);
    //~^ manual_div_ceil
    let _: u32 = 0x2048_u32.div_ceil(0x6);
    //~^ manual_div_ceil

    let _ = 2048_u32.div_ceil(6u32);
    //~^ manual_div_ceil

    let x = -2;
    let _ = (-2048_i32).div_ceil(x);
    //~^ manual_div_ceil

    let _ = 1_000_000_u32.div_ceil(6u32);
    //~^ manual_div_ceil
}

fn issue_13950() {
    let x = 33u32;
    let _ = x.div_ceil(8);
    //~^ manual_div_ceil
    let _ = x.div_ceil(8);
    //~^ manual_div_ceil

    let y = -33i32;
    let _ = y.div_ceil(-7);
    //~^ manual_div_ceil
    let _ = y.div_ceil(-7);
    //~^ manual_div_ceil
    let _ = y.div_ceil(-7);
    //~^ manual_div_ceil
}