tests/mir-opt/tail_call_drops.rs


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

// skip-filecheck
// EMIT_MIR_FOR_EACH_PANIC_STRATEGY
#![allow(incomplete_features)]
#![feature(explicit_tail_calls)]

// EMIT_MIR tail_call_drops.f.built.after.mir
//   Expected result:
//   drop(_d) -> drop(_c) -> drop(_a) -> tailcall g()
//
// EMIT_MIR tail_call_drops.f.ElaborateDrops.diff
//   Expected result:
//   drop(_d) ->             drop(_a) -> tailcall g()
fn f() {
    let _a = String::new();
    let _b = 12;
    let _c = String::new();
    let _d = String::new();

    drop(_c);

    become g();
}

fn g() {}

// EMIT_MIR tail_call_drops.f_with_arg.built.after.mir
// EMIT_MIR tail_call_drops.f_with_arg.ElaborateDrops.diff
fn f_with_arg(_arg1: String, _arg2: String) {
    let _a = String::new();
    let _b = 12;
    let _c = String::new();
    let _d = String::new();

    drop(_c);

    become g_with_arg(String::new(), String::new());
}

fn g_with_arg(_arg1: String, _arg2: String) {}

fn main() {}