Rename genmc_intercept_function

Author: Patrick-6

src/concurrency/genmc/dummy.rs

@@ -43,7 +43,7 @@ mod intercept {
 
     impl<'tcx> EvalContextExt<'tcx> for crate::MiriInterpCx<'tcx> {}
     pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
-        fn check_genmc_intercept_function(
+        fn genmc_intercept_function(
             &mut self,
             _instance: rustc_middle::ty::Instance<'tcx>,
             _args: &[rustc_const_eval::interpret::FnArg<'tcx, crate::Provenance>],

src/concurrency/genmc/intercept.rs

@@ -13,7 +13,7 @@ impl<'tcx> EvalContextExt<'tcx> for crate::MiriInterpCx<'tcx> {}
 pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
     /// Given a `ty::Instance<'tcx>`, do any required special handling.
     /// Returns true if this `instance` should be skipped (i.e., no MIR should be executed for it).
-    fn check_genmc_intercept_function(
+    fn genmc_intercept_function(
         &mut self,
         instance: rustc_middle::ty::Instance<'tcx>,
         args: &[rustc_const_eval::interpret::FnArg<'tcx, crate::Provenance>],

src/machine.rs

@@ -1185,7 +1185,7 @@ impl<'tcx> Machine<'tcx> for MiriMachine<'tcx> {
         }
 
         if ecx.machine.data_race.as_genmc_ref().is_some()
-            && ecx.check_genmc_intercept_function(instance, args, dest)?
+            && ecx.genmc_intercept_function(instance, args, dest)?
         {
             ecx.return_to_block(ret)?;
             return interp_ok(None);