aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2017-03-10 12:28:29 +0100
committerHans Bolinder <[email protected]>2017-03-10 12:28:29 +0100
commit586341167767bb0e569bbc203390aef71588ce4f (patch)
tree9923e1cafa2b93797890b36f7db688b3bbe7f27a
parent2612cb5bd0ebe7b1ff607e19bddfcb9b29bcfbc5 (diff)
parent32f1f62eceddd7621105af4d3f74f9d2a5ef2e5c (diff)
downloadotp-586341167767bb0e569bbc203390aef71588ce4f.tar.gz
otp-586341167767bb0e569bbc203390aef71588ce4f.tar.bz2
otp-586341167767bb0e569bbc203390aef71588ce4f.zip
Merge branch 'hasse/dialyzer/fix_plt_suite'
* hasse/dialyzer/fix_plt_suite: dialyzer: Correct a test case
-rw-r--r--lib/dialyzer/test/plt_SUITE.erl6
1 files changed, 4 insertions, 2 deletions
diff --git a/lib/dialyzer/test/plt_SUITE.erl b/lib/dialyzer/test/plt_SUITE.erl
index fbfa979e1b..ba153c1c27 100644
--- a/lib/dialyzer/test/plt_SUITE.erl
+++ b/lib/dialyzer/test/plt_SUITE.erl
@@ -260,6 +260,8 @@ remove_plt(Config) ->
ok.
bad_dialyzer_attr(Config) ->
+ PrivDir = ?config(priv_dir, Config),
+ Plt = filename:join(PrivDir, "plt_bad_dialyzer_attr.plt"),
Prog1 = <<"-module(dial).
-dialyzer({no_return, [undef/0]}).">>,
{ok, Beam1} = compile(Config, Prog1, dial, []),
@@ -267,7 +269,7 @@ bad_dialyzer_attr(Config) ->
"Analysis failed with error:\n"
"Could not scan the following file(s):\n"
" Unknown function undef/0 in line " ++ _} =
- (catch run_dialyzer(plt_build, [Beam1], [])),
+ (catch run_dialyzer(plt_build, [Beam1], [{output_plt, Plt}])),
Prog2 = <<"-module(dial).
-dialyzer({no_return, [{undef,1,2}]}).">>,
@@ -276,7 +278,7 @@ bad_dialyzer_attr(Config) ->
"Analysis failed with error:\n"
"Could not scan the following file(s):\n"
" Bad function {undef,1,2} in line " ++ _} =
- (catch run_dialyzer(plt_build, [Beam2], [])),
+ (catch run_dialyzer(plt_build, [Beam2], [{output_plt, Plt}])),
ok.