diff options
author | Björn Gustavsson <[email protected]> | 2018-04-27 12:44:04 +0200 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2018-04-27 12:44:04 +0200 |
commit | 15234da5ae1faa8d5b744ef1cca1b8f9b1d8cd68 (patch) | |
tree | 3cf65b23d8d55697b7d38f7795180a5a8c757896 /lib/compiler/src/beam_validator.erl | |
parent | 757cef3dcdab5bb207168cca7fc6496c8ca66723 (diff) | |
parent | 84150137640481ac139325bf8cc665dd47fca95c (diff) | |
download | otp-15234da5ae1faa8d5b744ef1cca1b8f9b1d8cd68.tar.gz otp-15234da5ae1faa8d5b744ef1cca1b8f9b1d8cd68.tar.bz2 otp-15234da5ae1faa8d5b744ef1cca1b8f9b1d8cd68.zip |
Merge branch 'bjorn/compiler/yreg-init'
* bjorn/compiler/yreg-init:
beam_validator: Verify Y registers in exception-causing instructions
Correct beam_utils:is_killed/3 (again)
Diffstat (limited to 'lib/compiler/src/beam_validator.erl')
-rw-r--r-- | lib/compiler/src/beam_validator.erl | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/compiler/src/beam_validator.erl b/lib/compiler/src/beam_validator.erl index 962f17d83c..86aa12e19b 100644 --- a/lib/compiler/src/beam_validator.erl +++ b/lib/compiler/src/beam_validator.erl @@ -267,13 +267,17 @@ valfun_1(_I, #vst{current=none}=Vst) -> Vst; valfun_1({badmatch,Src}, Vst) -> assert_term(Src, Vst), + verify_y_init(Vst), kill_state(Vst); valfun_1({case_end,Src}, Vst) -> assert_term(Src, Vst), + verify_y_init(Vst), kill_state(Vst); valfun_1(if_end, Vst) -> + verify_y_init(Vst), kill_state(Vst); valfun_1({try_case_end,Src}, Vst) -> + verify_y_init(Vst), assert_term(Src, Vst), kill_state(Vst); %% Instructions that can not cause exceptions @@ -375,6 +379,9 @@ valfun_1({call_ext,Live,Func}=I, Vst) -> case return_type(Func, Vst) of exception -> verify_live(Live, Vst), + %% The stack will be scanned, so Y registers + %% must be initialized. + verify_y_init(Vst), kill_state(Vst); _ -> valfun_2(I, Vst) |