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
|
%%
%% %CopyrightBegin%
%%
%% Copyright Ericsson AB 2015-2016. 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%
%% Test specific code snippets that has crashed the compiler in the past.
-module(regressions_SUITE).
-include_lib("common_test/include/ct.hrl").
-export([all/0,groups/0,init_per_testcase/2,end_per_testcase/2,suite/0]).
-export([maps/1]).
groups() ->
[{p,test_lib:parallel(),
[maps]}].
init_per_testcase(_Case, Config) ->
Config.
end_per_testcase(_Case, _Config) ->
ok.
suite() ->
[{ct_hooks,[ts_install_cth]},
{timetrap,{minutes,2}}].
all() ->
test_lib:recompile(?MODULE),
[{group,p}].
%%% test cases
maps(Config) when is_list(Config) ->
Ts = [{beam_bool_get_elements,
<<"century(#{ron := operator}, _century) ->
if 0.0; _century, _century, _century -> _century end.
">>},
{empty_map_clauses,
<<"politics(#{}, researchers) -> concerned;
politics(#{[] := _}, workers) -> dot;
politics(#{[] := ct}, counsel) -> calls.
">>},
{empty_map_clauses_variable,
<<"georgia(#{a := effectively}, ratio, is, eventually) -> teens;
georgia(#{a := government}, knowledge, poker, partly) -> signed;
georgia(#{}, recording, bring, vital) -> divided;
georgia(#{0 := 0}, articles, brought, #{true := true, a := There}) -> There.
">>}],
ok = run(Config, Ts),
ok.
%% aux
run(Config, Tests) ->
F = fun({N,P}) ->
io:format("Compiling test for: ~w~n", [N]),
case catch run_test(Config, P) of
{'EXIT', Reason} ->
io:format("~nTest ~p failed.~nReason: ~p~n",
[N, Reason]),
fail();
_ -> ok
end
end,
lists:foreach(F, Tests).
run_test(Conf, Test0) ->
Module = "regressions_"++test_lib:uniq(),
Filename = Module ++ ".erl",
DataDir = proplists:get_value(priv_dir, Conf),
Test = ["-module(", Module, "). ", Test0],
File = filename:join(DataDir, Filename),
Def = [binary,export_all,return],
Opts = [ Opt ++ Def ||
Opt <- [ [no_postopt],
[no_copt],
[no_postopt,no_copt],
[inline],
[inline,no_postopt],
[]
]],
ok = file:write_file(File, Test),
lists:foreach(fun(Opt) ->
io:format(" - compiling with ~p~n", [Opt]),
{ok,_M,_Bin,_} = compile:file(File,Opt)
end, Opts),
file:delete(File),
ok.
fail() ->
ct:fail(failed).
|
