diff options
author | Björn Gustavsson <[email protected]> | 2018-04-25 10:03:27 +0200 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2018-04-25 10:38:59 +0200 |
commit | 88faa3b4082485ccf7e2c1be9e351be355818fe7 (patch) | |
tree | 97e013e059bfae2ac703a47eec5b35f58c51e6dd /lib | |
parent | 6703828ea9085a4125812cfa47631d061032c514 (diff) | |
download | otp-88faa3b4082485ccf7e2c1be9e351be355818fe7.tar.gz otp-88faa3b4082485ccf7e2c1be9e351be355818fe7.tar.bz2 otp-88faa3b4082485ccf7e2c1be9e351be355818fe7.zip |
beam_validator: Clear X registers in wait_timeout
Help us find more compiler bugs.
Diffstat (limited to 'lib')
-rw-r--r-- | lib/compiler/src/beam_validator.erl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/compiler/src/beam_validator.erl b/lib/compiler/src/beam_validator.erl index d5aef51dfa..962f17d83c 100644 --- a/lib/compiler/src/beam_validator.erl +++ b/lib/compiler/src/beam_validator.erl @@ -576,7 +576,7 @@ valfun_4({wait,_}, Vst) -> valfun_4({wait_timeout,_,Src}, Vst) -> assert_term(Src, Vst), verify_y_init(Vst), - Vst; + prune_x_regs(0, Vst); valfun_4({loop_rec_end,_}, Vst) -> verify_y_init(Vst), kill_state(Vst); |