fix: added padding for jumpdest

guiferpa · guiferpa · commit a2c8709063f1 · 2026-02-06T14:01:52.000-03:00
diff --git a/builder/evm/runtime.go b/builder/evm/runtime.go
@@ -129,7 +129,8 @@ func (t *Builder) pickRuntimeCode() (*RuntimeCode, error) {
 				Offset: offset,
 				Length: code.Len(),
 			})
-			offset += code.Len()
+			// +1: each block in "referenced" is prefixed by OpJumpDestiny (1 byte)
+			offset += 1 + code.Len()
 		} else {
 			rootinsts = append(rootinsts, inst)
 		}
diff --git a/builder/evm/runtime_test.go b/builder/evm/runtime_test.go
@@ -141,7 +141,7 @@ ident bcde = { true; };`,
 					},
 					{
 						Selector:     []byte("bcde"),
-						Offset:       28,
+						Offset:       29, // 1 (JUMPDEST) + 28 (first block code length)
 						Length:       8,
 						Instructions: insts2,
 					},

Original file line number	Diff line number	Diff line change
@@ -141,7 +141,7 @@ ident bcde = { true; };`,
`141`	`141`	`},`
`142`	`142`	`{`
`143`	`143`	`Selector: []byte("bcde"),`
`144`		`- Offset: 28,`
	`144`	`+ Offset: 29, // 1 (JUMPDEST) + 28 (first block code length)`
`145`	`145`	`Length: 8,`
`146`	`146`	`Instructions: insts2,`
`147`	`147`	`},`