%%
%% %CopyrightBegin%
%%
%% Copyright Ericsson AB 1999-2017. All Rights Reserved.
%%
%% Licensed under the Apache License, Version 2.0 (the "License");
%% you may not use this file except in compliance with the License.
%% You may obtain a copy of the License at
%%
%% http://www.apache.org/licenses/LICENSE-2.0
%%
%% Unless required by applicable law or agreed to in writing, software
%% distributed under the License is distributed on an "AS IS" BASIS,
%% WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
%% See the License for the specific language governing permissions and
%% limitations under the License.
%%
%% %CopyrightEnd%
%%
-module(erl_lint_SUITE).
%%-define(debug, true).
-ifdef(debug).
-define(line, put(line, ?LINE), ).
-define(config(X,Y), foo).
-define(datadir, "erl_lint_SUITE_data").
-define(privdir, "erl_lint_SUITE_priv").
-define(t, test_server).
-else.
-include_lib("common_test/include/ct.hrl").
-define(datadir, proplists:get_value(data_dir, Conf)).
-define(privdir, proplists:get_value(priv_dir, Conf)).
-endif.
-export([all/0, suite/0, groups/0]).
-export([unused_vars_warn_basic/1,
unused_vars_warn_lc/1,
unused_vars_warn_rec/1,
unused_vars_warn_fun/1,
unused_vars_OTP_4858/1,
unused_unsafe_vars_warn/1,
export_vars_warn/1,
shadow_vars/1,
unused_import/1,
unused_function/1,
unsafe_vars/1,unsafe_vars2/1,
unsafe_vars_try/1,
unsized_binary_in_bin_gen_pattern/1,
guard/1, otp_4886/1, otp_4988/1, otp_5091/1, otp_5276/1, otp_5338/1,
otp_5362/1, otp_5371/1, otp_7227/1, otp_5494/1, otp_5644/1, otp_5878/1,
otp_5917/1, otp_6585/1, otp_6885/1, otp_10436/1, otp_11254/1,
otp_11772/1, otp_11771/1, otp_11872/1,
export_all/1,
bif_clash/1,
behaviour_basic/1, behaviour_multiple/1, otp_11861/1,
otp_7550/1,
otp_8051/1,
format_warn/1,
on_load_successful/1, on_load_failing/1,
too_many_arguments/1,
basic_errors/1,bin_syntax_errors/1,
predef/1,
maps/1,maps_type/1,maps_parallel_match/1,
otp_11851/1,otp_11879/1,otp_13230/1,
record_errors/1, otp_11879_cont/1,
non_latin1_module/1, otp_14323/1]).
suite() ->
[{ct_hooks,[ts_install_cth]},
{timetrap,{minutes,1}}].
all() ->
[{group, unused_vars_warn}, export_vars_warn,
shadow_vars, unused_import, unused_function,
unsafe_vars, unsafe_vars2, unsafe_vars_try, guard,
unsized_binary_in_bin_gen_pattern,
otp_4886, otp_4988, otp_5091, otp_5276, otp_5338,
otp_5362, otp_5371, otp_7227, otp_5494, otp_5644,
otp_5878, otp_5917, otp_6585, otp_6885, otp_10436, otp_11254,
otp_11772, otp_11771, otp_11872, export_all,
bif_clash, behaviour_basic, behaviour_multiple, otp_11861,
otp_7550, otp_8051, format_warn, {group, on_load},
too_many_arguments, basic_errors, bin_syntax_errors, predef,
maps, maps_type, maps_parallel_match,
otp_11851, otp_11879, otp_13230,
record_errors, otp_11879_cont, non_latin1_module, otp_14323].
groups() ->
[{unused_vars_warn, [],
[unused_vars_warn_basic, unused_vars_warn_lc,
unused_vars_warn_rec, unused_vars_warn_fun,
unused_vars_OTP_4858, unused_unsafe_vars_warn]},
{on_load, [], [on_load_successful, on_load_failing]}].
%% Warnings for unused variables in some simple cases.
unused_vars_warn_basic(Config) when is_list(Config) ->
Ts = [{basic1,
<<"f(F) -> % F unused.
ok.
f(F, F) ->
ok.
g(_X) ->
y.
h(P) ->
P.
x(N) ->
case a:b() of
[N|Y] -> % Y unused.
ok
end.
y(N, L) ->
lists:map(fun(T) -> T*N end, L).
z(N, L) -> % N unused
lists:map(fun(N, T) -> T*N end, L). % N shadowed.
c(A) ->
case A of
1 -> B = []; % B unused.
2 -> B = []; % B unused.
3 -> B = f, B
end.
">>,
[warn_unused_vars],
{warnings,[{1,erl_lint,{unused_var,'F'}},
{15,erl_lint,{unused_var,'Y'}},
{22,erl_lint,{unused_var,'N'}},
{23,erl_lint,{shadowed_var,'N','fun'}},
{28,erl_lint,{unused_var,'B'}},
{29,erl_lint,{unused_var,'B'}}]}},
{basic2,
<<"-record(r, {x,y}).
f({X,Y}) -> {Z=X,Z=Y};
f([H|T]) -> [Z=H|Z=T];
f(#r{x=X,y=Y}) -> #r{x=A=X,y=A=Y}.
g({M, F}) -> (Z=M):(Z=F)();
g({M, F, Arg}) -> (Z=M):F(Z=Arg).
h(X, Y) -> (Z=X) + (Z=Y).">>,
[warn_unused_vars], []}],
[] = run(Config, Ts),
ok.
%% Warnings for unused variables in list comprehensions.
unused_vars_warn_lc(Config) when is_list(Config) ->
Ts = [{lc1,
<<"bin([X]) ->
[A || <<A:X>> <- []]; % X used, not shadowed.
bin({X}) ->
[X || <<X:X>> <- []]; % X used, and shadowed.
bin({X,Y,Z}) ->
[{A,B} || <<A:X>> <- Z, <<B:Y>> <- Z];
bin([X,Y,Z]) -> % Y unused.
[C || <<V:X>> <- Z, <<B:V>> <- Z, <<C:B>> <- Z].
">>,
[warn_unused_vars],
{warnings, [{4,erl_lint,{shadowed_var,'X',generate}},
{7,erl_lint,{unused_var,'Y'}}]}},
{lc2,
<<"bin([X]) ->
[A || <<A:X>> <- []]; % X used, not shadowed.
bin({X}) ->
[X || <<X:X>> <- []]; % X used, and shadowed.
bin({X,Y,Z}) ->
[{A,B} || <<A:X>> <- Z, <<B:Y>> <- Z];
bin([X,Y,Z]) -> % Y unused.
[C || <<V:X>> <- Z, <<B:V>> <- Z, <<C:B>> <- Z].
">>,
[warn_unused_vars],
{warnings,[{4,erl_lint,{shadowed_var,'X',generate}},
{7,erl_lint,{unused_var,'Y'}}]}},
{lc3,
<<"a([A]) ->
B = foo,
[{C,B} || {C,_} <- A];
a({A}) ->
B = foo,
[C || {C,_} <- [B,A]];
a({A,A}) ->
B = foo,
[C || {C,_} <- B, B < A].
">>,
[warn_unused_vars],
[]},
{lc4,
<<"b(A) ->
B = foo, % B unused.
[C || {C,_} <- A].
">>,
[warn_unused_vars],
{warnings,[{2,erl_lint,{unused_var,'B'}}]}},
{lc5,
<<"c(A) ->
B = foo,
[C || {C,_} <- A],
B.
">>,
[warn_unused_vars],
[]},
{lc6,
<<"d(A) ->
B = foo,
[{A,B} || {Id,_} <- A]. % Id unused.
">>,
[warn_unused_vars],
{warnings,[{3,erl_lint,{unused_var,'Id'}}]}},
{lc7,
<<"e(A) ->
B = foo, % B unused.
[B || B <- A]. % B shadowed.
">>,
[warn_unused_vars],
{warnings,[{2,erl_lint,{unused_var,'B'}},
{3,erl_lint,{shadowed_var,'B',generate}}]}},
{lc8,
<<"f(A) ->
B = foo,
[B || B <- A], % B shadowed.
B.
">>,
[warn_unused_vars],
{warnings,[{3,erl_lint,{shadowed_var,'B',generate}}]}},
{lc9,
<<"g(A) ->
B = foo, % B unused.
[A || B <- A]. % B shadowed, B unused.
">>,
[warn_unused_vars],
{warnings,[{2,erl_lint,{unused_var,'B'}},
{3,erl_lint,{unused_var,'B'}},
{3,erl_lint,{shadowed_var,'B',generate}}]}},
{lc10,
<<"h(A) ->
B = foo,
[A || B <- A], % B shadowed, B unused.
B.
">>,
[warn_unused_vars],
{warnings,[{3,erl_lint,{unused_var,'B'}},
{3,erl_lint,{shadowed_var,'B',generate}}]}},
{lc11,
<<"i(X) ->
[Z || Z <- X, % Z unused.
Z = X <- [foo]]. % X and Z shadowed. X unused!
">>,
[warn_unused_vars],
{warnings,[{2,erl_lint,{unused_var,'Z'}},
{3,erl_lint,{unused_var,'X'}},
{3,erl_lint,{shadowed_var,'X',generate}},
{3,erl_lint,{shadowed_var,'Z',generate}}]}},
{lc12,
<<"j({X}) ->
[Z || Z <- X, % Z unused.
Z <- X = [[1,2,3]], % Z shadowed. Z unused.
Z <- X, % Z shadowed. Z unused.
Z <- X]; % Z shadowed.
j(X) ->
[foo || X <- X, % X shadowed.
X <- % X shadowed. X unused.
X =
Y = [[1,2,3]], % Y unused.
X <- [], % X shadowed.
X <- X]. % X shadowed. X unused.
">>,
[warn_unused_vars],
{warnings,[{2,erl_lint,{unused_var,'Z'}},
{3,erl_lint,{unused_var,'Z'}},
{3,erl_lint,{shadowed_var,'Z',generate}},
{4,erl_lint,{unused_var,'Z'}},
{4,erl_lint,{shadowed_var,'Z',generate}},
{5,erl_lint,{shadowed_var,'Z',generate}},
{7,erl_lint,{shadowed_var,'X',generate}},
{8,erl_lint,{unused_var,'X'}},
{8,erl_lint,{shadowed_var,'X',generate}},
{10,erl_lint,{unused_var,'Y'}},
{11,erl_lint,{shadowed_var,'X',generate}},
{12,erl_lint,{unused_var,'X'}},
{12,erl_lint,{shadowed_var,'X',generate}}]}},
{lc13,
<<"k(X) ->
[Z || Z <- Y = X]; % Y unused.
k(X) ->
[Z || Z <- X = Y = X]; % Y unused!
k(X) ->
[Z || Z <- begin X = Y = X, Y end];
k(X) ->
[{Y,W} || W <- Y = X]; % Y unbound
k(X) ->
[Z || Z <- (Y = X), % Y unused.
Y > X]; % Y unbound.
k(X) ->
[Y || Y = X > 3, Z = X]; % Z unused.
k(X) ->
[Z || Y = X > 3, Z = X]. % Y unused.
">>,
[warn_unused_vars],
{error,[{8,erl_lint,{unbound_var,'Y'}},
{11,erl_lint,{unbound_var,'Y'}}],
[{2,erl_lint,{unused_var,'Y'}},
{4,erl_lint,{unused_var,'Y'}},
{8,erl_lint,{unused_var,'Y'}},
{10,erl_lint,{unused_var,'Y'}},
{13,erl_lint,{unused_var,'Z'}},
{15,erl_lint,{unused_var,'Y'}}]}},
{lc14,
<<"lc2() ->
Z = [[1],[2],[3]],
[X || Z <- Z, % Z shadowed.
X <- Z].
">>,
[warn_unused_vars],
{warnings,[{3,erl_lint,{shadowed_var,'Z',generate}}]}},
{lc15,
<<"lc3() ->
Z = [1,2,3],
[X || X <- Z,
Z <- Z]. % Z shadowed. Z unused.
">>,
[warn_unused_vars],
{warnings,[{4,erl_lint,{unused_var,'Z'}},
{4,erl_lint,{shadowed_var,'Z',generate}}]}},
{lc16,
<<"bin(Z) ->
case bar of
true ->
U = 2;
false ->
true
end,
case bar of
true ->
X = 2;
false ->
X = 3
end,
case foo of
true ->
Y = 3; % Y unused.
false ->
4
end,
case foo of
1 ->
U; % U unsafe.
2 ->
[Z || <<U:X>> <- Z]; % (X exported.) U unused.
3 ->
[Z || <<U:X>> <- Z], % (X exported.) U unused.
U % U unsafe.
end.
">>,
[warn_unused_vars],
{error,[{22,erl_lint,{unsafe_var,'U',{'case',2}}},
{27,erl_lint,{unsafe_var,'U',{'case',2}}}],
[{16,erl_lint,{unused_var,'Y'}},
{24,erl_lint,{unused_var,'U'}},
{26,erl_lint,{unused_var,'U'}}]}},
{lc17,
<<"bin(Z) ->
%% This used to pass erl_lint...
case bar of
true ->
U = 2;
false ->
true
end,
case bar of
true ->
X = 2;
false ->
X = 3
end,
case foo of
true ->
Y = 3; % Y unused.
false ->
4
end,
[Z || <<U:X>> <- Z], % (X exported.) U unused.
U. % U unsafe.
">>,
[warn_unused_vars],
{error,[{22,erl_lint,{unsafe_var,'U',{'case',3}}}],
[{17,erl_lint,{unused_var,'Y'}},
{21,erl_lint,{unused_var,'U'}}]}},
{lc18,
<<"bin(Z) ->
case bar of
true ->
U = 2;
false ->
true
end,
case bar of
true ->
X = 2;
false ->
X = 3
end,
case foo of
true ->
Y = 3;
false ->
4
end,
[B || <<U: % U unused
U>> <- X, <<B:Y>> <- Z]. % U unsafe. Y unsafe.
% U shadowed. (X exported.)
">>,
[warn_unused_vars],
{error,[{21,erl_lint,{unsafe_var,'U',{'case',2}}},
{21,erl_lint,{unsafe_var,'Y',{'case',14}}}],
[{20,erl_lint,{unused_var,'U'}}
]}},
{lc19,
<<"p({B,C}) ->
<<A:B,A:C>> = <<17:32>>;
p(B) ->
<<A:B>> = <<17:32>>. % A unused.
">>,
[warn_unused_vars],
{warnings,[{4,erl_lint,{unused_var,'A'}}]}},
{lc20,
<<"c({I1,I2}) ->
if
<<I1:I2>> == <<>> ->
foo
end;
c([C1,C2]) -> % C1 unused.
case foo of
<<C2:C2,
C3:C2>> -> % C3 unused.
bar
end.
">>,
[warn_unused_vars],
{warnings,[{6,erl_lint,{unused_var,'C1'}},
{7,sys_core_fold,no_clause_match},
{9,erl_lint,{unused_var,'C3'}}]}},
{lc21,
<<"t() ->
S = 8,
case <<3:8>> of
<<X:S>> ->
X;
<<S:X>> -> % X unbound
foo
end;
t() ->
S = 8,
case <<3:8>> of
<<S:S>> ->
S;
<<Q:32>> -> % Q unused.
foo
end.
">>,
[warn_unused_vars],
{error,[{6,erl_lint,{unbound_var,'X'}}],
[{14,erl_lint,{unused_var,'Q'}}]}}
],
[] = run(Config, Ts),
ok.
%% Warnings for unused variables in records.
unused_vars_warn_rec(Config) when is_list(Config) ->
Ts = [{rec1, % An example provided by Bjorn.
<<"-record(edge,
{ltpr,
ltsu,
rtpr,
rtsu
}).
f1(#edge{ltpr = A, ltsu = A}) ->
true;
f1({Q, Q}) ->
true.
f2(Edge, Etab) ->
case gb_trees:lookup(Edge, Etab) of
{value,#edge{ltpr=Same,ltsu=Same}} -> ok;
{value,_} -> error
end.
bar(Edge, Etab) ->
case gb_trees:lookup(Edge, Etab) of
{Same,Same} -> ok;
{value,#edge{ltpr=Same}} -> ok; % Same unused.
{value,_} -> error
end.
">>,
[warn_unused_vars],
{warnings,[{22,erl_lint,{unused_var,'Same'}}]}},
{rec2,
<<"-record(r, {a,b}).
f(X, Y) -> #r{a=[K || K <- Y], b=[K || K <- Y]}.
g(X, Y) -> #r{a=lists:map(fun (K) -> K end, Y),
b=lists:map(fun (K) -> K end, Y)}.
h(X, Y) -> #r{a=case Y of _ when is_list(Y) -> Y end,
b=case Y of _ when is_list(Y) -> Y end}.
i(X, Y) -> #r{a=if is_list(Y) -> Y end, b=if is_list(Y) -> Y end}.
">>,
[warn_unused_vars],
{warnings,[{2,erl_lint,{unused_var,'X'}},
{3,erl_lint,{unused_var,'X'}},
{5,erl_lint,{unused_var,'X'}},
{7,erl_lint,{unused_var,'X'}}]}},
{rec3,
<<"-record(r, {a}).
t() -> X = 1, #r{a=foo, a=bar, a=qux}.
">>,
[warn_unused_vars],
{error,[{2,erl_lint,{redefine_field,r,a}},
{2,erl_lint,{redefine_field,r,a}}],
[{2,erl_lint,{unused_var,'X'}}]}}],
[] = run(Config, Ts),
ok.
%% Warnings for unused variables in funs.
unused_vars_warn_fun(Config) when is_list(Config) ->
Ts = [{fun1,
<<"a({A,B}) -> % A unused.
fun(A) -> B end; % A shadowed. A unused.
a([A,B]) ->
fun(<<A:B>>, % A shadowed. A unused.
<<Q:A>>) -> foo % Q unused.
end;
a({A,B,C,D,E}) ->
fun(E) when C == <<A:A>>, <<17:B>> == D -> % E shadowed. E unused.
foo
end,
E;
a([A,B,C,D,E]) -> % E unused.
fun() ->
(C == <<A:A>>) and (<<17:B>> == D)
end.
">>,
[warn_unused_vars],
{warnings,[{1,erl_lint,{unused_var,'A'}},
{2,erl_lint,{unused_var,'A'}},
{2,erl_lint,{shadowed_var,'A','fun'}},
{4,erl_lint,{unused_var,'A'}},
{4,erl_lint,{shadowed_var,'A','fun'}},
{5,erl_lint,{unused_var,'Q'}},
{8,erl_lint,{unused_var,'E'}},
{8,erl_lint,{shadowed_var,'E','fun'}},
{8,sys_core_fold,useless_building},
{12,erl_lint,{unused_var,'E'}}]}},
{fun2,
<<"u() ->
case foo of
true ->
U = 2;
false ->
true
end,
fun(U) -> foo end, % U unused.
U; % U unsafe.
u() ->
case foo of
true ->
U = 2;
false ->
U = 3
end,
fun(U) -> foo end, % U shadowed. U unused.
U;
u() ->
case foo of
true ->
U = 2; % U unused.
false ->
U = 3 % U unused.
end,
fun(U) -> foo end. % U shadowed. U unused.
">>,
[warn_unused_vars],
{error,[{9,erl_lint,{unsafe_var,'U',{'case',2}}}],
[{8,erl_lint,{unused_var,'U'}},
{17,erl_lint,{unused_var,'U'}},
{17,erl_lint,{shadowed_var,'U','fun'}},
{22,erl_lint,{unused_var,'U'}},
{24,erl_lint,{unused_var,'U'}},
{26,erl_lint,{unused_var,'U'}},
{26,erl_lint,{shadowed_var,'U','fun'}}]}},
{named_fun,
<<"u() ->
fun U() -> foo end, % U unused.
U; % U unbound.
u() ->
case foo of
true ->
U = 2;
false ->
true
end,
fun U() -> foo end, % U unused.
U; % U unsafe.
u() ->
case foo of
true ->
U = 2;
false ->
U = 3
end,
fun U() -> foo end, % U shadowed. U unused.
U;
u() ->
case foo of
true ->
U = 2; % U unused.
false ->
U = 3 % U unused.
end,
fun U() -> foo end; % U shadowed. U unused.
u() ->
fun U(U) -> foo end; % U shadowed. U unused.
u() ->
fun U(1) -> U; U(U) -> foo end; % U shadowed. U unused.
u() ->
fun _(N) -> N + 1 end. % Cover handling of '_' name.
">>,
[warn_unused_vars],
{error,[{3,erl_lint,{unbound_var,'U'}},
{12,erl_lint,{unsafe_var,'U',{'case',5}}}],
[{2,erl_lint,{unused_var,'U'}},
{11,erl_lint,{unused_var,'U'}},
{20,erl_lint,{unused_var,'U'}},
{20,erl_lint,{shadowed_var,'U','named fun'}},
{25,erl_lint,{unused_var,'U'}},
{27,erl_lint,{unused_var,'U'}},
{29,erl_lint,{unused_var,'U'}},
{29,erl_lint,{shadowed_var,'U','named fun'}},
{31,erl_lint,{unused_var,'U'}},
{31,erl_lint,{unused_var,'U'}},
{31,erl_lint,{shadowed_var,'U','fun'}},
{33,erl_lint,{unused_var,'U'}},
{33,erl_lint,{shadowed_var,'U','fun'}}]}}
],
[] = run(Config, Ts),
ok.
%% Bit syntax, binsize variable used in the same matching.
unused_vars_OTP_4858(Config) when is_list(Config) ->
Ts = [{otp_4858,
<<"objs(<<Size:4/unit:8, B:Size/binary>>) ->
B.
fel(<<Size:4/unit:8, B:BadSize/binary>>) -> % BadSize unbound.
BadSize. % B, Size unused.
r9c_highlight() -> % B, Rest unused.
<<Size, B:Size/binary,Rest/binary>> = <<2,\"AB\",3,\"CDE\">>.
">>,
[warn_unused_vars],
{error,[{4,erl_lint,{unbound_var,'BadSize'}}],
[{4,erl_lint,{unused_var,'B'}},
{4,erl_lint,{unused_var,'Size'}},
{8,erl_lint,{unused_var,'B'}},
{8,erl_lint,{unused_var,'Rest'}}]}}
],
[] = run(Config, Ts),
ok.
unused_unsafe_vars_warn(Config) when is_list(Config) ->
Ts = [{unused_unsafe1,
<<"t1() ->
UnusedVar1 = unused1,
try
UnusedVar2 = unused2
catch
_:_ ->
ok
end,
ok.
">>,
[warn_unused_vars],
{warnings,[{2,erl_lint,{unused_var,'UnusedVar1'}},
{4,erl_lint,{unused_var,'UnusedVar2'}}]}},
{unused_unsafe2,
<<"t2() ->
try
X = 1
catch
_:_ -> ok
end.
">>,
[warn_unused_vars],
{warnings,[{3,erl_lint,{unused_var,'X'}}]}},
{unused_unsafe2,
<<"t3(X, Y) ->
X andalso Y.
">>,
[warn_unused_vars],
[]},
{unused_unsafe4,
<<"t4() ->
_ = (catch X = X = 1),
_ = case ok of _ -> fun() -> ok end end,
fun (X) -> X end.
">>,
[warn_unused_vars],
[]}],
run(Config, Ts),
ok.
%% Warnings for exported variables.
export_vars_warn(Config) when is_list(Config) ->
Ts = [{exp1,
<<"u() ->
case foo of
1 ->
A = 1,
B = 2,
W = 3, % W unused.
Z = 3; % Z unused.
2 ->
B = 2,
Z = 4 % Z unused.
end,
case bar of
true ->
A = 17, % A unsafe.
X = 3, % X unused.
U = 2,
U;
false ->
B = 19, % B exported.
U = 3; % U unused.
foo ->
X = 3,
X;
bar ->
X = 9, % X unused.
U = 14 % U unused.
end.
">>,
[warn_unused_vars],
{error,[{14,erl_lint,{unsafe_var,'A',{'case',2}}}],
[{6,erl_lint,{unused_var,'W'}},
{7,erl_lint,{unused_var,'Z'}},
{10,erl_lint,{unused_var,'Z'}},
{15,erl_lint,{unused_var,'X'}},
{19,erl_lint,{exported_var,'B',{'case',2}}},
{20,erl_lint,{unused_var,'U'}},
{25,erl_lint,{unused_var,'X'}},
{26,erl_lint,{unused_var,'U'}}]}},
{exp2,
<<"bin(A) ->
receive
M ->
X = M,
Y = M,
Z = M
end,
[B || <<B:X>> <- A], % X exported.
Y = B, % Y exported. B unbound.
[B || B <- Z]. % Z exported. B shadowed.
">>,
[warn_export_vars],
{error,[{9,erl_lint,{unbound_var,'B'}}],
[{8,erl_lint,{exported_var,'X',{'receive',2}}},
{9,erl_lint,{exported_var,'Y',{'receive',2}}},
{10,erl_lint,{exported_var,'Z',{'receive',2}}},
{10,erl_lint,{shadowed_var,'B',generate}}]}},
{exp3,
<<"bin(A) ->
receive
M ->
X = M,
Y = M,
Z = M
end,
[B || <<B:X>> <- A], % (X exported.)
Y = B, % Y exported. B unbound.
[B || B <- Z]. % (Z exported.) B shadowed.
">>,
[],
{error,[{9,erl_lint,{unbound_var,'B'}}],
[{9,erl_lint,{exported_var,'Y',{'receive',2}}},
{10,erl_lint,{shadowed_var,'B',generate}}]}},
{exp4,
<<"t(X) ->
if true -> Z = X end,
case X of
1 -> Z;
2 -> X
end,
Z = X.
">>,
[],
{warnings,[{7,erl_lint,{exported_var,'Z',{'if',2}}}]}}
],
[] = run(Config, Ts),
ok.
%% Shadowed variables are tested in other places, but here we test
%% that the warning can be turned off.
shadow_vars(Config) when is_list(Config) ->
Ts = [{shadow1,
<<"bin(A) ->
receive
M ->
X = M,
Y = M,
Z = M
end,
[B || <<B:X>> <- A],
Y = B,
[B || B <- Z]. % B shadowed.
">>,
[nowarn_shadow_vars],
{error,[{9,erl_lint,{unbound_var,'B'}}],
[{9,erl_lint,{exported_var,'Y',{'receive',2}}}]}},
{shadow2,
<<"t() ->
_ = (catch MS = MS = 1), % MS used unsafe
_ = case ok of _ -> fun() -> ok end end,
fun (MS) -> MS end. % MS not shadowed here
">>,
[],
[]}],
[] = run(Config, Ts),
ok.
%% Test that the 'warn_unused_import' option works.
unused_import(Config) when is_list(Config) ->
Ts = [{imp1,
<<"-import(lists, [map/2,foldl/3]).
t(L) ->
map(fun(X) -> 2*X end, L).
">>,
[warn_unused_import],
{warnings,[{1,erl_lint,{unused_import,{{foldl,3},lists}}}]}}],
[] = run(Config, Ts),
ok.
%% Test warnings for unused functions.
unused_function(Config) when is_list(Config) ->
Ts = [{func1,
<<"-export([t/1]).
t(L) ->
lists:map(fun(X) -> 2*X end, L).
fact(N) ->
fact_1(N, 1).
fact_1(1, P) -> P;
fact_1(N, P) -> fact_1(N-1, P*N).
">>,
{[]}, %Tuple indicates no 'export_all'.
{warnings,[{5,erl_lint,{unused_function,{fact,1}}},
{8,erl_lint,{unused_function,{fact_1,2}}}]}},
%% Turn off warnings for unused functions.
{func2,
<<"-export([t/1]).
t(L) ->
lists:map(fun(X) -> 2*X end, L).
b(X) ->
32*X.
">>,
{[nowarn_unused_function]}, %Tuple indicates no 'export_all'.
[]},
%% Turn off warnings for unused functions using a -compile() directive.
{func3,
<<"-export([t/1]).
-compile(nowarn_unused_function).
t(L) ->
lists:map(fun(X) -> 2*X end, L).
b(X) ->
32*X.
">>,
{[]}, %Tuple indicates no 'export_all'.
[]}],
[] = run(Config, Ts),
ok.
%% OTP-4671. Errors for unsafe variables.
unsafe_vars(Config) when is_list(Config) ->
Ts = [{unsafe1,
<<"t() ->
(X = true) orelse (Y = false),
Y.
">>,
[warn_unused_vars],
{error,[{3,erl_lint,{unsafe_var,'Y',{'orelse',2}}}],
[{2,erl_lint,{unused_var,'X'}}]}},
{unsafe2,
<<"t2() ->
(X = true) orelse (Y = false),
X.
">>,
[warn_unused_vars],
{warnings,[{2,erl_lint,{unused_var,'Y'}}]}},
{unsafe3,
<<"t3() ->
(X = true) andalso (Y = false),
Y.
">>,
[warn_unused_vars],
{error,[{3,erl_lint,{unsafe_var,'Y',{'andalso',2}}}],
[{2,erl_lint,{unused_var,'X'}}]}},
{unsafe4,
<<"t4() ->
(X = true) andalso (true = X),
X.
">>,
[warn_unused_vars],
[]},
{unsafe5,
<<"t5() ->
Y = 3,
(X = true) andalso (X = true),
{X,Y}.
">>,
[warn_unused_vars],
[]},
{unsafe6,
<<"t6() ->
X = true,
(X = true) andalso (true = X),
X.
">>,
[warn_unused_vars],
[]},
{unsafe7,
<<"t7() ->
(if true -> X = 3; false -> true end)
andalso (X > 2),
X.
">>,
[warn_unused_vars],
{errors,[{3,erl_lint,{unsafe_var,'X',{'if',2}}},
{4,erl_lint,{unsafe_var,'X',{'if',2}}}],
[]}},
{unsafe8,
<<"t8(X) ->
case X of _ -> catch _Y = 1 end,
_Y."
>>,
[],
{errors,[{3,erl_lint,{unsafe_var,'_Y',{'catch',2}}}],
[]}},
{unsafe9,
<<"t9(X) ->
case X of
1 ->
catch A = 1, % unsafe only here
B = 1,
C = 1,
D = 1;
2 ->
A = 2,
%% B not bound here
C = 2,
catch D = 2; % unsafe in two clauses
3 ->
A = 3,
B = 3,
C = 3,
catch D = 3; % unsafe in two clauses
4 ->
A = 4,
B = 4,
C = 4,
D = 4
end,
{A,B,C,D}."
>>,
[],
{errors,[{24,erl_lint,{unsafe_var,'A',{'catch',4}}},
{24,erl_lint,{unsafe_var,'B',{'case',2}}},
{24,erl_lint,{unsafe_var,'D',{'case',2}}}],
[]}}
],
[] = run(Config, Ts),
ok.
%% OTP-4831, seq8202. No warn_unused_vars and unsafe variables.
unsafe_vars2(Config) when is_list(Config) ->
Ts = [{unsafe2_1,
<<"foo(State) ->
case State of
true ->
if
false -> ok;
true -> State1=State
end
end,
State1. % unsafe
">>,
[warn_unused_vars],
{errors,[{9,erl_lint,{unsafe_var,'State1',{'if',4}}}],[]}},
{unsafe2_2,
<<"foo(State) ->
case State of
true ->
if
false -> ok;
true -> State1=State
end
end,
State1. % unsafe
">>,
[],
{errors,[{9,erl_lint,{unsafe_var,'State1',{'if',4}}}],[]}}
],
[] = run(Config, Ts),
ok.
%% Errors for unsafe variables in try/catch constructs.
unsafe_vars_try(Config) when is_list(Config) ->
Ts = [{unsafe_try1,
<<"foo2() ->
try self()
catch
Class:Data -> Result={Class,Data}
end,
Result.
foo3a() ->
try self() of
R -> R
catch
Class:Data -> Result={Class,Data}
end,
Result.
foo3b() ->
try self() of
Result -> ok
catch
Class:Data -> {Class,Data}
end,
Result.
">>,
[],
{errors,[{6,erl_lint,{unsafe_var,'Result',{'try',2}}},
{13,erl_lint,{unsafe_var,'Result',{'try',8}}},
{20,erl_lint,{unsafe_var,'Result',{'try',15}}}],
[]}},
{unsafe_try2,
<<"foo1a() ->
Try =
try self()
catch
Class:Data -> Rc={Class,Data}
after
Ra=ok
end,
{Try,Rc,Ra}.
foo1b() ->
Try =
try self() of
R -> R
catch
Class:Data -> Rc={Class,Data}
after
Ra=R
end,
{Try,Rc,Ra}.
foo2() ->
Try =
try self() of
R -> Ro=R
catch
Class:Data -> {Class,Data}
after
Ra=R
end,
{Try,Ro,Ra}.
foo3() ->
Try =
try self() of
R -> Ro=R
catch
Class:Data -> Rc={Class,Data}
after
Ra=R
end,
{Try,R,Ro,Rc,Ra}.
">>,
[],
{errors,[{9,erl_lint,{unsafe_var,'Ra',{'try',3}}},
{9,erl_lint,{unsafe_var,'Rc',{'try',3}}},
{17,erl_lint,{unsafe_var,'R',{'try',12}}},
{19,erl_lint,{unsafe_var,'Ra',{'try',12}}},
{19,erl_lint,{unsafe_var,'Rc',{'try',12}}},
{27,erl_lint,{unsafe_var,'R',{'try',22}}},
{29,erl_lint,{unsafe_var,'Ra',{'try',22}}},
{29,erl_lint,{unsafe_var,'Ro',{'try',22}}},
{37,erl_lint,{unsafe_var,'R',{'try',32}}},
{39,erl_lint,{unsafe_var,'R',{'try',32}}},
{39,erl_lint,{unsafe_var,'Ra',{'try',32}}},
{39,erl_lint,{unsafe_var,'Rc',{'try',32}}},
{39,erl_lint,{unsafe_var,'Ro',{'try',32}}}],
[]}},
{unsafe_try3,
<<"foo1(X) ->
Try =
try R=self()
catch
Class:Data -> Rc={X,R,Class,Data}
end,
{X,Try,Rc}.
foo2(X) ->
Try =
try R=self() of
RR -> Ro={X,R,RR}
catch
Class:Data -> {X,R,RR,Ro,Class,Data}
end,
{X,Try,R,RR,Ro,Class,Data}.
foo3(X) ->
Try =
try R=self() of
RR -> {X,R,RR}
catch
Class:Data -> {X,R,RR,Class,Data}
after
Ra={X,R,RR,Class,Data}
end,
{X,Try,R,RR,Ra,Class,Data}.
">>,
[],
{errors,[{5,erl_lint,{unsafe_var,'R',{'try',3}}},
{7,erl_lint,{unsafe_var,'Rc',{'try',3}}},
{11,erl_lint,{unsafe_var,'R',{'try',10}}},
{13,erl_lint,{unbound_var,'RR'}},
{13,erl_lint,{unbound_var,'Ro'}},
{13,erl_lint,{unsafe_var,'R',{'try',10}}},
{15,erl_lint,{unsafe_var,'Class',{'try',10}}},
{15,erl_lint,{unsafe_var,'Data',{'try',10}}},
{15,erl_lint,{unsafe_var,'R',{'try',10}}},
{15,erl_lint,{unsafe_var,'RR',{'try',10}}},
{15,erl_lint,{unsafe_var,'Ro',{'try',10}}},
{19,erl_lint,{unsafe_var,'R',{'try',18}}},
{21,erl_lint,{unbound_var,'RR'}},
{21,erl_lint,{unsafe_var,'R',{'try',18}}},
{23,erl_lint,{unsafe_var,'Class',{'try',18}}},
{23,erl_lint,{unsafe_var,'Data',{'try',18}}},
{23,erl_lint,{unsafe_var,'R',{'try',18}}},
{23,erl_lint,{unsafe_var,'RR',{'try',18}}},
{25,erl_lint,{unsafe_var,'Class',{'try',18}}},
{25,erl_lint,{unsafe_var,'Data',{'try',18}}},
{25,erl_lint,{unsafe_var,'R',{'try',18}}},
{25,erl_lint,{unsafe_var,'RR',{'try',18}}},
{25,erl_lint,{unsafe_var,'Ra',{'try',18}}}],
[]}},
{unsafe_try4,
<<"foo1(X) ->
Try =
try R=self() of
RR -> Ro={X,R,RR}
catch
Class:Data -> Rc={X,R,RR,Ro,Class,Data}
after
Ra={X,R,RR,Ro,Rc,Class,Data}
end,
{X,Try,R,RR,Ro,Rc,Ra,Class,Data}.
">>,
[],
{errors,[{4,erl_lint,{unsafe_var,'R',{'try',3}}},
{6,erl_lint,{unbound_var,'RR'}},
{6,erl_lint,{unbound_var,'Ro'}},
{6,erl_lint,{unsafe_var,'R',{'try',3}}},
{8,erl_lint,{unsafe_var,'Class',{'try',3}}},
{8,erl_lint,{unsafe_var,'Data',{'try',3}}},
{8,erl_lint,{unsafe_var,'R',{'try',3}}},
{8,erl_lint,{unsafe_var,'RR',{'try',3}}},
{8,erl_lint,{unsafe_var,'Rc',{'try',3}}},
{8,erl_lint,{unsafe_var,'Ro',{'try',3}}},
{10,erl_lint,{unsafe_var,'Class',{'try',3}}},
{10,erl_lint,{unsafe_var,'Data',{'try',3}}},
{10,erl_lint,{unsafe_var,'R',{'try',3}}},
{10,erl_lint,{unsafe_var,'RR',{'try',3}}},
{10,erl_lint,{unsafe_var,'Ra',{'try',3}}},
{10,erl_lint,{unsafe_var,'Rc',{'try',3}}},
{10,erl_lint,{unsafe_var,'Ro',{'try',3}}}],
[]}},
{unsafe_try5,
<<"bang() ->
case 1 of
nil ->
Acc = 2;
_ ->
try
Acc = 3,
Acc
catch _:_ ->
ok
end
end,
Acc.
">>,
[],
{errors,[{13,erl_lint,{unsafe_var,'Acc',{'try',6}}}],[]}}],
[] = run(Config, Ts),
ok.
%% Unsized binary fields are forbidden in patterns of bit string generators.
unsized_binary_in_bin_gen_pattern(Config) when is_list(Config) ->
Ts = [{unsized_binary_in_bin_gen_pattern,
<<"t({bc,binary,Bin}) ->
<< <<X,Tail/binary>> || <<X,Tail/binary>> <= Bin >>;
t({bc,bytes,Bin}) ->
<< <<X,Tail/binary>> || <<X,Tail/bytes>> <= Bin >>;
t({bc,bits,Bin}) ->
<< <<X,Tail/bits>> || <<X,Tail/bits>> <= Bin >>;
t({bc,bitstring,Bin}) ->
<< <<X,Tail/bits>> || <<X,Tail/bitstring>> <= Bin >>;
t({lc,binary,Bin}) ->
[ {X,Tail} || <<X,Tail/binary>> <= Bin ];
t({lc,bytes,Bin}) ->
[ {X,Tail} || <<X,Tail/bytes>> <= Bin ];
t({lc,bits,Bin}) ->
[ {X,Tail} || <<X,Tail/bits>> <= Bin ];
t({lc,bitstring,Bin}) ->
[ {X,Tail} || <<X,Tail/bitstring>> <= Bin ].">>,
[],
{errors,
[{2,erl_lint,unsized_binary_in_bin_gen_pattern},
{4,erl_lint,unsized_binary_in_bin_gen_pattern},
{6,erl_lint,unsized_binary_in_bin_gen_pattern},
{8,erl_lint,unsized_binary_in_bin_gen_pattern},
{10,erl_lint,unsized_binary_in_bin_gen_pattern},
{12,erl_lint,unsized_binary_in_bin_gen_pattern},
{14,erl_lint,unsized_binary_in_bin_gen_pattern},
{16,erl_lint,unsized_binary_in_bin_gen_pattern}],
[]}}],
[] = run(Config, Ts),
ok.
%% OTP-4670. Guards, is_record in particular.
guard(Config) when is_list(Config) ->
%% Well, these could be plain code...
Ts = [{guard1,
<<"-record(apa, {}).
t(A) when atom(A) ->
atom;
t(A) when binary(A) ->
binary;
t(A) when constant(A) ->
constant;
t(A) when float(A) ->
float;
t(A) when function(A) ->
function;
t(A) when integer(A) ->
integer;
t(A) when is_atom(A) ->
is_atom;
t(A) when is_binary(A) ->
is_binary;
t(A) when is_constant(A) ->
is_constant;
t(A) when is_float(A) ->
is_float;
t(A) when is_function(A) ->
is_function;
t(A) when is_integer(A) ->
is_integer;
t(A) when is_list(A) ->
is_list;
t(A) when is_number(A) ->
is_number;
t(A) when is_pid(A) ->
is_pid;
t(A) when is_port(A) ->
is_port;
t(A) when is_record(A, apa) ->
is_record;
t(A) when is_record(A, apa, 1) ->
is_record;
t(A) when is_reference(A) ->
is_reference;
t(A) when is_tuple(A) ->
is_tuple;
t(A) when list(A) ->
list;
t(A) when number(A) ->
number;
t(A) when pid(A) ->
pid;
t(A) when port(A) ->
port;
t(A) when record(A, apa) ->
record;
t(A) when reference(A) ->
reference;
t(A) when tuple(A) ->
tuple.
">>,
[nowarn_obsolete_guard],
{errors,
[{6,erl_lint,illegal_guard_expr},{18,erl_lint,illegal_guard_expr}],
[]}},
{guard2,
<<"-record(apa,{}).
t1(A) when atom(A), atom(A) ->
atom;
t1(A) when binary(A), binary(A) ->
binary;
t1(A) when constant(A), constant(A) ->
constant;
t1(A) when float(A), float(A) ->
float;
t1(A) when function(A), function(A) ->
function;
t1(A) when integer(A), integer(A) ->
integer;
t1(A) when is_atom(A), is_atom(A) ->
is_atom;
t1(A) when is_binary(A), is_binary(A) ->
is_binary;
t1(A) when is_constant(A), is_constant(A) ->
is_constant;
t1(A) when is_float(A), is_float(A) ->
is_float;
t1(A) when is_function(A), is_function(A) ->
is_function;
t1(A) when is_integer(A), is_integer(A) ->
is_integer;
t1(A) when is_list(A), is_list(A) ->
is_list;
t1(A) when is_number(A), is_number(A) ->
is_number;
t1(A) when is_pid(A), is_pid(A) ->
is_pid;
t1(A) when is_port(A), is_port(A) ->
is_port;
t1(A) when is_record(A, apa), is_record(A, apa) ->
is_record;
t1(A) when is_record(A, apa, 1), is_record(A, apa, 1) ->
is_record;
t1(A) when is_reference(A), is_reference(A) ->
is_reference;
t1(A) when is_tuple(A), is_tuple(A) ->
is_tuple;
t1(A) when list(A), list(A) ->
list;
t1(A) when number(A), number(A) ->
number;
t1(A) when pid(A), pid(A) ->
pid;
t1(A) when port(A), port(A) ->
port;
t1(A) when record(A, apa), record(A, apa) ->
record;
t1(A) when reference(A), reference(A) ->
reference;
t1(A) when tuple(A), tuple(A) ->
tuple.
">>,
[nowarn_obsolete_guard],
{errors,[{6,erl_lint,illegal_guard_expr},
{6,erl_lint,illegal_guard_expr},
{18,erl_lint,illegal_guard_expr},
{18,erl_lint,illegal_guard_expr}],
[]}},
{guard3,
<<"-record(apa,{}).
t2(A) when atom(A); atom(A) ->
atom;
t2(A) when binary(A); binary(A) ->
binary;
t2(A) when float(A); float(A) ->
float;
t2(A) when function(A); function(A) ->
function;
t2(A) when integer(A); integer(A) ->
integer;
t2(A) when is_atom(A); is_atom(A) ->
is_atom;
t2(A) when is_binary(A); is_binary(A) ->
is_binary;
t2(A) when is_float(A); is_float(A) ->
is_float;
t2(A) when is_function(A); is_function(A) ->
is_function;
t2(A) when is_integer(A); is_integer(A) ->
is_integer;
t2(A) when is_list(A); is_list(A) ->
is_list;
t2(A) when is_number(A); is_number(A) ->
is_number;
t2(A) when is_pid(A); is_pid(A) ->
is_pid;
t2(A) when is_port(A); is_port(A) ->
is_port;
t2(A) when is_record(A, apa); is_record(A, apa) ->
is_record;
t2(A) when is_record(A, gurka, 1); is_record(A, gurka, 1) ->
is_record;
t2(A) when is_reference(A); is_reference(A) ->
is_reference;
t2(A) when is_tuple(A); is_tuple(A) ->
is_tuple;
t2(A) when list(A); list(A) ->
list;
t2(A) when number(A); number(A) ->
number;
t2(A) when pid(A); pid(A) ->
pid;
t2(A) when port(A); port(A) ->
port;
t2(A) when record(A, apa); record(A, apa) ->
record;
t2(A) when reference(A); reference(A) ->
reference;
t2(A) when tuple(A); tuple(A) ->
tuple.
">>,
[nowarn_obsolete_guard],
[]},
{guard4,
<<"-record(apa, {}).
t3(A) when float(A) or float(A) -> % coercing... (badarg)
float;
t3(A) when is_atom(A) or is_atom(A) ->
is_atom;
t3(A) when is_binary(A) or is_binary(A) ->
is_binary;
t3(A) when is_float(A) or is_float(A) ->
is_float;
t3(A) when is_function(A) or is_function(A) ->
is_function;
t3(A) when is_integer(A) or is_integer(A) ->
is_integer;
t3(A) when is_list(A) or is_list(A) ->
is_list;
t3(A) when is_number(A) or is_number(A) ->
is_number;
t3(A) when is_pid(A) or is_pid(A) ->
is_pid;
t3(A) when is_port(A) or is_port(A) ->
is_port;
t3(A) when is_record(A, apa) or is_record(A, apa) ->
is_record;
t3(A) when is_record(A, apa, 1) or is_record(A, apa, 1) ->
is_record;
t3(A) when is_reference(A) or is_reference(A) ->
is_reference;
t3(A) when is_tuple(A) or is_tuple(A) ->
is_tuple.
">>,
[nowarn_obsolete_guard],
[]}],
[] = run(Config, Ts),
Ts1 = [{guard5,
<<"-record(apa, {}).
t3(A) when record(A, {apa}) ->
foo;
t3(A) when is_record(A, {apa}) ->
foo;
t3(A) when erlang:is_record(A, {apa}) ->
foo;
t3(A) when is_record(A, {apa}, 1) ->
foo;
t3(A) when erlang:is_record(A, {apa}, 1) ->
foo;
t3(A) when is_record(A, apa, []) ->
foo;
t3(A) when erlang:is_record(A, apa, []) ->
foo;
t3(A) when record(A, apa) ->
foo;
t3(A) when is_record(A, apa) ->
foo;
t3(A) when erlang:is_record(A, apa) ->
foo.
">>,
[warn_unused_vars, nowarn_obsolete_guard],
{errors,[{2,erl_lint,illegal_guard_expr},
{4,erl_lint,illegal_guard_expr},
{6,erl_lint,illegal_guard_expr},
{8,erl_lint,illegal_guard_expr},
{10,erl_lint,illegal_guard_expr},
{12,erl_lint,illegal_guard_expr},
{14,erl_lint,illegal_guard_expr}],
[]}},
{guard6,
<<"-record(apa,{a=a,b=foo:bar()}).
apa() ->
[X || X <- [], #apa{a = a} == {r,X,foo}];
apa() ->
[X || X <- [], #apa{b = b} == {r,X,foo}];
apa() ->
[X || X <- [], #ful{a = a} == {r,X,foo}].
">>,
[],
{errors,[{7,erl_lint,{undefined_record,ful}}],
[]}},
{guard7,
<<"-record(apa,{}).
t() ->
[X || X <- [1,#apa{},3], (3+is_record(X, apa)) or
(is_record(X, apa)*2)].
">>,
[],
[]},
{guard8,
<<"t(A) when erlang:is_foobar(A) -> ok;
t(A) when A ! ok -> ok;
t(A) when A ++ [x] -> ok."
>>,
[],
{errors,[{1,erl_lint,illegal_guard_expr},
{2,erl_lint,illegal_guard_expr},
{3,erl_lint,illegal_guard_expr}],[]}},
{guard9,
<<"t(X, Y) when erlang:'andalso'(X, Y) -> ok;
t(X, Y) when erlang:'orelse'(X, Y) -> ok.
">>,
[],
{errors,[{1,erl_lint,illegal_guard_expr},
{2,erl_lint,illegal_guard_expr}],
[]}},
{guard10,
<<"is_port(_) -> false.
t(P) when port(P) -> ok.
">>,
[],
{error,
[{2,erl_lint,{obsolete_guard_overridden,port}}],
[{2,erl_lint,{obsolete_guard,{port,1}}}]}}
],
[] = run(Config, Ts1),
ok.
%% OTP-4886. Calling is_record with given record name.
otp_4886(Config) when is_list(Config) ->
Ts = [{otp_4886,
<<"t() ->
X = {foo},
is_record(X, foo),
erlang:is_record(X, foo),
{erlang,is_record}(X, foo),
%% Note: is_record/3 does not verify that the record is defined,
%% so the following lines should give no errors.
is_record(X, foo, 1),
erlang:is_record(X, foo, 1),
{erlang,is_record}(X, foo, 1).
">>,
[],
{errors,[{3,erl_lint,{undefined_record,foo}},
{4,erl_lint,{undefined_record,foo}},
{5,erl_lint,{undefined_record,foo}}],
[]}}],
[] = run(Config, Ts),
ok.
%% OTP-4988. Error when in-lining non-existent functions.
otp_4988(Config) when is_list(Config) ->
Ts = [{otp_4988,
<<"-compile({inline, [{f,3},{f,4},{f,2},{f,a},{1,foo}]}).
-compile({inline, {g,1}}).
-compile({inline, {g,12}}).
-compile(inline).
-compile({inline_size,100}).
f(A, B) ->
{g(A), B}.
g(A) ->
{A}.
">>,
[],
{errors,[{1,erl_lint,{bad_inline,{1,foo}}},
{1,erl_lint,{bad_inline,{f,3}}},
{1,erl_lint,{bad_inline,{f,4}}},
{1,erl_lint,{bad_inline,{f,a}}},
{3,erl_lint,{bad_inline,{g,12}}}],
[]}}],
[] = run(Config, Ts),
ok.
%% OTP-5091. Patterns and the bit syntax: invalid warnings.
otp_5091(Config) when is_list(Config) ->
Ts = [{otp_5091_1,
<<"t() ->
[{Type, Value} || <<Type:16, _Len:16,
Value:_Len/binary>> <- []].
">>,
[],
[]},
{otp_5091_2,
<<"t() ->
%% This one has always been handled OK:
<<Type:16, _Len:16,
Value:_Len/binary>> = <<18:16, 9:16, \"123456789\">>,
{Type, Value}.
">>,
[],
[]},
{otp_5091_3,
<<"t() ->
fun(<<Type:16, _Len:16, Value:_Len/binary>>) ->
{Type, Value}
end.
">>,
[],
[]},
{otp_5091_4,
<<"t() ->
L = 8,
F = fun(<<A:L,B:A>>) -> B end,
F(<<16:8, 7:16>>).
">>,
[],
[]},
{otp_5091_5,
<<"t() ->
L = 8,
F = fun(<<L: % L shadowed.
L,
B:
L>>) -> B end,
F(<<16:8, 7:16>>).
">>,
[],
{warnings,[{3,erl_lint,{shadowed_var,'L','fun'}}]}},
{otp_5091_6,
<<"t(A) ->
(fun(<<L:16,M:L,N:M>>) -> ok end)(A).
">>,
[],
{warnings,[{2,erl_lint,{unused_var,'N'}}]}},
{otp_5091_7,
<<"t() ->
U = 8,
(fun(<<U: % U shadowed.
U>>) -> U end)(<<32:8>>).
">>,
[],
{warnings,[{3,erl_lint,{shadowed_var,'U','fun'}}]}},
{otp_5091_8,
<<"t() ->
[X || <<A:8,
B:A>> <- [],
<<X:8>> <- [B]].
">>,
[],
[]},
{otp_5091_9,
<<"t() ->
L = 8,
F = fun(<<L: % Shadow.
L,
L:
L,
L:
L
>>) ->
L
end,
F(<<16:8, 8:16, 32:8>>).
">>,
[],
{warnings,[{3,erl_lint,{shadowed_var,'L','fun'}}]}},
{otp_5091_10,
<<"t() ->
L = 8, <<A:L,B:A>> = <<16:8, 7:16>>, B.
">>,
[],
[]},
{otp_5091_11,
<<"t() ->
fun(<<L:16,L:L,L:L>>) -> ok end.
">>,
[],
[]},
{otp_5091_12,
<<"t([A,B]) ->
fun(<<A:B>>, % A shadowed and unused
<<Q:A>>) -> foo % Q unused. 'outer' A is used.
end.
">>,
[],
{warnings,[{2,erl_lint,{unused_var,'A'}},
{2,erl_lint,{shadowed_var,'A','fun'}},
{3,erl_lint,{unused_var,'Q'}}]}},
{otp_5091_13,
<<"t([A,B]) -> % A unused, B unused
fun({A,B}, % A shadowed, B unused, B shadowed
{Q,A}) -> foo % Q unused. 'inner' A is used
end.
">>,
[],
{warnings,[{1,erl_lint,{unused_var,'A'}},
{1,erl_lint,{unused_var,'B'}},
{2,erl_lint,{unused_var,'B'}},
{2,erl_lint,{shadowed_var,'A','fun'}},
{2,erl_lint,{shadowed_var,'B','fun'}},
{3,erl_lint,{unused_var,'Q'}}]}},
{otp_5091_14,
<<"t() ->
A = 4,
fun(<<A: % shadowed, unused
A>>) -> 2 end.
">>,
[],
{warnings,[{3,erl_lint,{unused_var,'A'}},
{3,erl_lint,{shadowed_var,'A','fun'}}]}},
{otp_5091_15,
<<"t() ->
A = 4, % unused
fun(<<A:8, % shadowed
16:A>>) -> 2 end.
">>,
[],
{warnings,[{2,erl_lint,{unused_var,'A'}},
{3,erl_lint,{shadowed_var,'A','fun'}}]}},
{otp_5091_16,
<<"t() ->
A = 4,
fun(<<8:A, %
A:8>>) -> 7 end. % shadowed, unused
">>,
[],
{warnings,[{4,erl_lint,{unused_var,'A'}},
{4,erl_lint,{shadowed_var,'A','fun'}}]}},
{otp_5091_17,
<<"t() ->
L = 16,
fun(<<L: % shadow
L>>, % 'outer' L
<<L: % shadow and match
L>>) -> % 'outer' L
a
end.
">>,
[],
{warnings,[{3,erl_lint,{shadowed_var,'L','fun'}}]}},
{otp_5091_18,
<<"t() ->
L = 4, % L unused
fun({L, % L shadowed
L},
{L,
L}) ->
a
end.
">>,
[],
{warnings,[{2,erl_lint,{unused_var,'L'}},
{3,erl_lint,{shadowed_var,'L','fun'}}]}},
{otp_5091_19,
<<"t() ->
L = 4,
[L || <<L: % shadowed
L,
L:
L>> <- []].
">>,
[],
{warnings,[{3,erl_lint,{shadowed_var,'L',generate}}]}},
{otp_5091_20,
<<"t() ->
L = 4, % L unused.
[1 || L <- []]. % L unused, L shadowed.
">>,
[],
{warnings,[{2,erl_lint,{unused_var,'L'}},
{3,erl_lint,{unused_var,'L'}},
{3,erl_lint,{shadowed_var,'L',generate}}]}},
{otp_5091_21,
<<"t() ->
L = 4,
[1 || L <- [L]]. % L shadowed. L unused.
">>,
[],
{warnings,[{3,erl_lint,{unused_var,'L'}},
{3,erl_lint,{shadowed_var,'L',generate}}]}},
{otp_5091_22,
<<"t() ->
L = 4, % unused
fun(L) -> L end. % shadowed
">>,
[],
{warnings,[{2,erl_lint,{unused_var,'L'}},
{3,erl_lint,{shadowed_var,'L','fun'}}]}},
{otp_5091_23,
<<"t([A,A]) -> a.">>, [], []},
{otp_5091_24,
<<"t({A,A}) -> a.">>, [], []},
{otp_5091_25,
<<"-record(r, {f1,f2}).
t(#r{f1 = A, f2 = A}) -> a.">>, [], []}],
[] = run(Config, Ts),
ok.
%% OTP-5276. Check the 'deprecated' attributed.
otp_5276(Config) when is_list(Config) ->
Ts = [{otp_5276_1,
<<"-deprecated([{frutt,0,next_version}]).
-deprecated([{does_not_exist,1}]).
-deprecated('foo bar').
-deprecated(module).
-deprecated([{f,'_'}]).
-deprecated([{t,0}]).
-deprecated([{t,'_',eventually}]).
-deprecated([{'_','_',never}]).
-deprecated([{{badly,formed},1}]).
-deprecated([{'_','_',next_major_release}]).
-deprecated([{atom_to_list,1}]).
-export([t/0]).
frutt() -> ok.
t() -> ok.
">>,
{[]},
{error,[{1,erl_lint,{bad_deprecated,{frutt,0}}},
{2,erl_lint,{bad_deprecated,{does_not_exist,1}}},
{3,erl_lint,{invalid_deprecated,'foo bar'}},
{5,erl_lint,{bad_deprecated,{f,'_'}}},
{8,erl_lint,{invalid_deprecated,{'_','_',never}}},
{9,erl_lint,{invalid_deprecated,{{badly,formed},1}}},
{11,erl_lint,{bad_deprecated,{atom_to_list,1}}}],
[{13,erl_lint,{unused_function,{frutt,0}}}]}}],
[] = run(Config, Ts),
ok.
%% OTP-5917. Check the 'deprecated' attributed.
otp_5917(Config) when is_list(Config) ->
Ts = [{otp_5917_1,
<<"-export([t/0]).
-deprecated({t,0}).
t() ->
foo.
">>,
{[]},
[]}],
[] = run(Config, Ts),
ok.
%% OTP-6585. Check the deprecated guards list/1, pid/1, ....
otp_6585(Config) when is_list(Config) ->
Ts = [{otp_6585_1,
<<"-export([t/0]).
-record(r, {}).
f(A) when list(A) -> list;
f(R) when record(R, r) -> rec;
f(P) when pid(P) -> pid.
t() ->
f([]).
">>,
[warn_obsolete_guard],
{warnings,[{5,erl_lint,{obsolete_guard,{list,1}}},
{6,erl_lint,{obsolete_guard,{record,2}}},
{7,erl_lint,{obsolete_guard,{pid,1}}}]}}],
[] = run(Config, Ts),
ok.
%% OTP-5338. Bad warning in record initialization.
otp_5338(Config) when is_list(Config) ->
%% OTP-5878: variables like X are no longer allowed in initialisations
Ts = [{otp_5338,
<<"-record(c, {a = <<X:7/binary-unit:8>>}).
t() ->
X = <<\"hejsans\">>,
#c{}.
">>,
[],
{error,[{1,erl_lint,{unbound_var,'X'}}],
[{3,erl_lint,{unused_var,'X'}}]}}],
[] = run(Config, Ts),
ok.
%% OTP-5362. deprecated_function,
%% {nowarn_unused_funtion,FAs}, 'better' line numbers.
otp_5362(Config) when is_list(Config) ->
Ts = [{otp_5362_1,
<<"-include_lib(\"stdlib/include/qlc.hrl\").
-file(?FILE, 1000).
t() ->
qlc:q([X || X <- [],
begin A = 3, true end]).
">>,
{[warn_unused_vars]},
{warnings,[{1002,erl_lint,{unused_function,{t,0}}},
{1004,erl_lint,{unused_var,'A'}}]}},
{otp_5362_2,
<<"-export([inline/0]).
-import(lists, [a/1,b/1]). % b/1 is not used
-compile([{inline,{inl,7}}]). % undefined
-compile([{inline,[{inl,17}]}]). % undefined
-compile([{inline,{inl,1}}]). % OK
foop() -> % unused function
a([]), % used import, OK
fipp(). % undefined
inline() ->
inl(foo).
inl(_) ->
true.
not_used() -> % unused function
true.
-compile({nowarn_unused_function,[{and_not_used,2}]}). % unknown
and_not_used(_) -> % unused function
foo.
-compile({nowarn_unused_function,{unused_function,2}}).
unused_function(_, _) ->
ok.
">>,
{[warn_unused_vars, warn_unused_import]},
{error,[{5,erl_lint,{bad_inline,{inl,7}}},
{6,erl_lint,{bad_inline,{inl,17}}},
{11,erl_lint,{undefined_function,{fipp,0}}},
{22,erl_lint,{bad_nowarn_unused_function,{and_not_used,2}}}],
[{3,erl_lint,{unused_import,{{b,1},lists}}},
{9,erl_lint,{unused_function,{foop,0}}},
{19,erl_lint,{unused_function,{not_used,0}}},
{23,erl_lint,{unused_function,{and_not_used,1}}}]}},
{otp_5362_3,
<<"-record(a, {x,
x}).
-record(a, {x,
X}). % erl_parse
-record(a, [x,
x]). % erl_parse
-record(ok, {a,b}).
-record(r, {a = #ok{},
b = (#ok{})#ok.a}).
t() ->
{#a{},
#nix{},
#ok{nix = []},
#ok{Var = 4},
#r{}
}.
">>,
{[nowarn_unused_function]},
{errors2, [{4,erl_parse,"bad record field"},
{5,erl_parse,"bad record declaration"}],
[{2,erl_lint,{redefine_field,a,x}},
{14,erl_lint,{undefined_record,nix}},
{15,erl_lint,{undefined_field,ok,nix}},
{16,erl_lint,{field_name_is_variable,ok,'Var'}}]}},
%% Nowarn_bif_clash has changed behaviour as local functions
%% nowdays supersede auto-imported BIFs, why nowarn_bif_clash in itself generates an error
%% (OTP-8579) /PaN
{otp_5362_4,
<<"-compile(nowarn_deprecated_function).
-compile(nowarn_bif_clash).
spawn(A) ->
erlang:now(),
spawn(A).
">>,
{[nowarn_unused_function,
warn_deprecated_function,
warn_bif_clash]},
{error,
[{5,erl_lint,{call_to_redefined_old_bif,{spawn,1}}}],
[{4,erl_lint,{deprecated,{erlang,now,0},
"Deprecated BIF. See the \"Time and Time Correction in Erlang\" "
"chapter of the ERTS User's Guide for more information."}}]}},
{otp_5362_5,
<<"-compile(nowarn_deprecated_function).
-compile(nowarn_bif_clash).
spawn(A) ->
erlang:now(),
spawn(A).
">>,
{[nowarn_unused_function]},
{errors,
[{2,erl_lint,disallowed_nowarn_bif_clash}],[]}},
%% The special nowarn_X are not affected by general warn_X.
{otp_5362_6,
<<"-compile({nowarn_deprecated_function,{erlang,now,0}}).
-compile({nowarn_bif_clash,{spawn,1}}).
spawn(A) ->
erlang:now(),
spawn(A).
">>,
{[nowarn_unused_function,
warn_deprecated_function,
warn_bif_clash]},
{errors,
[{2,erl_lint,disallowed_nowarn_bif_clash}],[]}},
{otp_5362_7,
<<"-export([spawn/1]).
-compile({nowarn_deprecated_function,{erlang,now,0}}).
-compile({nowarn_bif_clash,{spawn,1}}).
-compile({nowarn_bif_clash,{spawn,2}}). % bad
-compile([{nowarn_deprecated_function,
[{erlang,now,-1},{3,now,-1}]}, % 2 bad
{nowarn_deprecated_function, {{a,b,c},now,-1}}]). % bad
spawn(A) ->
erlang:now(),
spawn(A).
">>,
{[nowarn_unused_function]},
{error,[{3,erl_lint,disallowed_nowarn_bif_clash},
{4,erl_lint,disallowed_nowarn_bif_clash},
{4,erl_lint,{bad_nowarn_bif_clash,{spawn,2}}}],
[{5,erl_lint,{bad_nowarn_deprecated_function,{3,now,-1}}},
{5,erl_lint,{bad_nowarn_deprecated_function,{erlang,now,-1}}},
{5,erl_lint,{bad_nowarn_deprecated_function,{{a,b,c},now,-1}}}]}
},
{otp_5362_8,
<<"-export([spawn/1]).
-compile(warn_deprecated_function).
-compile(warn_bif_clash).
spawn(A) ->
erlang:now(),
spawn(A).
">>,
{[nowarn_unused_function,
{nowarn_bif_clash,{spawn,1}}]}, % has no effect
{warnings,
[{5,erl_lint,{deprecated,{erlang,now,0},
"Deprecated BIF. See the \"Time and Time Correction in Erlang\" "
"chapter of the ERTS User's Guide for more information."}}]}},
{otp_5362_9,
<<"-include_lib(\"stdlib/include/qlc.hrl\").
-record(a, {x = qlc:q([{X,Y} || {X} <- [],{Y} <- [],X =:= Y])}).
-export([t/0]).
t() -> #a{}.
">>,
{[]},
[]},
{otp_5362_10,
<<"-compile({nowarn_deprecated_function,{erlang,now,0}}).
-compile({nowarn_bif_clash,{spawn,1}}).
-import(x,[spawn/1]).
spin(A) ->
erlang:now(),
spawn(A).
">>,
{[nowarn_unused_function,
warn_deprecated_function,
warn_bif_clash]},
{errors,
[{2,erl_lint,disallowed_nowarn_bif_clash}],[]}},
{call_deprecated_function,
<<"t(X) -> calendar:local_time_to_universal_time(X).">>,
[],
{warnings,
[{1,erl_lint,{deprecated,{calendar,local_time_to_universal_time,1},
{calendar,local_time_to_universal_time_dst,1}, "a future release"}}]}},
{call_removed_function,
<<"t(X) -> regexp:match(X).">>,
[],
{warnings,
[{1,erl_lint,{removed,{regexp,match,1},
"removed in R15; use the re module instead"}}]}}
],
[] = run(Config, Ts),
ok.
%% OTP-5371. Aliases for bit syntax expressions are no longer allowed.
otp_5371(Config) when is_list(Config) ->
Ts = [{otp_5371_1,
<<"t(<<A:8>> = <<B:8>>) ->
{A,B}.
">>,
[],
{errors,[{1,erl_lint,illegal_bin_pattern}],[]}},
{otp_5371_2,
<<"x([<<A:8>>] = [<<B:8>>]) ->
{A,B}.
y({a,<<A:8>>} = {b,<<B:8>>}) ->
{A,B}.
">>,
[],
{errors,[{1,erl_lint,illegal_bin_pattern},
{3,erl_lint,illegal_bin_pattern}],[]}},
{otp_5371_3,
<<"-record(foo, {a,b,c}).
-record(bar, {x,y,z}).
-record(buzz, {x,y}).
a(#foo{a = <<X:8>>} = #bar{x = <<Y:8>>}) ->
{X,Y}.
b(#foo{b = <<X:8>>} = #foo{b = <<Y:4,Z:4>>}) ->
{X,Y,Z}.
c(#foo{a = <<X:8>>} = #buzz{x = <<Y:8>>}) ->
{X,Y}.
d(#foo{a=x,b = <<X:8>>} = #buzz{y = <<Y:8>>}) ->
{X,Y}.
e(#foo{a=x,b = <<X:8>>} = #buzz{x=glurf,y = <<Y:8>>}) ->
{X,Y}.
">>,
[],
{errors,[{4,erl_lint,illegal_bin_pattern},
{6,erl_lint,illegal_bin_pattern},
{8,erl_lint,illegal_bin_pattern},
{10,erl_lint,illegal_bin_pattern},
{12,erl_lint,illegal_bin_pattern}],[]}},
{otp_5371_4,
<<"-record(foo, {a,b,c}).
-record(bar, {x,y,z}).
-record(buzz, {x,y}).
a(#foo{a = <<X:8>>,b=x} = #foo{b = <<Y:8>>}) ->
{X,Y}.
b(#foo{a = <<X:8>>} = #bar{y = <<Y:4,Z:4>>}) ->
{X,Y,Z}.
c(#foo{a = <<X:8>>} = #buzz{y = <<Y:8>>}) ->
{X,Y}.
">>,
[],
{warnings,[{4,v3_core,nomatch},
{6,v3_core,nomatch},
{8,v3_core,nomatch}]}}
],
[] = run(Config, Ts),
ok.
%% OTP_7227. Some aliases for bit syntax expressions were still allowed.
otp_7227(Config) when is_list(Config) ->
Ts = [{otp_7227_1,
<<"t([<<A:8>> = {C,D} = <<B:8>>]) ->
{A,B,C,D}.
">>,
[],
{errors,[{1,erl_lint,illegal_bin_pattern}],[]}},
{otp_7227_2,
<<"t([(<<A:8>> = {C,D}) = <<B:8>>]) ->
{A,B,C,D}.
">>,
[],
{errors,[{1,erl_lint,illegal_bin_pattern}],[]}},
{otp_7227_3,
<<"t([(<<A:8>> = {C,D}) = (<<B:8>> = <<C:8>>)]) ->
{A,B,C,D}.
">>,
[],
{errors,[{1,erl_lint,illegal_bin_pattern},
{1,erl_lint,illegal_bin_pattern},
{1,erl_lint,illegal_bin_pattern}],[]}},
{otp_7227_4,
<<"t(Val) ->
<<A:8>> = <<B:8>> = Val,
{A,B}.
">>,
[],
{errors,[{2,erl_lint,illegal_bin_pattern}],[]}},
{otp_7227_5,
<<"t(Val) ->
<<A:8>> = X = <<B:8>> = Val,
{A,B,X}.
">>,
[],
{errors,[{2,erl_lint,illegal_bin_pattern}],[]}},
{otp_7227_6,
<<"t(X, Y) ->
<<A:8>> = <<X:4,Y:4>>,
A.
">>,
[],
[]},
{otp_7227_7,
<<"t(Val) ->
(<<A:8>> = X) = (<<B:8>> = <<A:4,B:4>>) = Val,
{A,B,X}.
">>,
[],
{errors,[{2,erl_lint,illegal_bin_pattern},
{2,erl_lint,illegal_bin_pattern},
{2,erl_lint,illegal_bin_pattern}],[]}},
{otp_7227_8,
<<"t(Val) ->
(<<A:8>> = X) = (Y = <<B:8>>) = Val,
{A,B,X,Y}.
">>,
[],
{errors,[{2,erl_lint,illegal_bin_pattern}],[]}},
{otp_7227_9,
<<"t(Val) ->
(Z = <<A:8>> = X) = (Y = <<B:8>> = W) = Val,
{A,B,X,Y,Z,W}.
">>,
[],
{errors,[{2,erl_lint,illegal_bin_pattern}],[]}}
],
[] = run(Config, Ts),
ok.
%% OTP-5494. Warnings for functions exported more than once.
otp_5494(Config) when is_list(Config) ->
Ts = [{otp_5494_1,
<<"-export([t/0]).
-export([t/0]).
t() -> a.
">>,
[],
{warnings,[{2,erl_lint,{duplicated_export,{t,0}}}]}}],
[] = run(Config, Ts),
ok.
%% OTP-5644. M:F/A in record initialization.
otp_5644(Config) when is_list(Config) ->
%% This test is a no-op. Although {function,mfa,i,1} was
%% transformed into {function,Line,i,1} by copy_expr, the module
%% was never checked (Line is the line number).
%% (OTP-5878: somewhat modified.)
Ts = [{otp_5644,
<<"-record(c, {a = fun ?MODULE:i/1(17)}).
t() ->
#c{}.
i(X) ->
X.
">>,
[],
[]}],
[] = run(Config, Ts),
ok.
%% OTP-5878. Record declaration: forward references, introduced variables.
otp_5878(Config) when is_list(Config) ->
Ts = [{otp_5878_10,
<<"-record(rec1, {a = #rec2{}}).
-record(rec2, {a = #rec1{}}).
t() ->#rec1{}.
">>,
[warn_unused_record],
{error,[{1,erl_lint,{undefined_record,rec2}}],
[{2,erl_lint,{unused_record,rec2}}]}},
{otp_5878_20,
<<"-record(r1, {a = begin A = 4, {A,B} end}). % B unbound
-record(r2, {e = begin A = 3, #r1{} end}).
t() -> #r2{}.
">>,
[warn_unused_record],
{error,[{1,erl_lint,{unbound_var,'B'}},
{1,erl_lint,{variable_in_record_def,'A'}},
{2,erl_lint,{variable_in_record_def,'A'}}],
[{1,erl_lint,{unused_record,r1}}]}},
{otp_5878_30,
<<"-record(r1, {t = case foo of _ -> 3 end}).
-record(r2, {a = case foo of A -> A; _ -> 3 end}).
-record(r3, {a = case foo of A -> A end}).
-record(r4, {a = fun _AllowedFunName() -> allowed end}).
t() -> {#r1{},#r2{},#r3{},#r4{}}.
">>,
[warn_unused_record],
{errors,[{2,erl_lint,{variable_in_record_def,'A'}},
{3,erl_lint,{variable_in_record_def,'A'}}],
[]}},
{otp_5878_40,
<<"-record(r1, {foo = A}). % A unbound
-record(r2, {a = fun(X) -> X end(3)}).
-record(r3, {a = [X || X <- [1,2,3]]}).
t() -> {#r1{},#r2{},#r3{}}.
">>,
[warn_unused_record],
{errors,[{1,erl_lint,{unbound_var,'A'}}],[]}},
{otp_5878_50,
<<"-record(r1, {a = {A, % A unbound
A}}). % A unbound
-record(r2, {a = begin case foo of
A -> A
end,
A
end}).
-record(r3, {a = fun(X) ->
case foo of
A -> A
end
end
}).
-record(r4, {a = case foo of
foo ->
case foo of
A -> A
end;
_ ->
bar
end}).
t() -> {#r1{},#r2{},#r3{},#r4{}}.
">>,
[warn_unused_record],
{error,[{1,erl_lint,{unbound_var,'A'}},
{2,erl_lint,{unbound_var,'A'}},
{4,erl_lint,{variable_in_record_def,'A'}},
{17,erl_lint,{variable_in_record_def,'A'}}],
[{8,erl_lint,{unused_var,'X'}}]}},
{otp_5878_60,
<<"-record(r1, {a = fun(NotShadowing) -> NotShadowing end}).
t() ->
NotShadowing = 17,
{#r1{}, NotShadowing}.
">>,
[warn_unused_record],
[]},
{otp_5878_70,
<<"-record(r1, {a = fun(<<X:8>>) -> X end,
b = case <<17:8>> of
<<_:Y>> -> Y;
<<Y:8>> ->
Y
end}).
t() -> #r1{}.
">>,
[warn_unused_record],
{errors,[{3,erl_lint,{unbound_var,'Y'}},
{4,erl_lint,{variable_in_record_def,'Y'}}],
[]}},
{otp_5878_80,
<<"-record(r, {a = [X || {A,Y} <- [{1,2},V={3,4}],
begin Z = [1,2,3], true end,
X <- Z ++ [A,Y]]}).
t() ->#r{}.
">>,
[warn_unused_record],
{warnings,[{1,erl_lint,{unused_var,'V'}}]}},
{otp_5878_90,
<<"-record(r, {a = foo()}). % unused
t() -> ok.
">>,
[warn_unused_record],
{error,[{1,erl_lint,{undefined_function,{foo,0}}}],
[{1,erl_lint,{unused_record,r}}]}}
],
[] = run(Config, Ts),
Abstr = <<"-module(lint_test, [A, B]).
">>,
{errors,[{1,erl_lint,pmod_unsupported}],[]} =
run_test2(Config, Abstr, [warn_unused_record]),
QLC1 = <<"-module(lint_test).
-include_lib(\"stdlib/include/qlc.hrl\").
-export([t/0]).
-record(r1, {a = qlc:e(qlc:q([X || X <- [1,2,3]]))}).
-record(r2, {a = qlc:q([X || X <- [1,2,3]])}).
-record(r3, {a = qlc:q([X || {A,Y} <- [{1,2},V={3,4}],
begin Z = [1,2,3], true end,
X <- Z ++ [A,Y]])}).
t() -> {#r1{},#r2{},#r3{}}.
">>,
{error,[{8,qlc,{used_generator_variable,'A'}},
{8,qlc,{used_generator_variable,'Y'}},
{8,qlc,{used_generator_variable,'Z'}}],
[{6,erl_lint,{unused_var,'V'}}]} =
run_test2(Config, QLC1, [warn_unused_record]),
Ill1 = <<"-module(lint_test).
-export([t/0]).
-record(r, {a = true}).
-record(r1, {a,b}).
-record(r2, {a = #r1{a = true}}).
-record(r3, {a = A}). % A is unbound
-record(r4, {a = dict:new()}).
t() ->
case x() of
_ when (#r{})#r.a ->
a;
_ when (#r4{})#r.a -> % illegal
b;
_ when (#r3{q = 5})#r.a -> % no warning for unbound A
q;
_ when (#r{q = 5})#r.a ->
a;
_ when (((#r{a = #r2{}})#r.a)#r2.a)#r1.a ->
b;
_ when #r{a = dict:new()} -> % illegal
c;
_ when l() > 3 -> % illegal, does not use l/0...
d;
_ ->
w
end.
l() ->
foo.
x() ->
bar.
">>,
{errors,[{6,erl_lint,{unbound_var,'A'}},
{13,erl_lint,illegal_guard_expr},
{15,erl_lint,{undefined_field,r3,q}},
{17,erl_lint,{undefined_field,r,q}},
{21,erl_lint,illegal_guard_expr},
{23,erl_lint,{illegal_guard_local_call,{l,0}}}],
[]} =
run_test2(Config, Ill1, [warn_unused_record]),
Ill2 = <<"-module(lint_test).
-export([t/0]).
t() ->
case x() of
_ when l()
or
l() ->
foo
end.
">>,
{errors,[{4,erl_lint,{undefined_function,{x,0}}},
{5,erl_lint,illegal_guard_expr},
{7,erl_lint,illegal_guard_expr}],
[]} =
run_test2(Config, Ill2, [warn_unused_record]),
Ill3 = <<"t() -> ok.">>,
{errors,[{1,erl_lint,undefined_module}],[]} =
run_test2(Config, Ill3, [warn_unused_record]),
Usage1 = <<"-module(lint_test).
-export([t/0]).
-record(u1, {a}).
-record(u2, {a = #u1{}}).
-record(u3, {a}). % unused
-record(u4, {a = #u3{}}). % unused
t() ->
{#u2{}}.
">>,
{warnings,[{5,erl_lint,{unused_record,u3}},
{6,erl_lint,{unused_record,u4}}]} =
run_test2(Config, Usage1, [warn_unused_record]),
Usage2 = <<"-module(lint_test).
-export([t/0]).
-record(u1, {a}).
-record(u2, {a = #u1{}}).
-file(\"some_file.hrl\", 1).
-record(u3, {a}). % unused, but on other file
-record(u4, {a = #u3{}}). % -\"-
t() ->
{#u2{}}.
">>,
[] = run_test2(Config, Usage2, [warn_unused_record]),
%% This a completely different story...
%% The linter checks if qlc.hrl hasn't been included
QLC2 = <<"-module(lint_test).
-import(qlc, [q/2]).
-export([t/0]).
t() ->
H1 = qlc:q([X || X <- [1,2]]),
H2 = qlc:q([X || X <- [1,2]], []),
H3 = q([X || X <- [1,2]], []),
{H1,H2,H3}.
">>,
{warnings,[{6,erl_lint,{missing_qlc_hrl,1}},
{7,erl_lint,{missing_qlc_hrl,2}},
{8,erl_lint,{missing_qlc_hrl,2}}]} =
run_test2(Config, QLC2, [warn_unused_record]),
%% Records that are used by types are not unused.
%% (Thanks to Fredrik Thulin and Kostis Sagonas.)
UsedByType = <<"-module(t).
-export([foo/1]).
-record(sipurl, {host :: string()}).
-record(keylist, {list = [] :: [_]}).
-type sip_headers() :: #keylist{}.
-record(request, {uri :: #sipurl{}, header :: sip_headers()}).
foo(#request{}) -> ok.
">>,
[] = run_test2(Config, UsedByType, [warn_unused_record]),
%% Abstract code generated by OTP 18. Note that the type info for
%% record fields has been put in a separate form.
OldAbstract = [{attribute,1,file,{"rec.erl",1}},
{attribute,1,module,rec},
{attribute,3,export,[{t,0}]},
{attribute,7,record,{r,[{record_field,7,{atom,7,f}}]}},
{attribute,7,type,
{{record,r},
[{typed_record_field,
{record_field,7,{atom,7,f}},
{type,7,union,[{atom,7,undefined},{type,7,atom,[]}]}}],
[]}},
{function,9,t,0,[{clause,9,[],[],[{record,10,r,[]}]}]},
{eof,11}],
{error,[{"rec.erl",[{7,erl_lint,old_abstract_code}]}],[]} =
compile_forms(OldAbstract, [return, report]),
ok.
%% OTP-6885. Binary fields in bit syntax matching is now only
%% allowed at the end.
otp_6885(Config) when is_list(Config) ->
Ts = <<"-module(otp_6885).
-export([t/1]).
t(<<_/binary,I>>) -> I;
t(<<X/binary,I:X>>) -> I;
t(<<B/binary,T/binary>>) -> {B,T}.
build(A, B) ->
<<A/binary,B/binary>>.
foo(<<\"abc\"/binary>>) ->
ok;
foo(<<\"abc\":13/integer>>) ->
ok;
foo(<<\"abc\"/float>>) ->
ok;
foo(<<\"abc\":19>>) ->
ok;
foo(<<\"abc\"/utf8>>) ->
ok;
foo(<<\"abc\"/utf16>>) ->
ok;
foo(<<\"abc\"/utf32>>) ->
ok.
">>,
{errors,[{3,erl_lint,unsized_binary_not_at_end},
{4,erl_lint,unsized_binary_not_at_end},
{5,erl_lint,unsized_binary_not_at_end},
{10,erl_lint,typed_literal_string},
{12,erl_lint,typed_literal_string},
{14,erl_lint,typed_literal_string},
{16,erl_lint,typed_literal_string}],
[]} = run_test2(Config, Ts, []),
ok.
%% OTP-6885. Warnings for opaque types.
otp_10436(Config) when is_list(Config) ->
Ts = <<"-module(otp_10436).
-export_type([t1/0]).
-opaque t1() :: {i, integer()}.
-opaque t2() :: {a, atom()}.
">>,
{warnings,[{4,erl_lint,{not_exported_opaque,{t2,0}}},
{4,erl_lint,{unused_type,{t2,0}}}]} =
run_test2(Config, Ts, []),
Ts2 = <<"-module(otp_10436_2).
-export_type([t1/0, t2/0]).
-opaque t1() :: term().
-opaque t2() :: any().
">>,
{warnings,[{3,erl_lint,{underspecified_opaque,{t1,0}}},
{4,erl_lint,{underspecified_opaque,{t2,0}}}]} =
run_test2(Config, Ts2, []),
ok.
%% OTP-11254. M:F/A could crash the linter.
otp_11254(Config) when is_list(Config) ->
Ts = <<"-module(p2).
-export([manifest/2]).
manifest(Module, Name) ->
fun Module:Nine/1.
">>,
{error,[{4,erl_lint,{unbound_var,'Nine'}}],
[{3,erl_lint,{unused_var,'Name'}}]} =
run_test2(Config, Ts, []),
ok.
%% OTP-11772. Reintroduce errors for redefined builtin types.
otp_11772(Config) when is_list(Config) ->
Ts = <<"
-module(newly).
-export([t/0]).
%% Built-in:
-type node() :: node().
-type mfa() :: tuple().
-type gb_tree() :: mfa(). % Allowed since Erlang/OTP 17.0
-type digraph() :: [_]. % Allowed since Erlang/OTP 17.0
-type t() :: mfa() | digraph() | gb_tree() | node().
-spec t() -> t().
t() ->
1.
">>,
{errors,[{7,erl_lint,{builtin_type,{node,0}}},
{8,erl_lint,{builtin_type,{mfa,0}}}],
[]} = run_test2(Config, Ts, []),
ok.
%% OTP-11771. Do not allow redefinition of the types arity(_) &c..
otp_11771(Config) when is_list(Config) ->
Ts = <<"
-module(newly).
-export([t/0]).
%% No longer allowed in 17.0:
-type arity() :: atom().
-type bitstring() :: list().
-type iodata() :: integer().
-type boolean() :: iodata().
-type t() :: arity() | bitstring() | iodata() | boolean().
-spec t() -> t().
t() ->
1.
">>,
{errors,[{7,erl_lint,{builtin_type,{arity,0}}},
{8,erl_lint,{builtin_type,{bitstring,0}}},
{9,erl_lint,{builtin_type,{iodata,0}}},
{10,erl_lint,{builtin_type,{boolean,0}}}],
[]} = run_test2(Config, Ts, []),
ok.
%% OTP-11872. The type map() undefined when exported.
otp_11872(Config) when is_list(Config) ->
Ts = <<"
-module(map).
-export([t/0]).
-export_type([map/0, product/0]).
-opaque map() :: dict().
-spec t() -> map().
t() ->
1.
">>,
{errors,[{6,erl_lint,{undefined_type,{product,0}}},
{8,erl_lint,{builtin_type,{map,0}}}], []} =
run_test2(Config, Ts, []),
ok.
%% OTP-7392. Warning for export_all.
export_all(Config) when is_list(Config) ->
Ts = <<"-module(export_all_module).
-compile([export_all]).
id(I) -> I.
">>,
[] = run_test2(Config, Ts, [nowarn_export_all]),
{warnings,[{2,erl_lint,export_all}]} =
run_test2(Config, Ts, []),
ok.
%% Test warnings for functions that clash with BIFs.
bif_clash(Config) when is_list(Config) ->
Ts = [{clash1,
<<"t(X) ->
size(X).
%% No warning for the following calls, since they
%% are unambigous.
b(X) ->
erlang:size(X).
c(X) ->
?MODULE:size(X).
size({N,_}) ->
N.
">>,
[],
{errors,[{2,erl_lint,{call_to_redefined_old_bif,{size,1}}}],[]}},
%% Verify that warnings can not be turned off in the old way.
{clash2,
<<"-export([t/1,size/1]).
t(X) ->
size(X).
size({N,_}) ->
N.
%% My own abs/1 function works on lists too. From R14 this really works.
abs([H|T]) when $a =< H, H =< $z -> [H-($a-$A)|abs(T)];
abs([H|T]) -> [H|abs(T)];
abs([]) -> [];
abs(X) -> erlang:abs(X).
">>,
{[nowarn_unused_function,nowarn_bif_clash]},
{errors,[{erl_lint,disallowed_nowarn_bif_clash}],[]}},
%% As long as noone calls an overridden BIF, it's totally OK
{clash3,
<<"-export([size/1]).
size({N,_}) ->
N;
size(X) ->
erlang:size(X).
">>,
[],
[]},
%% But this is totally wrong - meaning of the program changed in R14, so this is an error
{clash4,
<<"-export([size/1]).
size({N,_}) ->
N;
size(X) ->
size(X).
">>,
[],
{errors,[{5,erl_lint,{call_to_redefined_old_bif,{size,1}}}],[]}},
%% For a post R14 bif, its only a warning
{clash5,
<<"-export([binary_part/2]).
binary_part({B,_},{X,Y}) ->
binary_part(B,{X,Y});
binary_part(B,{X,Y}) ->
binary:part(B,X,Y).
">>,
[],
{warnings,[{3,erl_lint,{call_to_redefined_bif,{binary_part,2}}}]}},
%% If you really mean to call yourself here, you can "unimport" size/1
{clash6,
<<"-export([size/1]).
-compile({no_auto_import,[size/1]}).
size([]) ->
0;
size({N,_}) ->
N;
size([_|T]) ->
1+size(T).
">>,
[],
[]},
%% Same for the post R14 autoimport warning
{clash7,
<<"-export([binary_part/2]).
-compile({no_auto_import,[binary_part/2]}).
binary_part({B,_},{X,Y}) ->
binary_part(B,{X,Y});
binary_part(B,{X,Y}) ->
binary:part(B,X,Y).
">>,
[],
[]},
%% but this doesn't mean the local function is allowed in a guard...
{clash8,
<<"-export([x/1]).
-compile({no_auto_import,[binary_part/2]}).
x(X) when binary_part(X,{1,2}) =:= <<1,2>> ->
hej.
binary_part({B,_},{X,Y}) ->
binary_part(B,{X,Y});
binary_part(B,{X,Y}) ->
binary:part(B,X,Y).
">>,
[],
{errors,[{3,erl_lint,{illegal_guard_local_call,{binary_part,2}}}],[]}},
%% no_auto_import is not like nowarn_bif_clash, it actually removes the autoimport
{clash9,
<<"-export([x/1]).
-compile({no_auto_import,[binary_part/2]}).
x(X) ->
binary_part(X,{1,2}) =:= <<1,2>>.
">>,
[],
{errors,[{4,erl_lint,{undefined_function,{binary_part,2}}}],[]}},
%% but we could import it again...
{clash10,
<<"-export([x/1]).
-compile({no_auto_import,[binary_part/2]}).
-import(erlang,[binary_part/2]).
x(X) ->
binary_part(X,{1,2}) =:= <<1,2>>.
">>,
[],
[]},
%% and actually use it in a guard...
{clash11,
<<"-export([x/1]).
-compile({no_auto_import,[binary_part/2]}).
-import(erlang,[binary_part/2]).
x(X) when binary_part(X,{0,1}) =:= <<0>> ->
binary_part(X,{1,2}) =:= <<1,2>>.
">>,
[],
[]},
%% but for non-obvious historical reasons, imported functions cannot be used in
%% fun construction without the module name...
{clash12,
<<"-export([x/1]).
-compile({no_auto_import,[binary_part/2]}).
-import(erlang,[binary_part/2]).
x(X) when binary_part(X,{0,1}) =:= <<0>> ->
binary_part(X,{1,2}) =:= fun binary_part/2.
">>,
[],
{errors,[{5,erl_lint,{undefined_function,{binary_part,2}}}],[]}},
%% Not from erlang and not from anywhere else
{clash13,
<<"-export([x/1]).
-compile({no_auto_import,[binary_part/2]}).
-import(x,[binary_part/2]).
x(X) ->
binary_part(X,{1,2}) =:= fun binary_part/2.
">>,
[],
{errors,[{5,erl_lint,{undefined_function,{binary_part,2}}}],[]}},
%% ...while real auto-import is OK.
{clash14,
<<"-export([x/1]).
x(X) when binary_part(X,{0,1}) =:= <<0>> ->
binary_part(X,{1,2}) =:= fun binary_part/2.
">>,
[],
[]},
%% Import directive clashing with old bif is an error, regardless of if it's called or not
{clash15,
<<"-export([x/1]).
-import(x,[abs/1]).
x(X) ->
binary_part(X,{1,2}).
">>,
[],
{errors,[{2,erl_lint,{redefine_old_bif_import,{abs,1}}}],[]}},
%% For a new BIF, it's only a warning
{clash16,
<<"-export([x/1]).
-import(x,[binary_part/3]).
x(X) ->
abs(X).
">>,
[],
{warnings,[{2,erl_lint,{redefine_bif_import,{binary_part,3}}}]}},
%% And, you cannot redefine already imported things that aren't auto-imported
{clash17,
<<"-export([x/1]).
-import(x,[binary_port/3]).
-import(y,[binary_port/3]).
x(X) ->
abs(X).
">>,
[],
{errors,[{3,erl_lint,{redefine_import,{{binary_port,3},x}}}],[]}},
%% Not with local functions either
{clash18,
<<"-export([x/1]).
-import(x,[binary_port/3]).
binary_port(A,B,C) ->
binary_part(A,B,C).
x(X) ->
abs(X).
">>,
[],
{errors,[{3,erl_lint,{define_import,{binary_port,3}}}],[]}},
%% Like clash8: Dont accept a guard if it's explicitly module-name called either
{clash19,
<<"-export([binary_port/3]).
-compile({no_auto_import,[binary_part/3]}).
-import(x,[binary_part/3]).
binary_port(A,B,C) when x:binary_part(A,B,C) ->
binary_part(A,B,C+1).
">>,
[],
{errors,[{4,erl_lint,illegal_guard_expr}],[]}},
%% Not with local functions either
{clash20,
<<"-export([binary_port/3]).
-import(x,[binary_part/3]).
binary_port(A,B,C) ->
binary_part(A,B,C).
">>,
[warn_unused_import],
{warnings,[{2,erl_lint,{redefine_bif_import,{binary_part,3}}}]}},
%% Don't accept call to a guard BIF if there is a local definition
%% or an import with the same name. Note: is_record/2 is an
%% exception, since it is more of syntatic sugar than a real BIF.
{clash21,
<<"-export([is_list/1]).
-import(x, [is_tuple/1]).
-record(r, {a,b}).
x(T) when is_tuple(T) -> ok;
x(T) when is_list(T) -> ok.
y(T) when is_tuple(T) =:= true -> ok;
y(T) when is_list(T) =:= true -> ok;
y(T) when is_record(T, r, 3) -> ok;
y(T) when is_record(T, r, 3) =:= true -> ok;
y(T) when is_record(T, r) =:= true -> ok.
is_list(_) ->
ok.
is_record(_, _) ->
ok.
is_record(_, _, _) ->
ok.
">>,
[{no_auto_import,[{is_tuple,1}]}],
{errors,[{4,erl_lint,{illegal_guard_local_call,{is_tuple,1}}},
{5,erl_lint,{illegal_guard_local_call,{is_list,1}}},
{6,erl_lint,{illegal_guard_local_call,{is_tuple,1}}},
{7,erl_lint,{illegal_guard_local_call,{is_list,1}}},
{8,erl_lint,{illegal_guard_local_call,{is_record,3}}},
{9,erl_lint,{illegal_guard_local_call,{is_record,3}}}],[]}},
%% We can also suppress all auto imports at once
{clash22,
<<"-export([size/1, binary_part/2]).
-compile(no_auto_import).
size([]) ->
0;
size({N,_}) ->
N;
size([_|T]) ->
1+size(T).
binary_part({B,_},{X,Y}) ->
binary_part(B,{X,Y});
binary_part(B,{X,Y}) ->
binary:part(B,X,Y).
">>,
[],
[]}
],
[] = run(Config, Ts),
ok.
%% Basic tests with one behaviour.
behaviour_basic(Config) when is_list(Config) ->
Ts = [{behaviour1,
<<"-behaviour(application).
">>,
[],
{warnings,[{1,erl_lint,{undefined_behaviour_func,{start,2},application}},
{1,erl_lint,{undefined_behaviour_func,{stop,1},application}}]}},
{behaviour2,
<<"-behaviour(application).
-export([stop/1]).
stop(_) -> ok.
">>,
[],
{warnings,[{1,erl_lint,{undefined_behaviour_func,{start,2},application}}]}},
{behaviour3,
<<"-behavior(application). %% Test American spelling.
-export([start/2,stop/1]).
start(_, _) -> ok.
stop(_) -> ok.
">>,
[],
[]},
{behaviour4,
<<"-behavior(application). %% Test callbacks with export_all
-compile([export_all, nowarn_export_all]).
stop(_) -> ok.
">>,
[],
{warnings,[{1,erl_lint,{undefined_behaviour_func,{start,2},application}}]}}
],
[] = run(Config, Ts),
ok.
%% Basic tests with multiple behaviours.
behaviour_multiple(Config) when is_list(Config) ->
Ts = [{behaviour1,
<<"-behaviour(application).
-behaviour(supervisor).
">>,
[],
{warnings,[{1,erl_lint,{undefined_behaviour_func,{start,2},application}},
{1,erl_lint,{undefined_behaviour_func,{stop,1},application}},
{2,erl_lint,{undefined_behaviour_func,{init,1},supervisor}}]}},
{behaviour2,
<<"-behaviour(application).
-behaviour(supervisor).
-export([start/2,stop/1,init/1]).
start(_, _) -> ok.
stop(_) -> ok.
init(_) -> ok.
">>,
[],
[]},
{american_behavior2,
<<"-behavior(application).
-behavior(supervisor).
-export([start/2,stop/1,init/1]).
start(_, _) -> ok.
stop(_) -> ok.
init(_) -> ok.
">>,
[],
[]},
{behaviour3,
<<"-behaviour(gen_server).
-behaviour(supervisor).
-export([handle_call/3,handle_cast/2,handle_info/2]).
handle_call(_, _, _) -> ok.
handle_cast(_, _) -> ok.
handle_info(_, _) -> ok.
">>,
[],
{warnings,[{1,erl_lint,
{undefined_behaviour_func,{code_change,3},gen_server}},
{1,erl_lint,{undefined_behaviour_func,{init,1},gen_server}},
{1,erl_lint,{undefined_behaviour_func,{terminate,2},gen_server}},
{2,erl_lint,{undefined_behaviour_func,{init,1},supervisor}},
{2,
erl_lint,
{conflicting_behaviours,{init,1},supervisor,1,gen_server}}]}},
{american_behavior3,
<<"-behavior(gen_server).
-behavior(supervisor).
-export([handle_call/3,handle_cast/2,handle_info/2]).
handle_call(_, _, _) -> ok.
handle_cast(_, _) -> ok.
handle_info(_, _) -> ok.
">>,
[],
{warnings,[{1,erl_lint,
{undefined_behaviour_func,{code_change,3},gen_server}},
{1,erl_lint,{undefined_behaviour_func,{init,1},gen_server}},
{1,erl_lint,{undefined_behaviour_func,{terminate,2},gen_server}},
{2,erl_lint,{undefined_behaviour_func,{init,1},supervisor}},
{2,
erl_lint,
{conflicting_behaviours,{init,1},supervisor,1,gen_server}}]}},
{behaviour4,
<<"-behaviour(gen_server).
-behaviour(gen_fsm).
-behaviour(supervisor).
-export([init/1,handle_call/3,handle_cast/2,
handle_info/2,handle_info/3,
handle_event/3,handle_sync_event/4,
code_change/3,code_change/4,
terminate/2,terminate/3,terminate/4]).
init(_) -> ok.
handle_call(_, _, _) -> ok.
handle_event(_, _, _) -> ok.
handle_sync_event(_, _, _, _) -> ok.
handle_cast(_, _) -> ok.
handle_info(_, _) -> ok.
handle_info(_, _, _) -> ok.
code_change(_, _, _) -> ok.
code_change(_, _, _, _) -> ok.
terminate(_, _) -> ok.
terminate(_, _, _) -> ok.
terminate(_, _, _, _) -> ok.
">>,
[],
{warnings,[{2,
erl_lint,
{conflicting_behaviours,{init,1},gen_fsm,1,gen_server}},
{3,
erl_lint,
{conflicting_behaviours,{init,1},supervisor,1,gen_server}}]}}
],
[] = run(Config, Ts),
ok.
%% OTP-11861. behaviour_info() and -callback.
otp_11861(Conf) when is_list(Conf) ->
CallbackFiles = [callback1, callback2, callback3,
bad_behaviour1, bad_behaviour2],
lists:foreach(fun(M) ->
F = filename:join(?datadir, M),
Opts = [{outdir,?privdir}, return],
{ok, M, []} = compile:file(F, Opts)
end, CallbackFiles),
CodePath = code:get_path(),
true = code:add_path(?privdir),
Ts = [{otp_11861_1,
<<"
-export([b1/1]).
-behaviour(callback1).
-behaviour(callback2).
-spec b1(atom()) -> integer().
b1(A) when is_atom(A)->
3.
">>,
[],
%% b2/1 is optional in both modules
{warnings,[{4,erl_lint,
{conflicting_behaviours,{b1,1},callback2,3,callback1}}]}},
{otp_11861_2,
<<"
-export([b2/1]).
-behaviour(callback1).
-behaviour(callback2).
-spec b2(integer()) -> atom().
b2(I) when is_integer(I)->
a.
">>,
[],
%% b2/1 is optional in callback2, but not in callback1
{warnings,[{3,erl_lint,{undefined_behaviour_func,{b1,1},callback1}},
{4,erl_lint,
{conflicting_behaviours,{b2,1},callback2,3,callback1}}]}},
{otp_11861_3,
<<"
-callback b(_) -> atom().
-optional_callbacks({b1,1}). % non-existing and ignored
">>,
[],
[]},
{otp_11861_4,
<<"
-callback b(_) -> atom().
-optional_callbacks([{b1,1}]). % non-existing
">>,
[],
%% No behaviour-info(), but callback.
{errors,[{3,erl_lint,{undefined_callback,{lint_test,b1,1}}}],[]}},
{otp_11861_5,
<<"
-optional_callbacks([{b1,1}]). % non-existing
">>,
[],
%% No behaviour-info() and no callback: warning anyway
{errors,[{2,erl_lint,{undefined_callback,{lint_test,b1,1}}}],[]}},
{otp_11861_6,
<<"
-optional_callbacks([b1/1]). % non-existing
behaviour_info(callbacks) -> [{b1,1}].
">>,
[],
%% behaviour-info() and no callback: warning anyway
{errors,[{2,erl_lint,{undefined_callback,{lint_test,b1,1}}}],[]}},
{otp_11861_7,
<<"
-optional_callbacks([b1/1]). % non-existing
-callback b(_) -> atom().
behaviour_info(callbacks) -> [{b1,1}].
">>,
[],
%% behaviour-info() callback: warning
{errors,[{2,erl_lint,{undefined_callback,{lint_test,b1,1}}},
{3,erl_lint,{behaviour_info,{lint_test,b,1}}}],
[]}},
{otp_11861_8,
<<"
-callback b(_) -> atom().
-optional_callbacks([b/1, {b, 1}]).
">>,
[],
{errors,[{3,erl_lint,{redefine_optional_callback,{b,1}}}],[]}},
{otp_11861_9,
<<"
-behaviour(gen_server).
-export([handle_call/3,handle_cast/2,handle_info/2,
code_change/3, init/1, terminate/2]).
handle_call(_, _, _) -> ok.
handle_cast(_, _) -> ok.
handle_info(_, _) -> ok.
code_change(_, _, _) -> ok.
init(_) -> ok.
terminate(_, _) -> ok.
">>,
[],
[]},
{otp_11861_9,
<<"
-behaviour(gen_server).
-export([handle_call/3,handle_cast/2,handle_info/2,
code_change/3, init/1, terminate/2, format_status/2]).
handle_call(_, _, _) -> ok.
handle_cast(_, _) -> ok.
handle_info(_, _) -> ok.
code_change(_, _, _) -> ok.
init(_) -> ok.
terminate(_, _) -> ok.
format_status(_, _) -> ok. % optional callback
">>,
[],
%% Nothing...
[]},
{otp_11861_10,
<<"
-optional_callbacks([{b1,1,bad}]). % badly formed and ignored
behaviour_info(callbacks) -> [{b1,1}].
">>,
[],
[]},
{otp_11861_11,
<<"
-behaviour(bad_behaviour1).
">>,
[],
{warnings,[{2,erl_lint,
{ill_defined_behaviour_callbacks,bad_behaviour1}}]}},
{otp_11861_12,
<<"
-behaviour(non_existing_behaviour).
">>,
[],
{warnings,[{2,erl_lint,
{undefined_behaviour,non_existing_behaviour}}]}},
{otp_11861_13,
<<"
-behaviour(bad_behaviour_none).
">>,
[],
{warnings,[{2,erl_lint,{undefined_behaviour,bad_behaviour_none}}]}},
{otp_11861_14,
<<"
-callback b(_) -> atom().
">>,
[],
[]},
{otp_11861_15,
<<"
-optional_callbacks([{b1,1,bad}]). % badly formed
-callback b(_) -> atom().
">>,
[],
[]},
{otp_11861_16,
<<"
-callback b(_) -> atom().
-callback b(_) -> atom().
">>,
[],
{errors,[{3,erl_lint,{redefine_callback,{b,1}}}],[]}},
{otp_11861_17,
<<"
-behaviour(bad_behaviour2).
">>,
[],
{warnings,[{2,erl_lint,{undefined_behaviour_callbacks,
bad_behaviour2}}]}},
{otp_11861_18,
<<"
-export([f1/1]).
-behaviour(callback3).
f1(_) -> ok.
">>,
[],
[]}
],
[] = run(Conf, Ts),
true = code:set_path(CodePath),
ok.
%% Test that the new utf8/utf16/utf32 types do not allow size or
%% unit specifiers.
otp_7550(Config) when is_list(Config) ->
Ts = [{otp_7550,
<<"f8(A) ->
<<A:8/utf8>>.
g8(A) ->
<<A:8/utf8-unit:1>>.
h8(A) ->
<<A/utf8-unit:1>>.
f16(A) ->
<<A:8/utf16>>.
g16(A) ->
<<A:8/utf16-unit:1>>.
h16(A) ->
<<A/utf16-unit:1>>.
f32(A) ->
<<A:8/utf32>>.
g32(A) ->
<<A:8/utf32-unit:1>>.
h32(A) ->
<<A/utf32-unit:1>>.
">>,
[],
{errors,[{2,erl_lint,utf_bittype_size_or_unit},
{4,erl_lint,utf_bittype_size_or_unit},
{6,erl_lint,utf_bittype_size_or_unit},
{9,erl_lint,utf_bittype_size_or_unit},
{11,erl_lint,utf_bittype_size_or_unit},
{13,erl_lint,utf_bittype_size_or_unit},
{16,erl_lint,utf_bittype_size_or_unit},
{18,erl_lint,utf_bittype_size_or_unit},
{20,erl_lint,utf_bittype_size_or_unit}
],
[]}}],
[] = run(Config, Ts),
ok.
%% Bugfix: -opaque with invalid type.
otp_8051(Config) when is_list(Config) ->
Ts = [{otp_8051,
<<"-opaque foo() :: bar().
-export_type([foo/0]).
">>,
[],
{errors,[{1,erl_lint,{undefined_type,{bar,0}}}],[]}}],
[] = run(Config, Ts),
ok.
%% Check that format warnings are generated.
format_warn(Config) when is_list(Config) ->
L1 = 14,
L2 = 4,
format_level(1, L1, Config),
format_level(2, L1+L2, Config),
format_level(3, L1+L2, Config), %there is no level 3
ok.
format_level(Level, Count, Config) ->
W = get_compilation_result(Config, "format",
[{warn_format, Level}]),
%% Pick out the 'format' warnings.
FW = lists:filter(fun({_Line, erl_lint, {format_error, _}}) -> true;
(_) -> false
end,
W),
case length(FW) of
Count ->
ok;
Other ->
io:format("Expected ~w warning(s); got ~w", [Count,Other]),
fail()
end,
ok.
%% Test the -on_load(Name/0) directive.
on_load_successful(Config) when is_list(Config) ->
Ts = [{on_load_1,
%% Exported on_load function.
<<"-export([do_on_load/0]).
-on_load(do_on_load/0).
do_on_load() -> ok.
">>,
{[]}, %Tuple indicates no 'export_all'.
[]},
{on_load_2,
%% Local on_load function.
<<"-on_load(do_on_load/0).
do_on_load() -> ok.
">>,
{[]}, %Tuple indicates no 'export_all'.
[]},
{on_load_3,
%% Local on_load function, calling other local functions.
<<"-on_load(do_on_load/0).
do_on_load() -> foo().
foo() -> bar(5) + 42.
bar(N) -> 2*N.
">>,
{[]}, %Tuple indicates no 'export_all'.
[]}
],
[] = run(Config, Ts),
ok.
on_load_failing(Config) when is_list(Config) ->
Ts = [{on_load_1,
%% Badly formed.
<<"-on_load(atom).
">>,
{[]}, %Tuple indicates no 'export_all'.
{errors,
[{1,erl_lint,{bad_on_load,atom}}],[]}},
{on_load_2,
%% Badly formed.
<<"-on_load({42,0}).
">>,
{[]}, %Tuple indicates no 'export_all'.
{errors,
[{1,erl_lint,{bad_on_load,{42,0}}}],[]}},
{on_load_3,
%% Multiple on_load attributes.
<<"-on_load(foo/0).
-on_load(bar/0).
foo() -> ok.
bar() -> ok.
">>,
{[]}, %Tuple indicates no 'export_all'.
{errors,
[{2,erl_lint,multiple_on_loads}],[]}},
{on_load_4,
%% Wrong arity.
<<"-on_load(foo/1).
foo(_) -> ok.
">>,
{[]}, %Tuple indicates no 'export_all'.
{errors,
[{1,erl_lint,{bad_on_load_arity,{foo,1}}}],[]}},
{on_load_5,
%% Non-existing function.
<<"-on_load(non_existing/0).
">>,
{[]}, %Tuple indicates no 'export_all'.
{errors,
[{1,erl_lint,{undefined_on_load,{non_existing,0}}}],[]}}
],
[] = run(Config, Ts),
ok.
%% Test that too many arguments is not accepted.
too_many_arguments(Config) when is_list(Config) ->
Ts = [{too_many_1,
<<"f(_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_) -> ok.">>,
[],
{errors,
[{1,erl_lint,{too_many_arguments,256}}],[]}}
],
[] = run(Config, Ts),
ok.
%% Test some basic errors to improve coverage.
basic_errors(Config) ->
Ts = [{redefine_module,
<<"-module(redefine_module).">>,
[],
{errors,[{1,erl_lint,redefine_module}],[]}},
{attr_after_function,
<<"f() -> ok.
-attr(x).">>,
[],
{errors,[{2,erl_lint,{attribute,attr}}],[]}},
{redefine_function,
<<"f() -> ok.
f() -> ok.">>,
[],
{errors,[{2,erl_lint,{redefine_function,{f,0}}}],[]}},
{redefine_record,
<<"-record(r, {a}).
-record(r, {a}).
f(#r{}) -> ok.">>,
[],
{errors,[{2,erl_lint,{redefine_record,r}}],[]}},
{illegal_record_info,
<<"f1() -> record_info(42, record).
f2() -> record_info(shoe_size, record).">>,
[],
{errors,[{1,erl_lint,illegal_record_info},
{2,erl_lint,illegal_record_info}],[]}},
{illegal_expr,
<<"f() -> a:b.">>,
[],
{errors,[{1,erl_lint,illegal_expr}],[]}},
{illegal_pattern,
<<"f(A+B) -> ok.">>,
[],
{errors,[{1,erl_lint,illegal_pattern}],[]}}
],
[] = run(Config, Ts),
ok.
%% Test binary syntax errors
bin_syntax_errors(Config) ->
Ts = [{bin_syntax_errors,
<<"t(<<X:bad_size>>) -> X;
t(<<_:(x ! y)/integer>>) -> ok;
t(<<X:all/integer>>) -> X;
t(<<X/bad_type>>) -> X;
t(<<X/unit:8>>) -> X;
t(<<X:7/float>>) -> X;
t(<< <<_:8>> >>) -> ok;
t(<<(x ! y):8/integer>>) -> ok;
t(X) ->
{<<X/binary-integer>>,<<X/signed-unsigned-integer>>,
<<X/little-big>>,<<X/unit:4-unit:8>>}.
">>,
[],
{error,[{1,erl_lint,illegal_bitsize},
{2,erl_lint,illegal_bitsize},
{3,erl_lint,illegal_bitsize},
{4,erl_lint,{undefined_bittype,bad_type}},
{5,erl_lint,bittype_unit},
{7,erl_lint,illegal_pattern},
{8,erl_lint,illegal_pattern},
{10,erl_lint,{bittype_mismatch,integer,binary,"type"}},
{10,erl_lint,{bittype_mismatch,unsigned,signed,"sign"}},
{11,erl_lint,{bittype_mismatch,8,4,"unit"}},
{11,erl_lint,{bittype_mismatch,big,little,"endianness"}}
],
[{6,erl_lint,{bad_bitsize,"float"}}]}}
],
[] = run(Config, Ts),
ok.
%% OTP-10342: No longer predefined types: array(), digraph(), and so on.
predef(Config) when is_list(Config) ->
W = get_compilation_result(Config, "predef", []),
[] = W,
%% dict(), digraph() and so on were removed in Erlang/OTP 18.0.
E2 = get_compilation_result(Config, "predef2", []),
Tag = undefined_type,
{[{7,erl_lint,{Tag,{array,0}}},
{12,erl_lint,{Tag,{dict,0}}},
{17,erl_lint,{Tag,{digraph,0}}},
{27,erl_lint,{Tag,{gb_set,0}}},
{32,erl_lint,{Tag,{gb_tree,0}}},
{37,erl_lint,{Tag,{queue,0}}},
{42,erl_lint,{Tag,{set,0}}},
{47,erl_lint,{Tag,{tid,0}}}],[]} = E2,
ok.
maps(Config) ->
Ts = [{illegal_map_construction,
<<"t() ->
#{ a := b,
c => d,
e := f
}#{ a := b,
c => d,
e := f };
t() when is_map(#{ a := b,
c => d
}#{ a := b,
c => d,
e := f }) ->
ok.
">>,
[],
{errors,[{2,erl_lint,illegal_map_construction},
{4,erl_lint,illegal_map_construction},
{8,erl_lint,illegal_map_construction}],
[]}},
{illegal_pattern,
<<"t(#{ a := A,
c => d,
e := F,
g := 1 + 1,
h := _,
i := (_X = _Y),
j := (x ! y),
<<0:300>> := 33}) ->
{A,F}.
">>,
[],
{errors,[{2,erl_lint,illegal_pattern},
{7,erl_lint,illegal_pattern}],
[]}},
{error_in_illegal_map_construction,
<<"t() -> #{ a := X }.">>,
[],
{errors,[{1,erl_lint,illegal_map_construction},
{1,erl_lint,{unbound_var,'X'}}],
[]}},
{legal_map_pattern,
<<"
-record(mapkey, {a=1,b=2}).
t(M,K1) ->
#{ a := 1,
$a := 1, $z := 99,
#{a=>val} := 2,
K1 := 1337,
#mapkey{a = 10} := wat,
#{{a,val}=>val} := 2,
#{ \"hi\" => wazzup, hi => ho } := yep,
ok := 1.0,
[3+3] := nope,
1.0 := yep,
{3.0+3} := nope,
{yep} := yep
} = M.
">>,
[],
[]},
{legal_map_construction,
<<"t(V) -> #{ a => 1,
#{a=>V} => 2,
#{{a,V}=>V} => 2,
#{ \"hi\" => wazzup, hi => ho } => yep,
[try a catch _:_ -> b end] => nope,
ok => 1.0,
[3+3] => nope,
1.0 => yep,
{3.0+3} => nope,
{yep} => yep,
[case a of a -> a end] => nope
}.
">>,
[],
[]},
{errors_in_map_keys_pattern,
<<"t(#{ a := 2,
#{} := A,
#{ 3 => 33 } := hi,
#{ 3 := 33 } := hi,
#{ hi => 54, \"hello\" => 45 } := hi,
#{ V => 33 } := hi }) ->
A.
">>,
[],
{errors,[{4,erl_lint,illegal_map_construction},
{6,erl_lint,illegal_map_key}],[]}},
{unused_vars_with_empty_maps,
<<"t(Foo, Bar, Baz) -> {#{},#{}}.">>,
[warn_unused_variables],
{warnings,[{1,erl_lint,{unused_var,'Bar'}},
{1,erl_lint,{unused_var,'Baz'}},
{1,erl_lint,{unused_var,'Foo'}}]}}],
[] = run(Config, Ts),
ok.
maps_type(Config) when is_list(Config) ->
Ts = [
{maps_type1,
<<"
-type m() :: #{a => integer()}.
-spec t1(#{k=>term()}) -> {term(), map()}.
t1(#{k:=V}=M) -> {V,M}.
-spec t2(m()) -> integer().
t2(#{a:=V}) -> V.
">>,
[],
[]},
{maps_type2,
<<"
%% Built-in var arity map type:
-type map() :: tuple().
-type a() :: map().
-spec t(a()) -> a().
t(M) -> M.
">>,
[],
{errors,[{3,erl_lint,{builtin_type,{map,0}}}],[]}}],
[] = run(Config, Ts),
ok.
maps_parallel_match(Config) when is_list(Config) ->
Ts = [{parallel_map_patterns_unbound1,
<<"
t(#{} = M) ->
#{K := V} = #{k := K} = M,
V.
">>,
[],
{errors,[{3,erl_lint,{unbound_var,'K'}}],[]}},
{parallel_map_patterns_unbound2,
<<"
t(#{} = M) ->
#{K1 := V1} =
#{K2 := V2} =
#{k1 := K1,k2 := K2} = M,
[V1,V2].
">>,
[],
{errors,[{3,erl_lint,{unbound_var,'K1'}},
{3,erl_lint,{unbound_var,'K1'}},
{4,erl_lint,{unbound_var,'K2'}},
{4,erl_lint,{unbound_var,'K2'}}],[]}},
{parallel_map_patterns_bound,
<<"
t(#{} = M,K1,K2) ->
#{K1 := V1} =
#{K2 := V2} =
#{k1 := K1,k2 := K2} = M,
[V1,V2].
">>,
[],
[]},
{parallel_map_patterns_literal,
<<"
t(#{} = M) ->
#{k1 := V1} =
#{k2 := V2} =
#{k1 := V1,k2 := V2} = M,
[V1,V2].
">>,
[],
[]}],
[] = run(Config, Ts),
ok.
%% OTP-11851: More atoms can be used as type names + bug fixes.
otp_11851(Config) when is_list(Config) ->
Ts = [
{otp_11851_1,
<<"-export([t/0]).
-type range(A, B) :: A | B.
-type union(A) :: A.
-type product() :: integer().
-type tuple(A) :: A.
-type map(A) :: A.
-type record() :: a | b.
-type integer(A) :: A.
-type atom(A) :: A.
-type binary(A, B) :: A | B.
-type 'fun'() :: integer().
-type 'fun'(X) :: X.
-type 'fun'(X, Y) :: X | Y.
-type all() :: range(atom(), integer()) | union(pid()) | product()
| tuple(reference()) | map(function()) | record()
| integer(atom()) | atom(integer())
| binary(pid(), tuple()) | 'fun'(port())
| 'fun'() | 'fun'(<<>>, 'none').
-spec t() -> all().
t() ->
a.
">>,
[],
[]},
{otp_11851_2,
<<"-export([a/1, b/1, t/0]).
-callback b(_) -> integer().
-callback ?MODULE:a(_) -> integer().
a(_) -> 3.
b(_) -> a.
t()-> a.
">>,
[],
{errors,[{5,erl_lint,{bad_callback,{lint_test,a,1}}}],[]}},
{otp_11851_3,
<<"-export([a/1]).
-spec a(_A) -> boolean() when
_ :: atom(),
_A :: integer().
a(_) -> true.
">>,
[],
{errors,[{4,erl_parse,"bad type variable"}],[]}},
{otp_11851_4,
<<"
-spec a(_) -> ok.
-spec a(_) -> ok.
-spec ?MODULE:a(_) -> ok.
-spec ?MODULE:a(_) -> ok.
">>,
[],
{errors,[{3,erl_lint,{redefine_spec,{a,1}}},
{5,erl_lint,{redefine_spec,{lint_test,a,1}}},
{6,erl_lint,{redefine_spec,{lint_test,a,1}}},
{6,erl_lint,{spec_fun_undefined,{a,1}}}],
[]}}
],
[] = run(Config, Ts),
ok.
%% OTP-11879: The -spec f/a :: (As) -> B; syntax removed,
%% and is_subtype/2 deprecated.
otp_11879(_Config) ->
Fs = [{attribute,0,file,{"file.erl",0}},
{attribute,0,module,m},
{attribute,1,spec,
{{f,1},
[{type,2,'fun',[{type,3,product,[{var,4,'V1'},
{var,5,'V1'}]},
{type,6,integer,[]}]}]}},
{attribute,20,callback,
{{cb,21},
[{type,22,'fun',[{type,23,product,[{var,24,'V1'},
{var,25,'V1'}]},
{type,6,integer,[]}]}]}}],
{error,[{"file.erl",
[{1,erl_lint,{spec_fun_undefined,{f,1}}},
{2,erl_lint,spec_wrong_arity},
{22,erl_lint,callback_wrong_arity}]}],
[]} = compile_forms(Fs, [return,report]),
ok.
compile_forms(Terms, Opts) ->
Forms = [erl_parse:anno_from_term(Term) || Term <- Terms],
compile:forms(Forms, Opts).
%% OTP-13230: -deprecated without -module.
otp_13230(Config) when is_list(Config) ->
Abstr = <<"-deprecated([{frutt,0,next_version}]).">>,
{errors,[{1,erl_lint,undefined_module},
{1,erl_lint,{bad_deprecated,{frutt,0}}}],
[]} = run_test2(Config, Abstr, []),
ok.
record_errors(Config) when is_list(Config) ->
Ts = [{rec1,
<<"-record(r, {a,b}).
b() -> #r{a=foo,b=42,a=bar}.
u(R) -> R#r{a=1,b=2,a=2}.
">>,
[],
{errors,[{2,erl_lint,{redefine_field,r,a}},
{3,erl_lint,{redefine_field,r,a}}],[]}}],
run(Config, Ts).
otp_11879_cont(Config) ->
Ts = [{constraint1,
<<"-export([t/1]).
-spec t(X) -> X when is_subtype(integer()).
t(a) -> foo:bar().
">>,
[],
{errors,
[{2,erl_parse,"unsupported constraint " ++ ["is_subtype"]}],
[]}},
{constraint2,
<<"-export([t/1]).
-spec t(X) -> X when bad_atom(X, integer()).
t(a) -> foo:bar().
">>,
[],
{errors,
[{2,erl_parse,"unsupported constraint " ++ ["bad_atom"]}],
[]}},
{constraint3,
<<"-export([t/1]).
-spec t(X) -> X when is_subtype(bad_variable, integer()).
t(a) -> foo:bar().
">>,
[],
{errors,[{2,erl_parse,"bad type variable"}],[]}},
{constraint4,
<<"-export([t/1]).
-spec t(X) -> X when is_subtype(atom(), integer()).
t(a) -> foo:bar().
">>,
[],
{errors,[{2,erl_parse,"bad type variable"}],[]}},
{constraint5,
<<"-export([t/1]).
-spec t(X) -> X when is_subtype(X, integer()).
t(a) -> foo:bar().
">>,
[],
[]},
{constraint6,
<<"-export([t/1]).
-spec t(X) -> X when X :: integer().
t(a) -> foo:bar().
">>,
[],
[]}],
run(Config, Ts).
%% OTP-14285: We currently don't support non-latin1 module names.
non_latin1_module(_Config) ->
do_non_latin1_module('юникод'),
do_non_latin1_module(list_to_atom([256,$a,$b,$c])),
do_non_latin1_module(list_to_atom([$a,$b,256,$c])),
ok.
do_non_latin1_module(Mod) ->
File = atom_to_list(Mod) ++ ".erl",
Forms = [{attribute,1,file,{File,1}},
{attribute,1,module,Mod},
{eof,2}],
error = compile:forms(Forms),
{error,_,[]} = compile:forms(Forms, [return]),
ok.
%% OTP-14323: Check the dialyzer attribute.
otp_14323(Config) ->
Ts = [
{otp_14323_1,
<<"-import(mod, [m/1]).
-export([f/0, g/0, h/0]).
-dialyzer({nowarn_function,module_info/0}). % undefined function
-dialyzer({nowarn_function,record_info/2}). % undefined function
-dialyzer({nowarn_function,m/1}). % undefined function
-dialyzer(nowarn_function). % unknown option
-dialyzer(1). % badly formed
-dialyzer(malformed). % unkonwn option
-dialyzer({malformed,f/0}). % unkonwn option
-dialyzer({nowarn_function,a/1}). % undefined function
-dialyzer({nowarn_function,{a,-1}}). % badly formed
-dialyzer([no_return, no_match]).
-dialyzer({nowarn_function, f/0}).
-dialyzer(no_improper_lists).
-dialyzer([{nowarn_function, [f/0]}, no_improper_lists]).
-dialyzer({no_improper_lists, g/0}).
-dialyzer({[no_return, no_match], [g/0, h/0]}).
f() -> a.
g() -> b.
h() -> c.">>,
[],
{errors,[{5,erl_lint,{undefined_function,{module_info,0}}},
{6,erl_lint,{undefined_function,{record_info,2}}},
{7,erl_lint,{undefined_function,{m,1}}},
{9,erl_lint,{bad_dialyzer_option,nowarn_function}},
{10,erl_lint,{bad_dialyzer_attribute,1}},
{11,erl_lint,{bad_dialyzer_option,malformed}},
{12,erl_lint,{bad_dialyzer_option,malformed}},
{13,erl_lint,{undefined_function,{a,1}}},
{14,erl_lint,{bad_dialyzer_attribute,
{nowarn_function,{a,-1}}}}],
[]}}],
[] = run(Config, Ts),
ok.
run(Config, Tests) ->
F = fun({N,P,Ws,E}, BadL) ->
case catch run_test(Config, P, Ws) of
E ->
BadL;
Bad ->
io:format("~nTest ~p failed. Expected~n ~p~n"
"but got~n ~p~n", [N, E, Bad]),
fail()
end
end,
lists:foldl(F, [], Tests).
%% Compiles a test file and returns the list of warnings/errors.
get_compilation_result(Conf, Filename, Warnings) ->
DataDir = ?datadir,
File = filename:join(DataDir, Filename),
{ok,Bin} = file:read_file(File++".erl"),
FileS = binary_to_list(Bin),
{match,[{Start,Length}|_]} = re:run(FileS, "-module.*\\n"),
Test = lists:nthtail(Start+Length, FileS),
case run_test(Conf, Test, Warnings) of
{warnings, Ws} -> Ws;
{errors,Es,Ws} -> {Es,Ws};
[] -> []
end.
%% Compiles a test module and returns the list of errors and warnings.
run_test(Conf, Test0, Warnings0) ->
Test = list_to_binary(["-module(lint_test). ", Test0]),
run_test2(Conf, Test, Warnings0).
run_test2(Conf, Test, Warnings0) ->
Filename = "lint_test.erl",
DataDir = ?privdir,
File = filename:join(DataDir, Filename),
Opts = case Warnings0 of
{Warnings} -> %Hairy trick to not add export_all.
[return|Warnings];
Warnings ->
[export_all,return|Warnings]
end,
ok = file:write_file(File, Test),
%% We will use the 'binary' option so that the compiler will not
%% compare the module name to the output file name. Also, there
%% is no reason to produce an output file since we are only
%% interested in the errors and warnings.
%% Print warnings, call erl_lint:format_error/1. (But note that
%% the compiler will ignore failing calls to erl_lint:format_error/1.)
compile:file(File, [binary,report|Opts]),
case compile:file(File, [binary|Opts]) of
{ok, _M, Code, Ws} when is_binary(Code) ->
warnings(File, Ws);
{error, [{File,Es}], []} ->
{errors, call_format_error(Es), []};
{error, [{File,Es}], [{File,Ws}]} ->
{error, call_format_error(Es), call_format_error(Ws)};
{error, [{File,Es1},{File,Es2}], []} ->
{errors2, Es1, Es2}
end.
warnings(File, Ws) ->
case lists:append([W || {F, W} <- Ws, F =:= File]) of
[] ->
[];
L ->
{warnings, call_format_error(L)}
end.
call_format_error(L) ->
%% Smoke test of format_error/1 to make sure that no crashes
%% slip through.
_ = [Mod:format_error(Term) || {_,Mod,Term} <- L],
L.
fail() ->
ct:fail(failed).