diff options
| author | John Högberg <[email protected]> | 2018-07-16 10:51:12 +0200 |
|---|---|---|
| committer | John Högberg <[email protected]> | 2018-07-16 11:30:35 +0200 |
| commit | 798b39ae97c9495869990fd1264ad07e61600963 (patch) | |
| tree | 281d09e8d1b1d4b0f8e2f52e21f0c5f91e4d6deb /lib/compiler/test | |
| parent | 212e8b4caa9968d50f0701ce70aa0ebe5b25f1a6 (diff) | |
| download | otp-798b39ae97c9495869990fd1264ad07e61600963.tar.gz otp-798b39ae97c9495869990fd1264ad07e61600963.tar.bz2 otp-798b39ae97c9495869990fd1264ad07e61600963.zip | |
Abort size calculation when a matched-out variable is used
Referencing a matched-out variable in a size expression makes it
impossible to calculate the size of the result based on the size of
the matched binary. The compiler would still generate code to do
this however, which would crash since the variable isn't defined
at the size calculation.
Diffstat (limited to 'lib/compiler/test')
| -rw-r--r-- | lib/compiler/test/bs_bincomp_SUITE.erl | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/lib/compiler/test/bs_bincomp_SUITE.erl b/lib/compiler/test/bs_bincomp_SUITE.erl index 42361ea546..a5d49020a9 100644 --- a/lib/compiler/test/bs_bincomp_SUITE.erl +++ b/lib/compiler/test/bs_bincomp_SUITE.erl @@ -26,7 +26,7 @@ init_per_group/2,end_per_group/2, byte_aligned/1,bit_aligned/1,extended_byte_aligned/1, extended_bit_aligned/1,mixed/1,filters/1,trim_coverage/1, - nomatch/1,sizes/1,general_expressions/1]). + nomatch/1,sizes/1,general_expressions/1,matched_out_size/1]). -include_lib("common_test/include/ct.hrl"). @@ -35,7 +35,7 @@ suite() -> [{ct_hooks,[ts_install_cth]}]. all() -> [byte_aligned, bit_aligned, extended_byte_aligned, extended_bit_aligned, mixed, filters, trim_coverage, - nomatch, sizes, general_expressions]. + nomatch, sizes, general_expressions, matched_out_size]. groups() -> []. @@ -338,6 +338,13 @@ general_expressions(_) -> -undef(BAD). +matched_out_size(Config) when is_list(Config) -> + <<1, 2>> = matched_out_size_1(<<4, 1:4, 4, 2:4>>), + ok. + +matched_out_size_1(Binary) -> + << <<X>> || <<S, X:S>> <= Binary>>. + cs_init() -> erts_debug:set_internal_state(available_internal_state, true), ok. |