[erlang-bugs] Dialyzer crashes when checking a PLT (via Erlang API) returns warnings

[James Fish]

Hi,

Dialyzer crashes when checking a plt (before running the main analysis
type) if a warning is found when using dialyzer:run/1.

Please find an archive attached with a minimal example and run the escript
plt_check (with OTP >= 17.0 as no_unknown is used to hide unrelated output).

In OTP 17.4 it will crash with the following output:

Error: {case_clause,{ok,2}}
Stacktrace: [{dialyzer,run,1,[{file,"dialyzer.erl"},{line,167}]},
             {plt_check__escript__1424__17011__604940,run,1,
                 [{file,"./plt_check"},{line,21}]},
             {escript,run,2,[{file,"escript.erl"},{line,752}]},
             {escript,start,1,[{file,"escript.erl"},{line,276}]},
             {init,start_it,1,[]},
             {init,start_em,1,[]}]

The expected output is:

plt_check.erl:6: Call to missing or unexported function
erlang:'not_exported!'/0

On a related note, it would appear that using plt_check checks the plt
twice. Hopefully this can be resolved at the same time.

Regards,

James
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-bugs/attachments/20150215/46eab249/attachment.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: plt_check.tar.gz
Type: application/x-gzip
Size: 726 bytes
Desc: not available
URL: <http://erlang.org/pipermail/erlang-bugs/attachments/20150215/46eab249/attachment.bin>