+++ /dev/null
-// compile-flags: -C panic=abort -C codegen-units=1
-// error-pattern:converging_fn called
-// ignore-cloudabi no std::process
-
-use std::io::{self, Write};
-
-struct Droppable;
-impl Drop for Droppable {
- fn drop(&mut self) {
- ::std::process::exit(1)
- }
-}
-
-fn converging_fn() {
- panic!("converging_fn called")
-}
-
-fn mir(d: Droppable) {
- let x = Droppable;
- converging_fn();
- drop(x);
- drop(d);
-}
-
-fn main() {
- mir(Droppable);
-}
+++ /dev/null
-// compile-flags: -C panic=abort -C codegen-units=1
-// error-pattern:diverging_fn called
-// ignore-cloudabi no std::process
-
-use std::io::{self, Write};
-
-struct Droppable;
-impl Drop for Droppable {
- fn drop(&mut self) {
- ::std::process::exit(1)
- }
-}
-
-fn diverging_fn() -> ! {
- panic!("diverging_fn called")
-}
-
-fn mir(d: Droppable) {
- let x = Droppable;
- diverging_fn();
- drop(x);
- drop(d);
-}
-
-fn main() {
- mir(Droppable);
-}