Fix mir interp of TerminatorKind::Terminate

nbdd0121 · nbdd0121 · commit e29b5badbcf1 · 2023-04-06T09:34:16.000+01:00
diff --git a/compiler/rustc_const_eval/src/interpret/terminator.rs b/compiler/rustc_const_eval/src/interpret/terminator.rs
@@ -145,7 +145,8 @@ impl<'mir, 'tcx: 'mir, M: Machine<'mir, 'tcx>> InterpCx<'mir, 'tcx, M> {
             }
 
             Terminate => {
-                M::abort(self, "the program aborted execution".to_owned())?;
+                // FIXME: maybe should call `panic_no_unwind` lang item instead.
+                M::abort(self, "panic in a function that cannot unwind".to_owned())?;
             }
 
             // When we encounter Resume, we've finished unwinding

Original file line number	Diff line number	Diff line change
`@@ -145,7 +145,8 @@ impl<'mir, 'tcx: 'mir, M: Machine<'mir, 'tcx>> InterpCx<'mir, 'tcx, M> {`
`145`	`145`	`}`
`146`	`146`
`147`	`147`	`Terminate => {`
`148`		`- M::abort(self, "the program aborted execution".to_owned())?;`
	`148`	+ // FIXME: maybe should call `panic_no_unwind` lang item instead.
	`149`	`+ M::abort(self, "panic in a function that cannot unwind".to_owned())?;`
`149`	`150`	`}`
`150`	`151`
`151`	`152`	`// When we encounter Resume, we've finished unwinding`