fixup

compiler/vm.nim

@@ -1082,7 +1082,7 @@ proc rawExecute(c: PCtx, start: int, tos: PStackFrame): TFullReg =
           VmArgs(ra: ra, rb: rb, rc: rc, slots: cast[pointer](regs),
                  currentException: c.currentExceptionA,
                  currentLineInfo: c.debug[pc]))
-      elif importcVMCond(prc):
+      elif shouldImportcSymbol(prc):
         if compiletimeFFI notin c.config.features:
           globalError(c.config, c.debug[pc], "VM not allowed to do FFI, see `compiletimeFFI`")
         # we pass 'tos.slots' instead of 'regs' so that the compiler can keep

compiler/vmgen.nim

@@ -1547,9 +1547,11 @@ proc genTypeLit(c: PCtx; t: PType; dest: var TDest) =
 proc importcCond(s: PSym): bool {.inline.} =
   sfImportc in s.flags and (lfDynamicLib notin s.loc.flags or s.ast == nil)
 
-proc importcVMCond*(s: PSym): bool =
+proc shouldImportcSymbol*(s: PSym): bool =
   ## return true to importc `s`, false to execute its body instead (refs #8405)
-  sfImportc in s.flags and s.ast == nil
+  if sfImportc in s.flags:
+    assert s.kind == skProc
+    return s.ast.sons[bodyPos].kind == nkEmpty
 
 proc importcSym(c: PCtx; info: TLineInfo; s: PSym) =
   when hasFFI: