diff options
author | Björn Gustavsson <bjorn@erlang.org> | 2018-04-26 22:23:04 +0200 |
---|---|---|
committer | Björn Gustavsson <bjorn@erlang.org> | 2018-04-27 10:20:41 +0200 |
commit | 84150137640481ac139325bf8cc665dd47fca95c (patch) | |
tree | de995437272eeb9d736326011eafe5d564f6e3a8 /lib/compiler/test | |
parent | 9b347a42a23540eab2f3fd8bf75190a69b5ebb31 (diff) | |
download | erlang-84150137640481ac139325bf8cc665dd47fca95c.tar.gz |
beam_validator: Verify Y registers in exception-causing instructions
When an exception is handled, the stack will be scanned. Therefore
all Y registers must be initialized.
Diffstat (limited to 'lib/compiler/test')
-rw-r--r-- | lib/compiler/test/beam_validator_SUITE.erl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/compiler/test/beam_validator_SUITE.erl b/lib/compiler/test/beam_validator_SUITE.erl index 3af71559ae..41f2957dc1 100644 --- a/lib/compiler/test/beam_validator_SUITE.erl +++ b/lib/compiler/test/beam_validator_SUITE.erl @@ -157,8 +157,8 @@ call_last(Config) when is_list(Config) -> merge_undefined(Config) when is_list(Config) -> Errors = do_val(merge_undefined, Config), [{{t,handle_call,2}, - {{call_ext,2,{extfunc,debug,filter,2}}, - 22, + {{call_ext,1,{extfunc,erlang,exit,1}}, + 10, {uninitialized_reg,{y,0}}}}] = Errors, ok. |