test/typecheck/label-redefinition.txt


1
2
3
4
5
6
7
8
9
10
11
12
13

;;; TOOL: wat2wasm
(module
  (func (result i32)
    block $l1 (result i32)
      block $l1 (result i32)
        i32.const 2
      end
      block $l1 (result i32)
        i32.const 3
        br $l1
      end
      i32.add
    end))