add miri tests and a fixme

2024-06-17 15:37:33 +00:00 · 2024-06-17 15:37:33 +00:00 · 6d4995f4e6
commit 6d4995f4e6
parent cda25e56c8
6 changed files with 112 additions and 0 deletions
--- a/compiler/rustc_const_eval/src/interpret/terminator.rs
+++ b/compiler/rustc_const_eval/src/interpret/terminator.rs
@ -992,6 +992,10 @@ impl<'tcx, M: Machine<'tcx>> InterpCx<'tcx, M> {
            bug!("can't tailcall as root");
        };

+        // FIXME(explicit_tail_calls):
+        //   we should check if both caller&callee can/n't unwind,
+        //   see <https://github.com/rust-lang/rust/pull/113128#issuecomment-1614979803>
+
        self.eval_fn_call(
            fn_val,
            (caller_abi, caller_fn_abi),