diff options
author | Soni L. <EnderMoneyMod@gmail.com> | 2024-09-23 21:46:01 -0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-09-23 17:46:01 -0700 |
commit | 38524984d5a15c433fe111b1367d74c910dbb677 (patch) | |
tree | 9c2ec3c616b06253e41b999c83ce5d89340274fe /test/regress/data-count-without-data-section.txt | |
parent | 3fd8c70b572aa1a2e8989c2dedf0baa228b50b0d (diff) | |
download | wabt-38524984d5a15c433fe111b1367d74c910dbb677.tar.gz wabt-38524984d5a15c433fe111b1367d74c910dbb677.tar.bz2 wabt-38524984d5a15c433fe111b1367d74c910dbb677.zip |
Fix handling of data count without data section (#2432)
Closes #2436
Fixes #2310
Fixes #2311
Fixes #2431
Diffstat (limited to 'test/regress/data-count-without-data-section.txt')
-rw-r--r-- | test/regress/data-count-without-data-section.txt | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/test/regress/data-count-without-data-section.txt b/test/regress/data-count-without-data-section.txt new file mode 100644 index 00000000..8fa1ed69 --- /dev/null +++ b/test/regress/data-count-without-data-section.txt @@ -0,0 +1,14 @@ +;;; TOOL: run-interp-spec +(assert_malformed + (module binary + "\00asm" "\01\00\00\00" + "\05\03\01\00\01" ;; Memory section with one entry + "\0c\01\01" ;; Data count section with value 1 + ) + "data count and data section have inconsistent lengths" +) +(;; STDOUT ;;; +out/test/regress/data-count-without-data-section.txt:3: assert_malformed passed: + 0000010: error: Data section missing but DataCount non-zero +1/1 tests passed. +;;; STDOUT ;;) |