Skip to content

Commit

Permalink
test: adjust br_table length test to work with streaming validation
Browse files Browse the repository at this point in the history 
current implementation fails on streaming validation due to interpreting
0x020x0b as block with type 11 which doesn't exist; so add enough types
such that 0x0b resolves to a valid one, thereby passing validation and
erroring at the expected state.
  • Loading branch information
@rvagg
rvagg committed Jan 1, 2024
1 parent c7eef19 commit ebc0b03
Showing 1 changed file with 15 additions and 3 deletions.
18 changes: 15 additions & 3 deletions test/core/binary.wast
View file
Original file line number Diff line number Diff line change
Expand Up @@ -1085,8 +1085,19 @@
(assert_malformed
(module binary
"\00asm" "\01\00\00\00"
"\01\04\01" ;; type section
"\01\25\0c" ;; type section
"\60\00\00" ;; type 0
"\60\00\00" ;; type 1
"\60\00\00" ;; type 2
"\60\00\00" ;; type 3
"\60\00\00" ;; type 4
"\60\00\00" ;; type 5
"\60\00\00" ;; type 6
"\60\00\00" ;; type 7
"\60\00\00" ;; type 8
"\60\00\00" ;; type 9
"\60\00\00" ;; type 10
"\60\00\00" ;; type 11
"\03\02\01\00" ;; func section
"\0a\13\01" ;; code section
"\11\00" ;; func 0
Expand All @@ -1097,8 +1108,9 @@
"\0e\01" ;; br_table with inconsistent target count (1 declared, 2 given)
"\00" ;; break depth 0
"\01" ;; break depth 1
"\02" ;; break depth for default
"\0b\0b\0b" ;; end
"\02" ;; break depth for default, interpreted as a block
"\0b" ;; end, interpreted as type 11 for the block
"\0b\0b" ;; end
)
"unexpected end"
)
Expand Down

0 comments on commit ebc0b03

Please sign in to comment.