aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2019-02-11 08:55:44 +0100
committerHans Bolinder <[email protected]>2019-02-11 08:55:44 +0100
commitfbb6ee2fa4fca7b908fcd502c769a66420765b36 (patch)
treefcaae9c40a739373e170f4e2abf1951a31dd334b /lib/dialyzer/test
parent2a1dab38c8a2186a7413eabb2035234cb66f367f (diff)
parentb3c8e94dd0eae8a01fd4513eff3c2f3741dad193 (diff)
downloadotp-fbb6ee2fa4fca7b908fcd502c769a66420765b36.tar.gz
otp-fbb6ee2fa4fca7b908fcd502c769a66420765b36.tar.bz2
otp-fbb6ee2fa4fca7b908fcd502c769a66420765b36.zip
Merge branch 'dialyzer/hasse/fix_bug_erl_bif_types/OTP-15570' into maint
* dialyzer/hasse/fix_bug_erl_bif_types/OTP-15570: dialyzer: Fix a bug affecting keyfind/keysearch/keymember
Diffstat (limited to 'lib/dialyzer/test')
-rw-r--r--lib/dialyzer/test/small_SUITE_data/src/lists_key_bug.erl19
1 files changed, 19 insertions, 0 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/src/lists_key_bug.erl b/lib/dialyzer/test/small_SUITE_data/src/lists_key_bug.erl
new file mode 100644
index 0000000000..d7cbc27a4d
--- /dev/null
+++ b/lib/dialyzer/test/small_SUITE_data/src/lists_key_bug.erl
@@ -0,0 +1,19 @@
+-module(lists_key_bug).
+
+%% OTP-15570
+
+-export([t/1]).
+
+t(V) ->
+ K = key(V),
+ case lists:keyfind(K, 1, [{<<"foo">>, bar}]) of
+ false ->
+ a;
+ {_, _} ->
+ b
+ end.
+
+key(1) ->
+ 3;
+key(2) ->
+ <<"foo">>.