diff options
| author | Thomas Lively <tlively@google.com> | 2024-03-07 08:57:14 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-03-07 08:57:14 -0800 |
| commit | adca3a1366f69b3539839b5e518ba263216a5246 (patch) | |
| tree | d6ff847e7b6727881f15f7d8b57bbcb60fbc7f1b /test/lit/validation | |
| parent | 3c779e20be9870d4985763b6fbe8d85e17827353 (diff) | |
| download | binaryen-adca3a1366f69b3539839b5e518ba263216a5246.tar.gz binaryen-adca3a1366f69b3539839b5e518ba263216a5246.tar.bz2 binaryen-adca3a1366f69b3539839b5e518ba263216a5246.zip | |
Handle extended const segment offsets in the fuzzer (#6382)
The fuzzer already had logic to remove all references to non-imported globals
from global initializers and data segment offsets, but it was missing for
element segment offsets. Add it, and also add a missing check line for the new
test that uncovered this bug as initial fuzzer input.
Diffstat (limited to 'test/lit/validation')
| -rw-r--r-- | test/lit/validation/extended-const.wast | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/lit/validation/extended-const.wast b/test/lit/validation/extended-const.wast index 054c5e28e..8188079a1 100644 --- a/test/lit/validation/extended-const.wast +++ b/test/lit/validation/extended-const.wast @@ -5,6 +5,7 @@ ;; NO-EXTENDED: unexpected false: global init must be constant ;; NO-EXTENDED: unexpected false: memory segment offset should be constant +;; NO-EXTENDED: unexpected false: table segment offset should be constant ;; EXTENDED: (import "env" "global" (global $gimport$0 i32)) ;; EXTENDED: (global $1 i32 (i32.add |