aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorBjörn Gustavsson <[email protected]>2018-04-25 10:03:27 +0200
committerBjörn Gustavsson <[email protected]>2018-04-25 10:38:59 +0200
commit88faa3b4082485ccf7e2c1be9e351be355818fe7 (patch)
tree97e013e059bfae2ac703a47eec5b35f58c51e6dd
parent6703828ea9085a4125812cfa47631d061032c514 (diff)
downloadotp-88faa3b4082485ccf7e2c1be9e351be355818fe7.tar.gz
otp-88faa3b4082485ccf7e2c1be9e351be355818fe7.tar.bz2
otp-88faa3b4082485ccf7e2c1be9e351be355818fe7.zip
beam_validator: Clear X registers in wait_timeout
Help us find more compiler bugs.
-rw-r--r--lib/compiler/src/beam_validator.erl2
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);