<div dir="ltr"><div><div><div><div><div>Hi,<br><br></div>Dialyzer crashes when checking a plt (before running the main analysis type) if a warning is found when using dialyzer:run/1.<br><br></div>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).<br><br></div>In OTP 17.4 it will crash with the following output:<br><br>Error: {case_clause,{ok,2}}<br>Stacktrace: [{dialyzer,run,1,[{file,"dialyzer.erl"},{line,167}]},<br>             {plt_check__escript__1424__17011__604940,run,1,<br>                 [{file,"./plt_check"},{line,21}]},<br>             {escript,run,2,[{file,"escript.erl"},{line,752}]},<br>             {escript,start,1,[{file,"escript.erl"},{line,276}]},<br>             {init,start_it,1,[]},<br>             {init,start_em,1,[]}]<br><br></div>The expected output is:<br><br>plt_check.erl:6: Call to missing or unexported function erlang:'not_exported!'/0<br><br></div><div>On a related note, it would appear that using plt_check checks the plt twice. Hopefully this can be resolved at the same time.<br></div><div><br></div>Regards,<br><br>James<br></div>