diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2018-11-30 09:54:57 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-30 09:54:57 -0800 |
| commit | 0e068c386ef1588c09e57a4d081be626d83bc31c (patch) | |
| tree | 0a432d17fd6a26b6cce092ab81558aeb4270da77 /test/reduce | |
| parent | f16a7605b8226502062c6ca24323d431669c90ec (diff) | |
| download | binaryen-0e068c386ef1588c09e57a4d081be626d83bc31c.tar.gz binaryen-0e068c386ef1588c09e57a4d081be626d83bc31c.tar.bz2 binaryen-0e068c386ef1588c09e57a4d081be626d83bc31c.zip | |
Fuzzing: log values during execution (#1779)
Before we just looked at function return values when looking for differences before and after running some passes, while fuzzing. This adds logging of values during execution, which can represent control flow, monitor locals, etc., giving a lot more opportunities for the fuzzer to find problems.
Also:
* Clean up the sigToFunctionType function, which allocated a struct and returned it. This makes it safer by returning the struct by value, which is also easier to use in this PR.
* Fix printing of imported function calls without a function type - turns out we always generate function types in loading, so we didn't notice this was broken, but this new fuzzer feature hit it.
Diffstat (limited to 'test/reduce')
| -rw-r--r-- | test/reduce/imports.wast.txt | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/test/reduce/imports.wast.txt b/test/reduce/imports.wast.txt index 220bf3b7e..6807ffd26 100644 --- a/test/reduce/imports.wast.txt +++ b/test/reduce/imports.wast.txt @@ -2,5 +2,10 @@ (type $0 (func)) (type $1 (func (result i32))) (import "env" "func" (func $fimport$0)) + (export "x" (func $0)) + (func $0 (; 1 ;) (type $1) (result i32) + (call $fimport$0) + (i32.const 5678) + ) ) |