1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
|
-module(rebar_dialyzer_SUITE).
-export([suite/0,
init_per_suite/1,
end_per_suite/1,
init_per_testcase/2,
all/0,
update_base_plt/1,
update_app_plt/1,
build_release_plt/1]).
-include_lib("common_test/include/ct.hrl").
-include_lib("eunit/include/eunit.hrl").
-include_lib("kernel/include/file.hrl").
suite() ->
[].
init_per_suite(Config) ->
Config.
end_per_suite(_Config) ->
ok.
init_per_testcase(Testcase, Config) ->
PrivDir = ?config(priv_dir, Config),
Prefix = ec_cnv:to_list(Testcase),
BasePrefix = Prefix ++ "_base",
Opts = [{plt_prefix, Prefix},
{plt_location, PrivDir},
{base_plt_prefix, BasePrefix},
{base_plt_location, PrivDir},
{base_plt_apps, [erts]}],
Suffix = "_" ++ rebar_utils:otp_release() ++ "_plt",
[{plt, filename:join(PrivDir, Prefix ++ Suffix)},
{base_plt, filename:join(PrivDir, BasePrefix ++ Suffix)},
{rebar_config, [{dialyzer, Opts}]} |
rebar_test_utils:init_rebar_state(Config)].
all() ->
[update_base_plt, update_app_plt, build_release_plt].
update_base_plt(Config) ->
AppDir = ?config(apps, Config),
RebarConfig = ?config(rebar_config, Config),
BasePlt = ?config(base_plt, Config),
Plt = ?config(plt, Config),
Name = rebar_test_utils:create_random_name("app1_"),
Vsn = rebar_test_utils:create_random_vsn(),
rebar_test_utils:create_app(AppDir, Name, Vsn, [erts]),
rebar_test_utils:run_and_check(Config, RebarConfig, ["dialyzer"],
{ok, [{app, Name}]}),
ErtsFiles = erts_files(),
{ok, BasePltFiles} = plt_files(BasePlt),
?assertEqual(ErtsFiles, BasePltFiles),
alter_plt(BasePlt),
ok = file:delete(Plt),
rebar_test_utils:run_and_check(Config, RebarConfig, ["dialyzer"],
{ok, [{app, Name}]}),
{ok, BasePltFiles2} = plt_files(BasePlt),
?assertEqual(ErtsFiles, BasePltFiles2),
{ok, PltFiles} = plt_files(Plt),
?assertEqual(ErtsFiles, PltFiles).
update_app_plt(Config) ->
AppDir = ?config(apps, Config),
RebarConfig = ?config(rebar_config, Config),
Plt = ?config(plt, Config),
Name = rebar_test_utils:create_random_name("app1_"),
Vsn = rebar_test_utils:create_random_vsn(),
rebar_test_utils:create_app(AppDir, Name, Vsn, [erts]),
rebar_test_utils:run_and_check(Config, RebarConfig, ["dialyzer"],
{ok, [{app, Name}]}),
ErtsFiles = erts_files(),
{ok, PltFiles} = plt_files(Plt),
?assertEqual(ErtsFiles, PltFiles),
alter_plt(Plt),
rebar_test_utils:run_and_check(Config, RebarConfig, ["dialyzer"],
{ok, [{app, Name}]}),
{ok, PltFiles2} = plt_files(Plt),
?assertEqual(ErtsFiles, PltFiles2),
ok = file:delete(Plt),
rebar_test_utils:run_and_check(Config, RebarConfig, ["dialyzer"],
{ok, [{app, Name}]}),
{ok, PltFiles3} = plt_files(Plt),
?assertEqual(ErtsFiles, PltFiles3).
build_release_plt(Config) ->
AppDir = ?config(apps, Config),
RebarConfig = ?config(rebar_config, Config),
BasePlt = ?config(base_plt, Config),
Plt = ?config(plt, Config),
Name1 = rebar_test_utils:create_random_name("relapp1_"),
Vsn1 = rebar_test_utils:create_random_vsn(),
rebar_test_utils:create_app(filename:join([AppDir,Name1]), Name1, Vsn1,
[erts]),
Name2 = rebar_test_utils:create_random_name("relapp2_"),
Vsn2 = rebar_test_utils:create_random_vsn(),
rebar_test_utils:create_app(filename:join([AppDir,Name2]), Name2, Vsn2,
[erts, ec_cnv:to_atom(Name1)]),
rebar_test_utils:run_and_check(Config, RebarConfig, ["dialyzer"],
{ok, [{app, Name1}, {app, Name2}]}),
ErtsFiles = erts_files(),
{ok, BasePltFiles} = plt_files(BasePlt),
?assertEqual(ErtsFiles, BasePltFiles),
{ok, PltFiles} = plt_files(Plt),
?assertEqual(ErtsFiles, PltFiles).
%% Helpers
erts_files() ->
ErtsDir = code:lib_dir(erts, ebin),
ErtsBeams = filelib:wildcard("*.beam", ErtsDir),
ErtsFiles = lists:map(fun(Beam) -> filename:join(ErtsDir, Beam) end,
ErtsBeams),
lists:sort(ErtsFiles).
plt_files(Plt) ->
case dialyzer:plt_info(Plt) of
{ok, Info} ->
Files = proplists:get_value(files, Info),
{ok, lists:sort(Files)};
Other ->
Other
end.
alter_plt(Plt) ->
{ok, Files} = plt_files(Plt),
_ = dialyzer:run([{analysis_type, plt_remove},
{init_plt, Plt},
{files, [hd(Files)]}]),
_ = dialyzer:run([{analysis_type, plt_add},
{init_plt, Plt},
{files, [code:which(dialyzer)]}]),
ok.
|
