diff options
Diffstat (limited to 'lib/dialyzer/test/race_tests_SUITE.erl')
| -rw-r--r-- | lib/dialyzer/test/race_tests_SUITE.erl | 591 |
1 files changed, 591 insertions, 0 deletions
diff --git a/lib/dialyzer/test/race_tests_SUITE.erl b/lib/dialyzer/test/race_tests_SUITE.erl new file mode 100644 index 0000000000..0f7c4c3c70 --- /dev/null +++ b/lib/dialyzer/test/race_tests_SUITE.erl @@ -0,0 +1,591 @@ +-module(race_tests_SUITE). + +-include_lib("test_server/include/test_server.hrl"). + +-export([all/0, groups/0, init_per_group/2, end_per_group/2, + init_per_testcase/2, fin_per_testcase/2]). + +-export([ets_insert_args1/1, ets_insert_args2/1, ets_insert_args3/1, + ets_insert_args4/1, ets_insert_args5/1, ets_insert_args6/1, + ets_insert_args7/1, ets_insert_args8/1, + ets_insert_control_flow1/1, ets_insert_control_flow2/1, + ets_insert_control_flow3/1, ets_insert_control_flow4/1, + ets_insert_control_flow5/1, ets_insert_diff_atoms_race1/1, + ets_insert_diff_atoms_race2/1, ets_insert_diff_atoms_race3/1, + ets_insert_diff_atoms_race4/1, ets_insert_diff_atoms_race5/1, + ets_insert_diff_atoms_race6/1, ets_insert_double1/1, + ets_insert_double2/1, ets_insert_funs1/1, ets_insert_funs2/1, + ets_insert_new/1, ets_insert_param/1, extract_translations/1, + mnesia_diff_atoms_race1/1, mnesia_diff_atoms_race2/1, + mnesia_dirty_read_one_write_two/1, + mnesia_dirty_read_two_write_one/1, + mnesia_dirty_read_write_double1/1, + mnesia_dirty_read_write_double2/1, + mnesia_dirty_read_write_double3/1, + mnesia_dirty_read_write_double4/1, mnesia_dirty_read_write_one/1, + mnesia_dirty_read_write_two/1, whereis_control_flow1/1, + whereis_control_flow2/1, whereis_control_flow3/1, + whereis_control_flow4/1, whereis_control_flow5/1, + whereis_control_flow6/1, whereis_diff_atoms_no_race/1, + whereis_diff_atoms_race/1, whereis_diff_functions1/1, + whereis_diff_functions1_nested/1, + whereis_diff_functions1_pathsens/1, + whereis_diff_functions1_twice/1, whereis_diff_functions2/1, + whereis_diff_functions2_nested/1, + whereis_diff_functions2_pathsens/1, + whereis_diff_functions2_twice/1, whereis_diff_functions3/1, + whereis_diff_functions3_nested/1, + whereis_diff_functions3_pathsens/1, whereis_diff_functions4/1, + whereis_diff_functions5/1, whereis_diff_functions6/1, + whereis_diff_modules1/1, whereis_diff_modules1_pathsens/1, + whereis_diff_modules1_rec/1, whereis_diff_modules2/1, + whereis_diff_modules2_pathsens/1, whereis_diff_modules2_rec/1, + whereis_diff_modules3/1, whereis_diff_modules_nested/1, + whereis_diff_modules_twice/1, whereis_diff_vars_no_race/1, + whereis_diff_vars_race/1, whereis_intra_inter_module1/1, + whereis_intra_inter_module2/1, whereis_intra_inter_module3/1, + whereis_intra_inter_module4/1, whereis_intra_inter_module5/1, + whereis_intra_inter_module6/1, whereis_intra_inter_module7/1, + whereis_intra_inter_module8/1, whereis_param/1, + whereis_param_inter_module/1, whereis_rec_function1/1, + whereis_rec_function2/1, whereis_rec_function3/1, + whereis_rec_function4/1, whereis_rec_function5/1, + whereis_rec_function6/1, whereis_rec_function7/1, + whereis_rec_function8/1, whereis_try_catch/1, whereis_vars1/1, + whereis_vars10/1, whereis_vars11/1, whereis_vars12/1, + whereis_vars13/1, whereis_vars14/1, whereis_vars15/1, + whereis_vars16/1, whereis_vars17/1, whereis_vars18/1, + whereis_vars19/1, whereis_vars2/1, whereis_vars20/1, + whereis_vars21/1, whereis_vars22/1, whereis_vars3/1, + whereis_vars4/1, whereis_vars5/1, whereis_vars6/1, + whereis_vars7/1, whereis_vars8/1, whereis_vars9/1]). + +-define(default_timeout, ?t:minutes(1)). +-define(dialyzer_options, ?config(dialyzer_options, Config)). +-define(datadir, ?config(data_dir, Config)). +-define(privdir, ?config(priv_dir, Config)). + +groups() -> []. + +init_per_group(_GroupName, Config) -> Config. + +end_per_group(_GroupName, Config) -> Config. + +init_per_testcase(_Case, Config) -> + ?line Dog = ?t:timetrap(?default_timeout), + [{dialyzer_options, [{warnings,[race_conditions]}]}, {watchdog, Dog} | Config]. + +fin_per_testcase(_Case, _Config) -> + Dog = ?config(watchdog, _Config), + ?t:timetrap_cancel(Dog), + ok. + +all() -> + [ets_insert_args1,ets_insert_args2,ets_insert_args3,ets_insert_args4, + ets_insert_args5,ets_insert_args6,ets_insert_args7,ets_insert_args8, + ets_insert_control_flow1,ets_insert_control_flow2, + ets_insert_control_flow3,ets_insert_control_flow4, + ets_insert_control_flow5,ets_insert_diff_atoms_race1, + ets_insert_diff_atoms_race2,ets_insert_diff_atoms_race3, + ets_insert_diff_atoms_race4,ets_insert_diff_atoms_race5, + ets_insert_diff_atoms_race6,ets_insert_double1,ets_insert_double2, + ets_insert_funs1,ets_insert_funs2,ets_insert_new,ets_insert_param, + extract_translations,mnesia_diff_atoms_race1,mnesia_diff_atoms_race2, + mnesia_dirty_read_one_write_two,mnesia_dirty_read_two_write_one, + mnesia_dirty_read_write_double1,mnesia_dirty_read_write_double2, + mnesia_dirty_read_write_double3,mnesia_dirty_read_write_double4, + mnesia_dirty_read_write_one,mnesia_dirty_read_write_two, + whereis_control_flow1,whereis_control_flow2,whereis_control_flow3, + whereis_control_flow4,whereis_control_flow5,whereis_control_flow6, + whereis_diff_atoms_no_race,whereis_diff_atoms_race, + whereis_diff_functions1,whereis_diff_functions1_nested, + whereis_diff_functions1_pathsens,whereis_diff_functions1_twice, + whereis_diff_functions2,whereis_diff_functions2_nested, + whereis_diff_functions2_pathsens,whereis_diff_functions2_twice, + whereis_diff_functions3,whereis_diff_functions3_nested, + whereis_diff_functions3_pathsens,whereis_diff_functions4, + whereis_diff_functions5,whereis_diff_functions6,whereis_diff_modules1, + whereis_diff_modules1_pathsens,whereis_diff_modules1_rec, + whereis_diff_modules2,whereis_diff_modules2_pathsens, + whereis_diff_modules2_rec,whereis_diff_modules3, + whereis_diff_modules_nested,whereis_diff_modules_twice, + whereis_diff_vars_no_race,whereis_diff_vars_race, + whereis_intra_inter_module1,whereis_intra_inter_module2, + whereis_intra_inter_module3,whereis_intra_inter_module4, + whereis_intra_inter_module5,whereis_intra_inter_module6, + whereis_intra_inter_module7,whereis_intra_inter_module8,whereis_param, + whereis_param_inter_module,whereis_rec_function1,whereis_rec_function2, + whereis_rec_function3,whereis_rec_function4,whereis_rec_function5, + whereis_rec_function6,whereis_rec_function7,whereis_rec_function8, + whereis_try_catch,whereis_vars1,whereis_vars10,whereis_vars11, + whereis_vars12,whereis_vars13,whereis_vars14,whereis_vars15, + whereis_vars16,whereis_vars17,whereis_vars18,whereis_vars19, + whereis_vars2,whereis_vars20,whereis_vars21,whereis_vars22,whereis_vars3, + whereis_vars4,whereis_vars5,whereis_vars6,whereis_vars7,whereis_vars8, + whereis_vars9]. + +ets_insert_args1(Config) when is_list(Config) -> + ?line run(Config, {ets_insert_args1, file}), + ok. + +ets_insert_args2(Config) when is_list(Config) -> + ?line run(Config, {ets_insert_args2, file}), + ok. + +ets_insert_args3(Config) when is_list(Config) -> + ?line run(Config, {ets_insert_args3, file}), + ok. + +ets_insert_args4(Config) when is_list(Config) -> + ?line run(Config, {ets_insert_args4, file}), + ok. + +ets_insert_args5(Config) when is_list(Config) -> + ?line run(Config, {ets_insert_args5, file}), + ok. + +ets_insert_args6(Config) when is_list(Config) -> + ?line run(Config, {ets_insert_args6, file}), + ok. + +ets_insert_args7(Config) when is_list(Config) -> + ?line run(Config, {ets_insert_args7, file}), + ok. + +ets_insert_args8(Config) when is_list(Config) -> + ?line run(Config, {ets_insert_args8, file}), + ok. + +ets_insert_control_flow1(Config) when is_list(Config) -> + ?line run(Config, {ets_insert_control_flow1, file}), + ok. + +ets_insert_control_flow2(Config) when is_list(Config) -> + ?line run(Config, {ets_insert_control_flow2, file}), + ok. + +ets_insert_control_flow3(Config) when is_list(Config) -> + ?line run(Config, {ets_insert_control_flow3, file}), + ok. + +ets_insert_control_flow4(Config) when is_list(Config) -> + ?line run(Config, {ets_insert_control_flow4, file}), + ok. + +ets_insert_control_flow5(Config) when is_list(Config) -> + ?line run(Config, {ets_insert_control_flow5, file}), + ok. + +ets_insert_diff_atoms_race1(Config) when is_list(Config) -> + ?line run(Config, {ets_insert_diff_atoms_race1, file}), + ok. + +ets_insert_diff_atoms_race2(Config) when is_list(Config) -> + ?line run(Config, {ets_insert_diff_atoms_race2, file}), + ok. + +ets_insert_diff_atoms_race3(Config) when is_list(Config) -> + ?line run(Config, {ets_insert_diff_atoms_race3, file}), + ok. + +ets_insert_diff_atoms_race4(Config) when is_list(Config) -> + ?line run(Config, {ets_insert_diff_atoms_race4, file}), + ok. + +ets_insert_diff_atoms_race5(Config) when is_list(Config) -> + ?line run(Config, {ets_insert_diff_atoms_race5, file}), + ok. + +ets_insert_diff_atoms_race6(Config) when is_list(Config) -> + ?line run(Config, {ets_insert_diff_atoms_race6, file}), + ok. + +ets_insert_double1(Config) when is_list(Config) -> + ?line run(Config, {ets_insert_double1, file}), + ok. + +ets_insert_double2(Config) when is_list(Config) -> + ?line run(Config, {ets_insert_double2, file}), + ok. + +ets_insert_funs1(Config) when is_list(Config) -> + ?line run(Config, {ets_insert_funs1, file}), + ok. + +ets_insert_funs2(Config) when is_list(Config) -> + ?line run(Config, {ets_insert_funs2, file}), + ok. + +ets_insert_new(Config) when is_list(Config) -> + ?line run(Config, {ets_insert_new, file}), + ok. + +ets_insert_param(Config) when is_list(Config) -> + ?line run(Config, {ets_insert_param, file}), + ok. + +extract_translations(Config) when is_list(Config) -> + ?line run(Config, {extract_translations, file}), + ok. + +mnesia_diff_atoms_race1(Config) when is_list(Config) -> + ?line run(Config, {mnesia_diff_atoms_race1, file}), + ok. + +mnesia_diff_atoms_race2(Config) when is_list(Config) -> + ?line run(Config, {mnesia_diff_atoms_race2, file}), + ok. + +mnesia_dirty_read_one_write_two(Config) when is_list(Config) -> + ?line run(Config, {mnesia_dirty_read_one_write_two, file}), + ok. + +mnesia_dirty_read_two_write_one(Config) when is_list(Config) -> + ?line run(Config, {mnesia_dirty_read_two_write_one, file}), + ok. + +mnesia_dirty_read_write_double1(Config) when is_list(Config) -> + ?line run(Config, {mnesia_dirty_read_write_double1, file}), + ok. + +mnesia_dirty_read_write_double2(Config) when is_list(Config) -> + ?line run(Config, {mnesia_dirty_read_write_double2, file}), + ok. + +mnesia_dirty_read_write_double3(Config) when is_list(Config) -> + ?line run(Config, {mnesia_dirty_read_write_double3, file}), + ok. + +mnesia_dirty_read_write_double4(Config) when is_list(Config) -> + ?line run(Config, {mnesia_dirty_read_write_double4, file}), + ok. + +mnesia_dirty_read_write_one(Config) when is_list(Config) -> + ?line run(Config, {mnesia_dirty_read_write_one, file}), + ok. + +mnesia_dirty_read_write_two(Config) when is_list(Config) -> + ?line run(Config, {mnesia_dirty_read_write_two, file}), + ok. + +whereis_control_flow1(Config) when is_list(Config) -> + ?line run(Config, {whereis_control_flow1, file}), + ok. + +whereis_control_flow2(Config) when is_list(Config) -> + ?line run(Config, {whereis_control_flow2, file}), + ok. + +whereis_control_flow3(Config) when is_list(Config) -> + ?line run(Config, {whereis_control_flow3, file}), + ok. + +whereis_control_flow4(Config) when is_list(Config) -> + ?line run(Config, {whereis_control_flow4, file}), + ok. + +whereis_control_flow5(Config) when is_list(Config) -> + ?line run(Config, {whereis_control_flow5, file}), + ok. + +whereis_control_flow6(Config) when is_list(Config) -> + ?line run(Config, {whereis_control_flow6, file}), + ok. + +whereis_diff_atoms_no_race(Config) when is_list(Config) -> + ?line run(Config, {whereis_diff_atoms_no_race, file}), + ok. + +whereis_diff_atoms_race(Config) when is_list(Config) -> + ?line run(Config, {whereis_diff_atoms_race, file}), + ok. + +whereis_diff_functions1(Config) when is_list(Config) -> + ?line run(Config, {whereis_diff_functions1, file}), + ok. + +whereis_diff_functions1_nested(Config) when is_list(Config) -> + ?line run(Config, {whereis_diff_functions1_nested, file}), + ok. + +whereis_diff_functions1_pathsens(Config) when is_list(Config) -> + ?line run(Config, {whereis_diff_functions1_pathsens, file}), + ok. + +whereis_diff_functions1_twice(Config) when is_list(Config) -> + ?line run(Config, {whereis_diff_functions1_twice, file}), + ok. + +whereis_diff_functions2(Config) when is_list(Config) -> + ?line run(Config, {whereis_diff_functions2, file}), + ok. + +whereis_diff_functions2_nested(Config) when is_list(Config) -> + ?line run(Config, {whereis_diff_functions2_nested, file}), + ok. + +whereis_diff_functions2_pathsens(Config) when is_list(Config) -> + ?line run(Config, {whereis_diff_functions2_pathsens, file}), + ok. + +whereis_diff_functions2_twice(Config) when is_list(Config) -> + ?line run(Config, {whereis_diff_functions2_twice, file}), + ok. + +whereis_diff_functions3(Config) when is_list(Config) -> + ?line run(Config, {whereis_diff_functions3, file}), + ok. + +whereis_diff_functions3_nested(Config) when is_list(Config) -> + ?line run(Config, {whereis_diff_functions3_nested, file}), + ok. + +whereis_diff_functions3_pathsens(Config) when is_list(Config) -> + ?line run(Config, {whereis_diff_functions3_pathsens, file}), + ok. + +whereis_diff_functions4(Config) when is_list(Config) -> + ?line run(Config, {whereis_diff_functions4, file}), + ok. + +whereis_diff_functions5(Config) when is_list(Config) -> + ?line run(Config, {whereis_diff_functions5, file}), + ok. + +whereis_diff_functions6(Config) when is_list(Config) -> + ?line run(Config, {whereis_diff_functions6, file}), + ok. + +whereis_diff_modules1(Config) when is_list(Config) -> + ?line run(Config, {whereis_diff_modules1, dir}), + ok. + +whereis_diff_modules1_pathsens(Config) when is_list(Config) -> + ?line run(Config, {whereis_diff_modules1_pathsens, dir}), + ok. + +whereis_diff_modules1_rec(Config) when is_list(Config) -> + ?line run(Config, {whereis_diff_modules1_rec, dir}), + ok. + +whereis_diff_modules2(Config) when is_list(Config) -> + ?line run(Config, {whereis_diff_modules2, dir}), + ok. + +whereis_diff_modules2_pathsens(Config) when is_list(Config) -> + ?line run(Config, {whereis_diff_modules2_pathsens, dir}), + ok. + +whereis_diff_modules2_rec(Config) when is_list(Config) -> + ?line run(Config, {whereis_diff_modules2_rec, dir}), + ok. + +whereis_diff_modules3(Config) when is_list(Config) -> + ?line run(Config, {whereis_diff_modules3, dir}), + ok. + +whereis_diff_modules_nested(Config) when is_list(Config) -> + ?line run(Config, {whereis_diff_modules_nested, dir}), + ok. + +whereis_diff_modules_twice(Config) when is_list(Config) -> + ?line run(Config, {whereis_diff_modules_twice, dir}), + ok. + +whereis_diff_vars_no_race(Config) when is_list(Config) -> + ?line run(Config, {whereis_diff_vars_no_race, file}), + ok. + +whereis_diff_vars_race(Config) when is_list(Config) -> + ?line run(Config, {whereis_diff_vars_race, file}), + ok. + +whereis_intra_inter_module1(Config) when is_list(Config) -> + ?line run(Config, {whereis_intra_inter_module1, dir}), + ok. + +whereis_intra_inter_module2(Config) when is_list(Config) -> + ?line run(Config, {whereis_intra_inter_module2, dir}), + ok. + +whereis_intra_inter_module3(Config) when is_list(Config) -> + ?line run(Config, {whereis_intra_inter_module3, dir}), + ok. + +whereis_intra_inter_module4(Config) when is_list(Config) -> + ?line run(Config, {whereis_intra_inter_module4, dir}), + ok. + +whereis_intra_inter_module5(Config) when is_list(Config) -> + ?line run(Config, {whereis_intra_inter_module5, dir}), + ok. + +whereis_intra_inter_module6(Config) when is_list(Config) -> + ?line run(Config, {whereis_intra_inter_module6, dir}), + ok. + +whereis_intra_inter_module7(Config) when is_list(Config) -> + ?line run(Config, {whereis_intra_inter_module7, dir}), + ok. + +whereis_intra_inter_module8(Config) when is_list(Config) -> + ?line run(Config, {whereis_intra_inter_module8, dir}), + ok. + +whereis_param(Config) when is_list(Config) -> + ?line run(Config, {whereis_param, file}), + ok. + +whereis_param_inter_module(Config) when is_list(Config) -> + ?line run(Config, {whereis_param_inter_module, dir}), + ok. + +whereis_rec_function1(Config) when is_list(Config) -> + ?line run(Config, {whereis_rec_function1, file}), + ok. + +whereis_rec_function2(Config) when is_list(Config) -> + ?line run(Config, {whereis_rec_function2, file}), + ok. + +whereis_rec_function3(Config) when is_list(Config) -> + ?line run(Config, {whereis_rec_function3, file}), + ok. + +whereis_rec_function4(Config) when is_list(Config) -> + ?line run(Config, {whereis_rec_function4, file}), + ok. + +whereis_rec_function5(Config) when is_list(Config) -> + ?line run(Config, {whereis_rec_function5, file}), + ok. + +whereis_rec_function6(Config) when is_list(Config) -> + ?line run(Config, {whereis_rec_function6, file}), + ok. + +whereis_rec_function7(Config) when is_list(Config) -> + ?line run(Config, {whereis_rec_function7, file}), + ok. + +whereis_rec_function8(Config) when is_list(Config) -> + ?line run(Config, {whereis_rec_function8, file}), + ok. + +whereis_try_catch(Config) when is_list(Config) -> + ?line run(Config, {whereis_try_catch, file}), + ok. + +whereis_vars1(Config) when is_list(Config) -> + ?line run(Config, {whereis_vars1, file}), + ok. + +whereis_vars10(Config) when is_list(Config) -> + ?line run(Config, {whereis_vars10, file}), + ok. + +whereis_vars11(Config) when is_list(Config) -> + ?line run(Config, {whereis_vars11, file}), + ok. + +whereis_vars12(Config) when is_list(Config) -> + ?line run(Config, {whereis_vars12, file}), + ok. + +whereis_vars13(Config) when is_list(Config) -> + ?line run(Config, {whereis_vars13, file}), + ok. + +whereis_vars14(Config) when is_list(Config) -> + ?line run(Config, {whereis_vars14, file}), + ok. + +whereis_vars15(Config) when is_list(Config) -> + ?line run(Config, {whereis_vars15, file}), + ok. + +whereis_vars16(Config) when is_list(Config) -> + ?line run(Config, {whereis_vars16, file}), + ok. + +whereis_vars17(Config) when is_list(Config) -> + ?line run(Config, {whereis_vars17, file}), + ok. + +whereis_vars18(Config) when is_list(Config) -> + ?line run(Config, {whereis_vars18, file}), + ok. + +whereis_vars19(Config) when is_list(Config) -> + ?line run(Config, {whereis_vars19, file}), + ok. + +whereis_vars2(Config) when is_list(Config) -> + ?line run(Config, {whereis_vars2, file}), + ok. + +whereis_vars20(Config) when is_list(Config) -> + ?line run(Config, {whereis_vars20, file}), + ok. + +whereis_vars21(Config) when is_list(Config) -> + ?line run(Config, {whereis_vars21, file}), + ok. + +whereis_vars22(Config) when is_list(Config) -> + ?line run(Config, {whereis_vars22, file}), + ok. + +whereis_vars3(Config) when is_list(Config) -> + ?line run(Config, {whereis_vars3, file}), + ok. + +whereis_vars4(Config) when is_list(Config) -> + ?line run(Config, {whereis_vars4, file}), + ok. + +whereis_vars5(Config) when is_list(Config) -> + ?line run(Config, {whereis_vars5, file}), + ok. + +whereis_vars6(Config) when is_list(Config) -> + ?line run(Config, {whereis_vars6, file}), + ok. + +whereis_vars7(Config) when is_list(Config) -> + ?line run(Config, {whereis_vars7, file}), + ok. + +whereis_vars8(Config) when is_list(Config) -> + ?line run(Config, {whereis_vars8, file}), + ok. + +whereis_vars9(Config) when is_list(Config) -> + ?line run(Config, {whereis_vars9, file}), + ok. + +run(Config, TestCase) -> + case run_test(Config, TestCase) of + ok -> ok; + {fail, Reason} -> + ?t:format("~s",[Reason]), + fail() + end. + +run_test(Config, {TestCase, Kind}) -> + Dog = ?config(watchdog, Config), + Options = ?dialyzer_options, + Dir = ?datadir, + OutDir = ?privdir, + case dialyzer_test:dialyzer_test(Options, TestCase, Kind, + Dir, OutDir, Dog) of + same -> ok; + {differ, DiffList} -> + {fail, + io_lib:format("\nTest ~p failed:\n~p\n", + [TestCase, DiffList])} + end. + +fail() -> + io:format("failed\n"), + ?t:fail(). |