| (module | |
| (start $start) | |
| (func $start (export "start") | |
| ;; Test that locals are handled properly. This function has an i32 local, | |
| ;; and the other start has an f64 with the same name. | |
| (local $x i32) | |
| (drop | |
| (local.get $x) | |
| ) | |
| (drop | |
| (i32.const 1) | |
| ) | |
| ) | |
| (func $user (export "user") | |
| ;; These calls must go to the function $start here (with body "1") and not | |
| ;; to the modified start that has the third module's content merged in. | |
| (call $start) | |
| (call $start) | |
| ) | |
| ) |