| (module |
| (memory 1 1) |
| (func $mystart |
| ;; should not be modified because its the start function |
| (i32.store (i32.load (i32.const 42)) (i32.const 43)) |
| (call $foo) |
| ) |
| (func $foo |
| ;; should not be modified because its reachable from start function |
| (i32.store (i32.load (i32.const 1234)) (i32.const 5678)) |
| (call $foo2) |
| ) |
| (func $foo2 |
| ;; should not be modified because its reachable from start function |
| (i32.store (i32.load (i32.const 98)) (i32.const 99)) |
| ) |
| (func $bar |
| (i32.store (i32.load (i32.const 1234)) (i32.const 5678)) |
| ) |
| (start $mystart) |
| ) |