aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/small_tests_SUITE_data/src/unsafe_beamcode_bug.erl
blob: 889f94014ec82fd59d6d52e24e642d7df16281c2 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
-module(unsafe_beamcode_bug).
-export([test/1]).

test(N) -> i(r(N)).

%% this function cannot be exported, or the error does not occur
i({one}) -> ok1;
i({two, _}) -> ok2;
i({three, {_,R}, _}) -> R.

r(1) -> {one};
r(2) -> {two, 2};
r(42)-> {dummy, 42};	% without this clause, no problem ... hmm
r(3) -> {three, {rec,ok3}, 2}.