diff options
| author | Anthony Ramine <[email protected]> | 2013-03-28 08:52:43 +0100 |
|---|---|---|
| committer | Fredrik Gustafsson <[email protected]> | 2013-06-05 12:08:39 +0200 |
| commit | 90efeaf21147505b1e8207822e606027f94183cc (patch) | |
| tree | a8f4709a1625aa7ac96e67b08a43119943aae34a /lib/dialyzer | |
| parent | 872987787b0d95b89c45920c8b5453a86580d201 (diff) | |
| download | otp-90efeaf21147505b1e8207822e606027f94183cc.tar.gz otp-90efeaf21147505b1e8207822e606027f94183cc.tar.bz2 otp-90efeaf21147505b1e8207822e606027f94183cc.zip | |
Forbid unsized fields in patterns of binary generators
It makes no sense to be able to do `<<...,Rest/binary>> <= ...` in a
comprehension. The related Dialyzer test is removed.
Diffstat (limited to 'lib/dialyzer')
| -rw-r--r-- | lib/dialyzer/test/small_SUITE_data/src/bin_compr.erl | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/src/bin_compr.erl b/lib/dialyzer/test/small_SUITE_data/src/bin_compr.erl deleted file mode 100644 index 8c2497ed21..0000000000 --- a/lib/dialyzer/test/small_SUITE_data/src/bin_compr.erl +++ /dev/null @@ -1,16 +0,0 @@ -%%% -*- erlang-indent-level: 2 -*- -%%%------------------------------------------------------------------------ -%%% File : bin_compr.erl -%%% Purpose : Test case which crashes in dialyzer_dataflow:bind_bin_segs/5. -%%%------------------------------------------------------------------------ - --module(bin_compr). - --export([bc/1]). - -%% The binary comprehension below is stupid: it consumes the whole -%% bitstr in one go and produces a [666] result provided Bits is a -%% bitstr of at least 8 bits. Still, this is a valid Erlang program -%% and dialyzer's analysis should not crash on it. -bc(Bits) -> - [666 || <<_:8/integer, _/bits>> <= Bits]. |