bugfix for aarch64 marker insertion

JanLJL · JanLJL · commit 6d46aaac4781 · 2025-03-07T14:33:36.000+01:00
diff --git a/kerncraft/incore_model.py b/kerncraft/incore_model.py
@@ -698,6 +698,7 @@ def asm_instrumentation(
                 "'auto_with_manual_fallback' "
             )
 
+    syntax = ""
     if isa == "x86":
         syntax = detect_x86_syntax(code)
     osaca_version_tuple = tuple(map(int, (osaca.get_version().split("."))))

Original file line number	Diff line number	Diff line change
`@@ -698,6 +698,7 @@ def asm_instrumentation(`
`698`	`698`	`"'auto_with_manual_fallback' "`
`699`	`699`	`)`
`700`	`700`
	`701`	`+ syntax = ""`
`701`	`702`	`if isa == "x86":`
`702`	`703`	`syntax = detect_x86_syntax(code)`
`703`	`704`	`osaca_version_tuple = tuple(map(int, (osaca.get_version().split("."))))`