Dialyzer crashes when checking a PLT (via Erlang API) returns warnings

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

_______________________________________________
erlang-bugs mailing list
[email protected]
http://erlang.org/mailman/listinfo/erlang-bugs