Use check_shim() for abort

Author: hyd-dev

src/shims/foreign_items.rs

@@ -244,11 +244,8 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
                     throw_machine_stop!(TerminationInfo::Exit(code.into()));
                 }
                 "abort" => {
-                    this.check_abi_and_shim_symbol_clash(
-                        abi,
-                        Abi::C { unwind: false },
-                        link_name_sym,
-                    )?;
+                    let &[] =
+                        this.check_shim(abi, Abi::C { unwind: false }, link_name_sym, args)?;
                     throw_machine_stop!(TerminationInfo::Abort(
                         "the program aborted execution".to_owned()
                     ))

tests/compile-fail/function_calls/check_arg_count_abort.rs

@@ -0,0 +1,10 @@
+fn main() {
+    extern "C" {
+        fn abort(_: i32) -> !;
+    }
+
+    unsafe {
+        abort(1);
+        //~^ ERROR Undefined Behavior: incorrect number of arguments: got 1, expected 0
+    }
+}