mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Bless run-make.

Browse Source
This commit is contained in:
Camille GILLOT 2023-04-05 19:42:01 +00:00
parent 4a1ff5e04d
commit c9409136c7
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
tests/run-make/const_fn_mir/dump.mir
View File

@ -2,9 +2,15 @@
// and is subject to change without notice. Knock yourself out. // and is subject to change without notice. Knock yourself out.
fn foo() -> i32 { fn foo() -> i32 {
let mut _0: i32; // return place in scope 0 at main.rs:4:19: 4:22 let mut _0: i32; // return place in scope 0 at main.rs:4:19: 4:22
let mut _1: (i32, bool); // in scope 0 at main.rs:5:5: 5:10
bb0: { bb0: {
_0 = const 11_i32; // scope 0 at main.rs:5:5: 5:10 _1 = CheckedAdd(const 5_i32, const 6_i32); // scope 0 at main.rs:5:5: 5:10
assert(!move (_1.1: bool), "attempt to compute `{} + {}`, which would overflow", const 5_i32, const 6_i32) -> bb1; // scope 0 at main.rs:5:5: 5:10
}
bb1: {
_0 = move (_1.0: i32); // scope 0 at main.rs:5:5: 5:10
return; // scope 0 at main.rs:6:2: 6:2 return; // scope 0 at main.rs:6:2: 6:2
} }
} }