fix: make format && make check

Author: Stevengre

kmir/src/kmir/alloc.py

@@ -8,10 +8,8 @@
 from .ty import Ty
 
 if TYPE_CHECKING:
-    from typing import Any, Final
-
-
-_LOGGER: Final = logging.getLogger(__name__)
+    # No conditional typing-only imports needed currently
+    pass
 
 
 AllocId = NewType('AllocId', int)
@@ -46,7 +44,7 @@ def from_dict(dct: dict[str, Any]) -> GlobalAlloc:
                 return Static.from_dict(dct)
             case {'Memory': _}:
                 return Memory.from_dict(dct)
-            case {'Static': alloc_id}:
+            case {'Static': _}:
                 return Static.from_dict(dct)
             case {'Function': _}:
                 return Function.from_dict(dct)

kmir/src/kmir/decoding.py

@@ -6,7 +6,7 @@
 from pyk.kast.inner import KApply
 from pyk.kast.prelude.string import stringToken
 
-from .alloc import Allocation, AllocInfo, Memory, ProvenanceEntry, ProvenanceMap, Static, Function, VTable
+from .alloc import Allocation, AllocInfo, Function, Memory, ProvenanceEntry, ProvenanceMap, Static, VTable
 from .ty import (
     ArbitraryFields,
     ArrayT,

kmir/src/kmir/linker.py

@@ -210,10 +210,10 @@ def apply_offset(info: SMIRInfo, offset: int) -> None:
                 apply_offset_provenance(allocation['provenance'], offset)
             case {'Static': alloc_id}:  # global_alloc: Static
                 alloc['global_alloc']['Static'] = alloc_id + offset
-            case {'Function': _instance}:  # global_alloc: Function
+            case {'Function': _}:  # global_alloc: Function
                 # Quick-compat: leave function instance as-is; not used for offset computations
                 pass
-            case {'VTable': _vtable}:  # global_alloc: VTable
+            case {'VTable': _}:  # global_alloc: VTable
                 # Quick-compat: keep as-is (if present). We do not offset embedded types here.
                 pass
             case _:
@@ -258,6 +258,7 @@ def apply_offset_item(item: dict, offset: int) -> None:
     if 'MonoItemFn' in item and 'body' in item['MonoItemFn']:
         body = item['MonoItemFn']['body']
         if body is None:
+            _LOGGER.warning(f"MonoItemFn {item['MonoItemFn'].get('name', '<unknown>')!r} has no body; skipping offsets")
             return
         for local in body.get('locals', []):
             local['ty'] += offset