Re: Dialyzer problems with zlib 1.2.10 and 1.2.11
Jeremy Huffman <[email protected]> Thu, 19 Jan 2017 17:45:04 +0000
| Newsgroups | gmane.comp.lang.erlang.bugs |
|---|---|
| Message-ID | <CAH37v0ns=wr3FQLJ8tV3RULtCnmkFRY6hn1LNRE6Mwev4Z7=PA@mail.gmail.com> |
--===============5431698780381028436== Content-Type: multipart/alternative; boundary=001a114b2e848cd0a005467618c3 --001a114b2e848cd0a005467618c3 Content-Type: text/plain; charset=UTF-8 Yes it's exactly the same error message from dialyzer. And the fact that he's getting it on Gentoo which builds from source suggests that it is not simply a matter of recompiling the dependency chain, which was a suggestion in the Arch board. There was another app in Arch that also had a problem pinned on zlib 1.2.11. On Thu, Jan 19, 2017 at 11:33 AM Kostis Sagonas <[email protected]> wrote: > On 01/19/2017 03:42 AM, Jeremy Huffman wrote: > > > Hi, > > > > > > 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. > > > > > > 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. > > > > > > To reproduce, one would need only install zlib 1.2.10 and then run: > > > > > > dialyzer --verbose --build_plt --apps erts --output_plt test.plt > > > > > > Output would be along the lines of: > > > > > > dialyzer: Could not get abstract code for file: > > > /usr/lib/erlang/lib/erts-8.2/ebin/erlang.beam (please recompile it with > > > +debug_info) > > > > > > 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. > > > > > > 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. > > > > Earlier today (yesterday?), there was the following question on the > > erlang-questions mailing list: > > > > http://erlang.org/pipermail/erlang-questions/2017-January/091434.html > > > > I am willing to bet that problem with binary_to_term is also caused by > > zlib troubles. > > > > Perhaps Michel (cc:) can inform us about his zlib version. > > > > Kostis > > --001a114b2e848cd0a005467618c3 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable <div>Yes it's exactly the same error message from dialyzer. And the fac= t that he's getting it on Gentoo which builds from source suggests that= it is not simply a matter of recompiling the dependency chain, which was a= suggestion in the Arch board. There was another app in Arch that also had = a problem pinned on zlib 1.2.11.</div><div><br></div><div><br><div class=3D= "gmail_quote"><div>On Thu, Jan 19, 2017 at 11:33 AM Kostis Sagonas <<a h= ref=3D"mailto:[email protected]">[email protected]</a>> wrote:<br></div>= <blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1p= x #ccc solid;padding-left:1ex">On 01/19/2017 03:42 AM, Jeremy Huffman wrote= :<br class=3D"gmail_msg"><br>> Hi,<br class=3D"gmail_msg"><br>><br cl= ass=3D"gmail_msg"><br>> I'm an Arch Linux user and picked up an upda= te a few days ago that broke<br class=3D"gmail_msg"><br>> dialyzer. I bi= sected the last few days of updates and then narrowed the<br class=3D"gmail= _msg"><br>> problem to zlib 1.2.10, which was released January 2nd. 1.2.= 11 was<br class=3D"gmail_msg"><br>> released on the 15th as an emergency= bug fix and does not fix the<br class=3D"gmail_msg"><br>> problem. Reve= rting my system back to 1.2.8 (the previous version<br class=3D"gmail_msg">= <br>> packaged for Arch) did resolve the issue.<br class=3D"gmail_msg"><= br>><br class=3D"gmail_msg"><br>> It seems doubtful this is an Erlang= problem, but I doubt I'm going to<br class=3D"gmail_msg"><br>> writ= e a test program to demonstrate the problem to them.=C2=A0 I thought I<br c= lass=3D"gmail_msg"><br>> should at least report the issue in case others= encounter it.<br class=3D"gmail_msg"><br>><br class=3D"gmail_msg"><br>&= gt; To reproduce, one would need only install zlib 1.2.10 and then run:<br = class=3D"gmail_msg"><br>><br class=3D"gmail_msg"><br>> dialyzer --ver= bose --build_plt --apps erts --output_plt test.plt<br class=3D"gmail_msg"><= br>><br class=3D"gmail_msg"><br>> Output would be along the lines of:= <br class=3D"gmail_msg"><br>><br class=3D"gmail_msg"><br>> dialyzer: = Could not get abstract code for file:<br class=3D"gmail_msg"><br>> /usr/= lib/erlang/lib/erts-8.2/ebin/erlang.beam (please recompile it with<br class= =3D"gmail_msg"><br>> +debug_info)<br class=3D"gmail_msg"><br>><br cla= ss=3D"gmail_msg"><br>> There are also errors when simply trying to do su= ccess typing analysis<br class=3D"gmail_msg"><br>> *using* any pre-exist= ing PLT file, along lines of "this isn't a PLT<br class=3D"gmail_m= sg"><br>> file". The errors are not dependent upon the version of E= rlang installed<br class=3D"gmail_msg"><br>> - at least anything I tried= that was released on Arch in the 19.x branch<br class=3D"gmail_msg"><br>&g= t; will reproduce the problem.<br class=3D"gmail_msg"><br>><br class=3D"= gmail_msg"><br>> Anyway, I hope this report helps someone and I would be= curious if<br class=3D"gmail_msg"><br>> anyone else reproduces it, or e= specially if they fail to reproduce it.<br class=3D"gmail_msg"><br><br clas= s=3D"gmail_msg"><br>Earlier today (yesterday?), there was the following que= stion on the<br class=3D"gmail_msg"><br>erlang-questions mailing list:<br c= lass=3D"gmail_msg"><br><br class=3D"gmail_msg"><br>=C2=A0 =C2=A0<a href=3D"= http://erlang.org/pipermail/erlang-questions/2017-January/091434.html" rel= =3D"noreferrer" class=3D"gmail_msg" target=3D"_blank">http://erlang.org/pip= ermail/erlang-questions/2017-January/091434.html</a><br class=3D"gmail_msg"= ><br><br class=3D"gmail_msg"><br>I am willing to bet that problem with bina= ry_to_term is also caused by<br class=3D"gmail_msg"><br>zlib troubles.<br c= lass=3D"gmail_msg"><br><br class=3D"gmail_msg"><br>Perhaps Michel (cc:) can= inform us about his zlib version.<br class=3D"gmail_msg"><br><br class=3D"= gmail_msg"><br>Kostis<br class=3D"gmail_msg"><br></blockquote></div></div> --001a114b2e848cd0a005467618c3-- --===============5431698780381028436== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ erlang-bugs mailing list [email protected] http://erlang.org/mailman/listinfo/erlang-bugs --===============5431698780381028436==--