diff options
| author | Björn Gustavsson <[email protected]> | 2019-05-22 13:28:44 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2019-05-22 13:28:44 +0200 |
| commit | 90b543e2415762df46a4eb2e5b8c7bf2c318f0f3 (patch) | |
| tree | 292d288274ca4e6e842e6632d0ccba929a65730d /lib/compiler/test | |
| parent | 500f4f6b01efc215aa46455e82b8addbbd25f4b1 (diff) | |
| parent | cabdef3b97c077119fe6f43538dbdd5cffe9dd91 (diff) | |
| download | otp-90b543e2415762df46a4eb2e5b8c7bf2c318f0f3.tar.gz otp-90b543e2415762df46a4eb2e5b8c7bf2c318f0f3.tar.bz2 otp-90b543e2415762df46a4eb2e5b8c7bf2c318f0f3.zip | |
Merge branch 'bjorn/compiler/fix-freeze/ERL-948/OTP-15828' into maint
* bjorn/compiler/fix-freeze/ERL-948/OTP-15828:
Fix non-terminating compilation
Diffstat (limited to 'lib/compiler/test')
| -rw-r--r-- | lib/compiler/test/beam_type_SUITE.erl | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/lib/compiler/test/beam_type_SUITE.erl b/lib/compiler/test/beam_type_SUITE.erl index 882e281a44..0d1680fb15 100644 --- a/lib/compiler/test/beam_type_SUITE.erl +++ b/lib/compiler/test/beam_type_SUITE.erl @@ -271,8 +271,22 @@ setelement(_Config) -> T0 = id({a,42}), {a,_} = T0, {b,_} = setelement(1, T0, b), + {z,b} = do_setelement_1(<<(id(1)):32>>, {a,b}, z), + {new,two} = do_setelement_2(<<(id(1)):1>>, {one,two}, new), ok. +do_setelement_1(<<N:32>>, Tuple, NewValue) -> + _ = element(N, Tuple), + %% While updating the type for Tuple, beam_ssa_type would do: + %% maps:without(lists:seq(0, 4294967295), Elements) + setelement(N, Tuple, NewValue). + +do_setelement_2(<<N:1>>, Tuple, NewValue) -> + %% Cover the second clause in remove_element_info/2. The + %% type for the second element will be kept. + two = element(2, Tuple), + setelement(N, Tuple, NewValue). + cons(_Config) -> [did] = cons(assigned, did), |