diff options
| author | Björn Gustavsson <[email protected]> | 2016-08-05 10:59:20 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2016-08-05 10:59:20 +0200 |
| commit | 7d492f3c2fe53c07c22fe8280aadf3e8df5c4eb9 (patch) | |
| tree | a37cb36444ffa439416810597d9a7d5fe1950114 /lib/compiler/test/beam_block_SUITE.erl | |
| parent | 96bfcd990025076c11e1d1dd128a07f83ee04ae3 (diff) | |
| parent | 921cf991e09698d63d0f4f9a20bf2cfc23b2e896 (diff) | |
| download | otp-7d492f3c2fe53c07c22fe8280aadf3e8df5c4eb9.tar.gz otp-7d492f3c2fe53c07c22fe8280aadf3e8df5c4eb9.tar.bz2 otp-7d492f3c2fe53c07c22fe8280aadf3e8df5c4eb9.zip | |
Merge branch 'bjorn/compiler/not_live/ERL-202/OTP-13780' into maint
* bjorn/compiler/not_live/ERL-202/OTP-13780:
beam_block: Fix potentially unsafe optimization in move_allocates/1
Diffstat (limited to 'lib/compiler/test/beam_block_SUITE.erl')
| -rw-r--r-- | lib/compiler/test/beam_block_SUITE.erl | 27 |
1 files changed, 25 insertions, 2 deletions
diff --git a/lib/compiler/test/beam_block_SUITE.erl b/lib/compiler/test/beam_block_SUITE.erl index 4bcb252833..9fcb6e497d 100644 --- a/lib/compiler/test/beam_block_SUITE.erl +++ b/lib/compiler/test/beam_block_SUITE.erl @@ -21,7 +21,8 @@ -export([all/0,suite/0,groups/0,init_per_suite/1,end_per_suite/1, init_per_group/2,end_per_group/2, - get_map_elements/1,otp_7345/1,move_opt_across_gc_bif/1]). + get_map_elements/1,otp_7345/1,move_opt_across_gc_bif/1, + erl_202/1]). %% The only test for the following functions is that %% the code compiles and is accepted by beam_validator. @@ -37,7 +38,8 @@ groups() -> [{p,[parallel], [get_map_elements, otp_7345, - move_opt_across_gc_bif + move_opt_across_gc_bif, + erl_202 ]}]. init_per_suite(Config) -> @@ -135,6 +137,27 @@ positive(speaking) -> paris([], P) -> P + 1. + +%% See https://bugs.erlang.org/browse/ERL-202. +%% Test that move_allocates/1 in beam_block doesn't move allocate +%% when it would not be safe. + +-record(erl_202_r1, {y}). +-record(erl_202_r2, {x}). + +erl_202(_Config) -> + Ref = make_ref(), + Ref = erl_202({{1,2},Ref}, 42), + + {Ref} = erl_202({7,8}, #erl_202_r1{y=#erl_202_r2{x=Ref}}), + + ok. + +erl_202({{_, _},X}, _) -> + X; +erl_202({_, _}, #erl_202_r1{y=R2}) -> + {R2#erl_202_r2.x}. + %%% %%% The only test of the following code is that it compiles. %%% |