]>
Commit | Line | Data |
---|---|---|
ba9703b0 XL |
1 | // MIR for `<impl at $DIR/issue-41697.rs:18:1: 22:2>::{{constant}}#0` after SimplifyCfg-qualify-consts |
2 | ||
3 | <impl at $DIR/issue-41697.rs:18:1: 22:2>::{{constant}}#0: usize = { | |
4 | let mut _0: usize; // return place in scope 0 at $DIR/issue-41697.rs:18:19: 18:22 | |
5 | let mut _1: (usize, bool); // in scope 0 at $DIR/issue-41697.rs:18:19: 18:22 | |
6 | ||
7 | bb0: { | |
f9f354fc | 8 | _1 = CheckedAdd(const 1usize, const 1usize); // scope 0 at $DIR/issue-41697.rs:18:19: 18:22 |
ba9703b0 XL |
9 | // ty::Const |
10 | // + ty: usize | |
11 | // + val: Value(Scalar(0x00000001)) | |
12 | // mir::Constant | |
13 | // + span: $DIR/issue-41697.rs:18:19: 18:20 | |
14 | // + literal: Const { ty: usize, val: Value(Scalar(0x00000001)) } | |
15 | // ty::Const | |
16 | // + ty: usize | |
17 | // + val: Value(Scalar(0x00000001)) | |
18 | // mir::Constant | |
19 | // + span: $DIR/issue-41697.rs:18:21: 18:22 | |
20 | // + literal: Const { ty: usize, val: Value(Scalar(0x00000001)) } | |
f9f354fc | 21 | assert(!move (_1.1: bool), "attempt to add with overflow") -> [success: bb2, unwind: bb1]; // scope 0 at $DIR/issue-41697.rs:18:19: 18:22 |
ba9703b0 XL |
22 | } |
23 | ||
24 | bb1 (cleanup): { | |
f9f354fc | 25 | resume; // scope 0 at $DIR/issue-41697.rs:18:19: 18:22 |
ba9703b0 XL |
26 | } |
27 | ||
28 | bb2: { | |
f9f354fc XL |
29 | _0 = move (_1.0: usize); // scope 0 at $DIR/issue-41697.rs:18:19: 18:22 |
30 | return; // scope 0 at $DIR/issue-41697.rs:18:19: 18:22 | |
ba9703b0 XL |
31 | } |
32 | } |