aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/small_SUITE_data
diff options
context:
space:
mode:
authorAnthony Ramine <[email protected]>2013-03-28 08:52:43 +0100
committerFredrik Gustafsson <[email protected]>2013-06-05 12:08:39 +0200
commit90efeaf21147505b1e8207822e606027f94183cc (patch)
treea8f4709a1625aa7ac96e67b08a43119943aae34a /lib/dialyzer/test/small_SUITE_data
parent872987787b0d95b89c45920c8b5453a86580d201 (diff)
downloadotp-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/test/small_SUITE_data')
-rw-r--r--lib/dialyzer/test/small_SUITE_data/src/bin_compr.erl16
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].