diff options
| author | Wouter van Oortmerssen <aardappel@gmail.com> | 2020-08-10 13:05:19 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-10 13:05:19 -0700 |
| commit | 204ef4ed0b618138a22c55ddeba0477e374e9883 (patch) | |
| tree | ce677e10f6d5fec59f0ef1840669a36f46387039 /README.md | |
| parent | 66023842fda8e0a5cdd89fbae8555103b9685814 (diff) | |
| download | wabt-204ef4ed0b618138a22c55ddeba0477e374e9883.tar.gz wabt-204ef4ed0b618138a22c55ddeba0477e374e9883.tar.bz2 wabt-204ef4ed0b618138a22c55ddeba0477e374e9883.zip | |
Made the interpreter "type-safe" in debug mode (#1512)
Adds a type field to `Value` to verify the right union member is being read.
A Wasm module that has been validated shouldn't need this, but any code reading the wrong value would trigger UB, but still often work (like a uint32_t read from a uint64_t on little endian machine), and mask bugs.
Turning this on found bugs in the PR I just landed (as I suspected) but also in older code.
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions