Resolve names in assert_invalid modules (#293)

Names should be resolved in assert_invalid modules, even when running
wast2wasm with --no-check-assert-invalid-and-malformed.

* Add wasm_find_duplicate_bindings; this is a generic version of
  check_duplicate_bindings, which was in resolve-names.c. The reason is
  that in general, duplicated bindings will prevent name resolution, but
  duplicated exports won't. So checking for duplicated exports belongs
  in validator.c, not resolve-names.c.
* Add a new command type: ASSERT_INVALID_NON_BINARY. This is set if name
  resolution cannot succeed, because that is the only case where a binary
  module cannot be generated.
* When writing spec modules, always write the binary format to a memory
  buffer even if the user specifies no output file. This way we can test
  module writing errors more easily.

This fixes issue #292.

0 files changed, 0 insertions, 0 deletions