<div dir="ltr">Hi,<div><br></div><div>I'm an Arch Linux user and picked up an update a few days ago that broke dialyzer. I bisected the last few days of updates and then narrowed the problem to zlib 1.2.10, which was released January 2nd. 1.2.11 was released on the 15th as an emergency bug fix and does not fix the problem. Reverting my system back to 1.2.8 (the previous version packaged for Arch) did resolve the issue.</div><div><br></div><div>It seems doubtful this is an Erlang problem, but I doubt I'm going to write a test program to demonstrate the problem to them.  I thought I should at least report the issue in case others encounter it.</div><div><br></div><div>To reproduce, one would need only install zlib 1.2.10 and then run: </div><div><br></div><div><span style="font-family:monospace"><span style="color:rgb(0,0,0)">dialyzer --verbose --build_plt --apps erts --output_plt test.plt</span><br></span></div><div><span style="font-family:monospace"><span style="color:rgb(0,0,0)"><br></span></span></div><div>Output would be along the lines of:<br></div><div><br></div><div><span style="font-family:monospace"><span style="color:rgb(0,0,0)">dialyzer: Could not get abstract code for file: /usr/lib/erlang/lib/erts-8.2/ebin/erlang.beam (please recompile it with +debug_info)</span><br>
<br></span></div><div>There are also errors when simply trying to do success typing analysis *using* any pre-existing PLT file, along lines of "this isn't a PLT file". The errors are not dependent upon the version of Erlang installed - at least anything I tried that was released on Arch in the 19.x branch will reproduce the problem.<span style="font-family:monospace"><br></span></div><div><br></div><div>Anyway, I hope this report helps someone and I would be curious if anyone else reproduces it, or especially if they fail to reproduce it.</div><div><br></div><div>Regards,</div><div><br></div><div>Jeremy</div></div>