diff options
Diffstat (limited to 'lib/dialyzer/test/incremental_SUITE_data')
11 files changed, 127 insertions, 0 deletions
diff --git a/lib/dialyzer/test/incremental_SUITE_data/extra_modules/ebin/.gitignore b/lib/dialyzer/test/incremental_SUITE_data/extra_modules/ebin/.gitignore new file mode 100644 index 0000000000..9aedd49be8 --- /dev/null +++ b/lib/dialyzer/test/incremental_SUITE_data/extra_modules/ebin/.gitignore @@ -0,0 +1,5 @@ +# Ignore everything in this directory +* +# Except this file, to force the directory to stick around +# for the tests to later make use of +!.gitignore diff --git a/lib/dialyzer/test/incremental_SUITE_data/extra_modules/src/extra_module.erl b/lib/dialyzer/test/incremental_SUITE_data/extra_modules/src/extra_module.erl new file mode 100644 index 0000000000..21bb42ee61 --- /dev/null +++ b/lib/dialyzer/test/incremental_SUITE_data/extra_modules/src/extra_module.erl @@ -0,0 +1,14 @@ +-module(extra_module). + +-export([start/2,stop/1,f/1]). + +start(StartType, StartArgs) -> + error. + +stop(State) -> + error. + +% Purposely broken to generate a warning if the module is loaded and analysed +-spec f(atom()) -> string(). +f(N) when is_integer(N) -> + [N + 1|3]. diff --git a/lib/dialyzer/test/incremental_SUITE_data/extra_modules/src/extra_modules.app.src b/lib/dialyzer/test/incremental_SUITE_data/extra_modules/src/extra_modules.app.src new file mode 100644 index 0000000000..01b38e4098 --- /dev/null +++ b/lib/dialyzer/test/incremental_SUITE_data/extra_modules/src/extra_modules.app.src @@ -0,0 +1,8 @@ +{application, extra_modules, + [{description, "An app with some extra modules"}, + {vsn, "1"}, + {modules, [extra_module]}, + {registered, []}, + {applications, [kernel, stdlib]}, + {mod, {extra_module,[]}} + ]}. diff --git a/lib/dialyzer/test/incremental_SUITE_data/fix.erl b/lib/dialyzer/test/incremental_SUITE_data/fix.erl new file mode 100644 index 0000000000..6c1e85eda5 --- /dev/null +++ b/lib/dialyzer/test/incremental_SUITE_data/fix.erl @@ -0,0 +1,10 @@ +-module(fix). + +-export([m/0]). + +-spec m() -> integer(). +-ifdef(error). +m() -> 3.14. +-else. +m() -> 3. +-endif. diff --git a/lib/dialyzer/test/incremental_SUITE_data/got_fixed.erl b/lib/dialyzer/test/incremental_SUITE_data/got_fixed.erl new file mode 100644 index 0000000000..e6db525b90 --- /dev/null +++ b/lib/dialyzer/test/incremental_SUITE_data/got_fixed.erl @@ -0,0 +1,6 @@ +-module(got_fixed). + +-export([m/0]). + +-spec m() -> integer(). +m() -> fix:m(). diff --git a/lib/dialyzer/test/incremental_SUITE_data/m1.erl b/lib/dialyzer/test/incremental_SUITE_data/m1.erl new file mode 100644 index 0000000000..1c49a2714a --- /dev/null +++ b/lib/dialyzer/test/incremental_SUITE_data/m1.erl @@ -0,0 +1,14 @@ +-module(m1). + +-export([id/1, m/0, wrong/1]). + +-ifdef(m1). +m() -> ?m1. +-else. +m() -> false. +-endif. + +-spec wrong(float()) -> float(). +wrong(X) when is_integer(X) -> X. + +id(X) -> m2:id(X). diff --git a/lib/dialyzer/test/incremental_SUITE_data/m2.erl b/lib/dialyzer/test/incremental_SUITE_data/m2.erl new file mode 100644 index 0000000000..83c4f2b55e --- /dev/null +++ b/lib/dialyzer/test/incremental_SUITE_data/m2.erl @@ -0,0 +1,14 @@ +-module(m2). + +-export([id/1, m/0, wrong/1]). + +-ifdef(m2). +m() -> ?m2. +-else. +m() -> false. +-endif. + +-spec wrong(float()) -> float(). +wrong(X) when is_integer(X) -> X. + +id(X) -> m4:id(X). diff --git a/lib/dialyzer/test/incremental_SUITE_data/m3.erl b/lib/dialyzer/test/incremental_SUITE_data/m3.erl new file mode 100644 index 0000000000..8ea8b8b45b --- /dev/null +++ b/lib/dialyzer/test/incremental_SUITE_data/m3.erl @@ -0,0 +1,14 @@ +-module(m3). + +-export([id/1, m/0, wrong/1]). + +-ifdef(m3). +m() -> ?m3. +-else. +m() -> false. +-endif. + +-spec wrong(float()) -> float(). +wrong(X) when is_integer(X) -> X. + +id(X) -> m4:id(X). diff --git a/lib/dialyzer/test/incremental_SUITE_data/m4.erl b/lib/dialyzer/test/incremental_SUITE_data/m4.erl new file mode 100644 index 0000000000..43da7b80c7 --- /dev/null +++ b/lib/dialyzer/test/incremental_SUITE_data/m4.erl @@ -0,0 +1,14 @@ +-module(m4). + +-export([id/1, m/0, wrong/1]). + +-ifdef(m4). +m() -> ?m4. +-else. +m() -> false. +-endif. + +-spec wrong(float()) -> float(). +wrong(X) when is_integer(X) -> X. + +id(X) -> m5:id(X), m6:id(X). diff --git a/lib/dialyzer/test/incremental_SUITE_data/m5.erl b/lib/dialyzer/test/incremental_SUITE_data/m5.erl new file mode 100644 index 0000000000..0e8e3b2d1b --- /dev/null +++ b/lib/dialyzer/test/incremental_SUITE_data/m5.erl @@ -0,0 +1,14 @@ +-module(m5). + +-export([id/1, m/0, wrong/1]). + +-ifdef(m5). +m() -> ?m5. +-else. +m() -> false. +-endif. + +-spec wrong(float()) -> float(). +wrong(X) when is_integer(X) -> X. + +id(X) -> X. diff --git a/lib/dialyzer/test/incremental_SUITE_data/m6.erl b/lib/dialyzer/test/incremental_SUITE_data/m6.erl new file mode 100644 index 0000000000..9d24db5378 --- /dev/null +++ b/lib/dialyzer/test/incremental_SUITE_data/m6.erl @@ -0,0 +1,14 @@ +-module(m6). + +-export([id/1, m/0, wrong/1]). + +-ifdef(m6). +m() -> ?m6. +-else. +m() -> false. +-endif. + +-spec wrong(float()) -> float(). +wrong(X) when is_integer(X) -> X. + +id(X) -> X. |