Skip CrateItems that of GlobalAsm kind to avoid triggering a panic in stable MIR

Author: remi-delmas-3000

kani-compiler/src/kani_middle/reachability.rs

@@ -83,6 +83,14 @@ where
     crate_items
         .iter()
         .filter_map(|item| {
+            // avoid stable MIR panic
+            // https://github.com/rust-lang/project-stable-mir/issues/95
+            if let Some(instance) = Instance::try_from(*item).ok() {
+                let int_def_id = rustc_internal::internal(tcx, instance.def.def_id());
+                if matches!(tcx.def_kind(int_def_id), rustc_hir::def::DefKind::GlobalAsm) {
+                    return None;
+                }
+            };
             // Only collect monomorphic items.
             matches!(item.kind(), ItemKind::Fn)
                 .then(|| {