Fix function body start/end locations in wasm-validate (#1842)

For text validation, this means the error is always correctly reported on
the final expression in the function.

For binary validation, this means that we report the byte after the last
instruction in the function as the failure location.  This is in line
with other binary validation reports.  For example, for `type mismatch
in i32.add` we report the validation error at the byte *after* the add
instruction.

1 files changed, 1 insertions, 0 deletions

diff --git a/src/shared-validator.cc b/src/shared-validator.cc
index 68630182..5d9de4fe 100644
--- a/src/shared-validator.cc
+++ b/src/shared-validator.cc
@@ -461,6 +461,7 @@ Result SharedValidator::BeginFunctionBody(const Location& loc,
 }
 
 Result SharedValidator::EndFunctionBody(const Location& loc) {
+  expr_loc_ = loc;
   return typechecker_.EndFunction();
 }