Re: Dialyzer problems with zlib 1.2.10 and 1.2.11
Jeremy Huffman <[email protected]> Thu, 19 Jan 2017 23:04:29 +0000
| Newsgroups | gmane.comp.lang.erlang.bugs |
|---|---|
| Message-ID | <CAH37v0nA8z_Tf8YDR482FRcs7nh1bsuD7N_eBW=PnQFWkJNfQA@mail.gmail.com> |
--===============7231807611226106795== Content-Type: multipart/alternative; boundary=94eb2c12e4c2e07a8e05467a8e29 --94eb2c12e4c2e07a8e05467a8e29 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Brilliant, I passed this along to the Arch thread and it was confirmed to be the same commit breaking manaplus. Obviously it is not breaking every zlib user but I'm sure will be widespread. https://bbs.archlinux.org/viewtopic.php?pid=3D1685080#p1685080 On Thu, Jan 19, 2017 at 2:11 PM Michel Boaventura < [email protected]> wrote: > Hi, > > I've done the bisect and find the culprit: > https://github.com/madler/zlib/commit/b516b4bdd7c0c9f0858adfebf732089014f= 7b282. > Before this commit term_to_binary works and stop doing so afterwards. I > will have a look at the changes and see if I can figure out what happened= . > > Cheers, > > > On 19 January 2017 at 16:15, Michel Boaventura < > [email protected]> wrote: > > Hi all, > > I'm indeed using zlib 1.2.11 on my gentoo. I can't downgrade it, since al= l > the other versions were removed from portage. > > I will clone zlib repo and see if I can bisect the problem. > > Thanks! > > On 19 January 2017 at 15:45, Jeremy Huffman <[email protected]> > wrote: > > 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 no= t > simply a matter of recompiling the dependency chain, which was a suggesti= on > 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 brok= e > > > 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 installe= d > > > - at least anything I tried that was released on Arch in the 19.x branc= h > > > 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 > > > > > > > -- > Michel Almada de Castro Boaventura > Analista de Sistemas > Laborat=C3=B3rio de Software Livre - LSL > > > > > > > > -- > Michel Almada de Castro Boaventura > Analista de Sistemas > Laborat=C3=B3rio de Software Livre - LSL > > > > > --94eb2c12e4c2e07a8e05467a8e29 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable <div><div>Brilliant, I passed this along to the Arch thread and it was conf= irmed to be the same commit breaking manaplus. Obviously it is not breaking= every zlib user but I'm sure will be widespread.</div></div><div><br><= /div><div><a href=3D"https://bbs.archlinux.org/viewtopic.php?pid=3D1685080#= p1685080">https://bbs.archlinux.org/viewtopic.php?pid=3D1685080#p1685080</a= ><br></div><div><br></div><div><br><div class=3D"gmail_quote"><div>On Thu, = Jan 19, 2017 at 2:11 PM Michel Boaventura <<a href=3D"mailto:michel.boav= [email protected]">[email protected]</a>> wrote:<br></div><bloc= kquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1px #cc= c solid;padding-left:1ex"><div class=3D"gmail_msg">Hi,<div class=3D"gmail_m= sg"><br class=3D"gmail_msg"></div><div class=3D"gmail_msg">I've done th= e bisect and find the culprit:=C2=A0<a href=3D"https://github.com/madler/zl= ib/commit/b516b4bdd7c0c9f0858adfebf732089014f7b282" class=3D"gmail_msg" tar= get=3D"_blank">https://github.com/madler/zlib/commit/b516b4bdd7c0c9f0858adf= ebf732089014f7b282</a>. Before this commit term_to_binary works and stop do= ing so afterwards. I will have a look at the changes and see if I can figur= e out what happened.</div><div class=3D"gmail_msg"><br class=3D"gmail_msg">= </div><div class=3D"gmail_msg">Cheers,</div><div class=3D"gmail_msg"><br cl= ass=3D"gmail_msg"></div></div><div class=3D"gmail_extra gmail_msg"><br clas= s=3D"gmail_msg"><div class=3D"gmail_quote gmail_msg">On 19 January 2017 at = 16:15, Michel Boaventura <span class=3D"gmail_msg"><<a href=3D"mailto:mi= [email protected]" class=3D"gmail_msg" target=3D"_blank">michel.boa= [email protected]</a>></span> wrote:<br class=3D"gmail_msg"><blockquote = class=3D"gmail_quote gmail_msg" style=3D"margin:0 0 0 .8ex;border-left:1px = #ccc solid;padding-left:1ex"><div class=3D"gmail_msg">Hi all,<div class=3D"= gmail_msg"><br class=3D"gmail_msg"></div><div class=3D"gmail_msg">I'm i= ndeed using zlib 1.2.11 on my gentoo. I can't downgrade it, since all t= he other versions were removed from portage.</div><div class=3D"gmail_msg">= <br class=3D"gmail_msg"></div><div class=3D"gmail_msg">I will clone zlib re= po and see if I can bisect the problem.</div><div class=3D"gmail_msg"><br c= lass=3D"gmail_msg"></div><div class=3D"gmail_msg">Thanks!</div></div><div c= lass=3D"gmail_extra gmail_msg"><div class=3D"gmail_msg"><div class=3D"m_873= 933735904875753h5 gmail_msg"><br class=3D"gmail_msg"><div class=3D"gmail_qu= ote gmail_msg">On 19 January 2017 at 15:45, Jeremy Huffman <span class=3D"g= mail_msg"><<a href=3D"mailto:[email protected]" class=3D"gmail_ms= g" target=3D"_blank">[email protected]</a>></span> wrote:<br clas= s=3D"gmail_msg"><blockquote class=3D"gmail_quote gmail_msg" style=3D"margin= :0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class=3D"gmai= l_msg">Yes it's exactly the same error message from dialyzer. And the f= act that he's getting it on Gentoo which builds from source suggests th= at 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 ha= d a problem pinned on zlib 1.2.11.</div><div class=3D"m_873933735904875753m= _-2202150234236710351HOEnZb gmail_msg"><div class=3D"m_873933735904875753m_= -2202150234236710351h5 gmail_msg"><div class=3D"gmail_msg"><br class=3D"gma= il_msg"></div><div class=3D"gmail_msg"><br class=3D"gmail_msg"><div class= =3D"gmail_quote gmail_msg"><div class=3D"gmail_msg">On Thu, Jan 19, 2017 at= 11:33 AM Kostis Sagonas <<a href=3D"mailto:[email protected]" class=3D"= gmail_msg" target=3D"_blank">[email protected]</a>> wrote:<br class=3D"g= mail_msg"></div><blockquote class=3D"gmail_quote gmail_msg" style=3D"margin= :0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 01/19/2017 03:4= 2 AM, Jeremy Huffman wrote:<br class=3D"m_873933735904875753m_-220215023423= 6710351m_-3024271280197485159gmail_msg gmail_msg"><br class=3D"gmail_msg">&= gt; Hi,<br class=3D"m_873933735904875753m_-2202150234236710351m_-3024271280= 197485159gmail_msg gmail_msg"><br class=3D"gmail_msg">><br class=3D"m_87= 3933735904875753m_-2202150234236710351m_-3024271280197485159gmail_msg gmail= _msg"><br class=3D"gmail_msg">> I'm an Arch Linux user and picked up= an update a few days ago that broke<br class=3D"m_873933735904875753m_-220= 2150234236710351m_-3024271280197485159gmail_msg gmail_msg"><br class=3D"gma= il_msg">> dialyzer. I bisected the last few days of updates and then nar= rowed the<br class=3D"m_873933735904875753m_-2202150234236710351m_-30242712= 80197485159gmail_msg gmail_msg"><br class=3D"gmail_msg">> problem to zli= b 1.2.10, which was released January 2nd. 1.2.11 was<br class=3D"m_87393373= 5904875753m_-2202150234236710351m_-3024271280197485159gmail_msg gmail_msg">= <br class=3D"gmail_msg">> released on the 15th as an emergency bug fix a= nd does not fix the<br class=3D"m_873933735904875753m_-2202150234236710351m= _-3024271280197485159gmail_msg gmail_msg"><br class=3D"gmail_msg">> prob= lem. Reverting my system back to 1.2.8 (the previous version<br class=3D"m_= 873933735904875753m_-2202150234236710351m_-3024271280197485159gmail_msg gma= il_msg"><br class=3D"gmail_msg">> packaged for Arch) did resolve the iss= ue.<br class=3D"m_873933735904875753m_-2202150234236710351m_-30242712801974= 85159gmail_msg gmail_msg"><br class=3D"gmail_msg">><br class=3D"m_873933= 735904875753m_-2202150234236710351m_-3024271280197485159gmail_msg gmail_msg= "><br class=3D"gmail_msg">> It seems doubtful this is an Erlang problem,= but I doubt I'm going to<br class=3D"m_873933735904875753m_-2202150234= 236710351m_-3024271280197485159gmail_msg gmail_msg"><br class=3D"gmail_msg"= >> write a test program to demonstrate the problem to them.=C2=A0 I thou= ght I<br class=3D"m_873933735904875753m_-2202150234236710351m_-302427128019= 7485159gmail_msg gmail_msg"><br class=3D"gmail_msg">> should at least re= port the issue in case others encounter it.<br class=3D"m_87393373590487575= 3m_-2202150234236710351m_-3024271280197485159gmail_msg gmail_msg"><br class= =3D"gmail_msg">><br class=3D"m_873933735904875753m_-2202150234236710351m= _-3024271280197485159gmail_msg gmail_msg"><br class=3D"gmail_msg">> To r= eproduce, one would need only install zlib 1.2.10 and then run:<br class=3D= "m_873933735904875753m_-2202150234236710351m_-3024271280197485159gmail_msg = gmail_msg"><br class=3D"gmail_msg">><br class=3D"m_873933735904875753m_-= 2202150234236710351m_-3024271280197485159gmail_msg gmail_msg"><br class=3D"= gmail_msg">> dialyzer --verbose --build_plt --apps erts --output_plt tes= t.plt<br class=3D"m_873933735904875753m_-2202150234236710351m_-302427128019= 7485159gmail_msg gmail_msg"><br class=3D"gmail_msg">><br class=3D"m_8739= 33735904875753m_-2202150234236710351m_-3024271280197485159gmail_msg gmail_m= sg"><br class=3D"gmail_msg">> Output would be along the lines of:<br cla= ss=3D"m_873933735904875753m_-2202150234236710351m_-3024271280197485159gmail= _msg gmail_msg"><br class=3D"gmail_msg">><br class=3D"m_8739337359048757= 53m_-2202150234236710351m_-3024271280197485159gmail_msg gmail_msg"><br clas= s=3D"gmail_msg">> dialyzer: Could not get abstract code for file:<br cla= ss=3D"m_873933735904875753m_-2202150234236710351m_-3024271280197485159gmail= _msg gmail_msg"><br class=3D"gmail_msg">> /usr/lib/erlang/lib/erts-8.2/e= bin/erlang.beam (please recompile it with<br class=3D"m_873933735904875753m= _-2202150234236710351m_-3024271280197485159gmail_msg gmail_msg"><br class= =3D"gmail_msg">> +debug_info)<br class=3D"m_873933735904875753m_-2202150= 234236710351m_-3024271280197485159gmail_msg gmail_msg"><br class=3D"gmail_m= sg">><br class=3D"m_873933735904875753m_-2202150234236710351m_-302427128= 0197485159gmail_msg gmail_msg"><br class=3D"gmail_msg">> There are also = errors when simply trying to do success typing analysis<br class=3D"m_87393= 3735904875753m_-2202150234236710351m_-3024271280197485159gmail_msg gmail_ms= g"><br class=3D"gmail_msg">> *using* any pre-existing PLT file, along li= nes of "this isn't a PLT<br class=3D"m_873933735904875753m_-220215= 0234236710351m_-3024271280197485159gmail_msg gmail_msg"><br class=3D"gmail_= msg">> file". The errors are not dependent upon the version of Erla= ng installed<br class=3D"m_873933735904875753m_-2202150234236710351m_-30242= 71280197485159gmail_msg gmail_msg"><br class=3D"gmail_msg">> - at least = anything I tried that was released on Arch in the 19.x branch<br class=3D"m= _873933735904875753m_-2202150234236710351m_-3024271280197485159gmail_msg gm= ail_msg"><br class=3D"gmail_msg">> will reproduce the problem.<br class= =3D"m_873933735904875753m_-2202150234236710351m_-3024271280197485159gmail_m= sg gmail_msg"><br class=3D"gmail_msg">><br class=3D"m_873933735904875753= m_-2202150234236710351m_-3024271280197485159gmail_msg gmail_msg"><br class= =3D"gmail_msg">> Anyway, I hope this report helps someone and I would be= curious if<br class=3D"m_873933735904875753m_-2202150234236710351m_-302427= 1280197485159gmail_msg gmail_msg"><br class=3D"gmail_msg">> anyone else = reproduces it, or especially if they fail to reproduce it.<br class=3D"m_87= 3933735904875753m_-2202150234236710351m_-3024271280197485159gmail_msg gmail= _msg"><br class=3D"gmail_msg"><br class=3D"m_873933735904875753m_-220215023= 4236710351m_-3024271280197485159gmail_msg gmail_msg"><br class=3D"gmail_msg= ">Earlier today (yesterday?), there was the following question on the<br cl= ass=3D"m_873933735904875753m_-2202150234236710351m_-3024271280197485159gmai= l_msg gmail_msg"><br class=3D"gmail_msg">erlang-questions mailing list:<br = class=3D"m_873933735904875753m_-2202150234236710351m_-3024271280197485159gm= ail_msg gmail_msg"><br class=3D"gmail_msg"><br class=3D"m_87393373590487575= 3m_-2202150234236710351m_-3024271280197485159gmail_msg gmail_msg"><br class= =3D"gmail_msg">=C2=A0 =C2=A0<a href=3D"http://erlang.org/pipermail/erlang-q= uestions/2017-January/091434.html" rel=3D"noreferrer" class=3D"m_8739337359= 04875753m_-2202150234236710351m_-3024271280197485159gmail_msg gmail_msg" ta= rget=3D"_blank">http://erlang.org/pipermail/erlang-questions/2017-January/0= 91434.html</a><br class=3D"m_873933735904875753m_-2202150234236710351m_-302= 4271280197485159gmail_msg gmail_msg"><br class=3D"gmail_msg"><br class=3D"m= _873933735904875753m_-2202150234236710351m_-3024271280197485159gmail_msg gm= ail_msg"><br class=3D"gmail_msg">I am willing to bet that problem with bina= ry_to_term is also caused by<br class=3D"m_873933735904875753m_-22021502342= 36710351m_-3024271280197485159gmail_msg gmail_msg"><br class=3D"gmail_msg">= zlib troubles.<br class=3D"m_873933735904875753m_-2202150234236710351m_-302= 4271280197485159gmail_msg gmail_msg"><br class=3D"gmail_msg"><br class=3D"m= _873933735904875753m_-2202150234236710351m_-3024271280197485159gmail_msg gm= ail_msg"><br class=3D"gmail_msg">Perhaps Michel (cc:) can inform us about h= is zlib version.<br class=3D"m_873933735904875753m_-2202150234236710351m_-3= 024271280197485159gmail_msg gmail_msg"><br class=3D"gmail_msg"><br class=3D= "m_873933735904875753m_-2202150234236710351m_-3024271280197485159gmail_msg = gmail_msg"><br class=3D"gmail_msg">Kostis<br class=3D"m_873933735904875753m= _-2202150234236710351m_-3024271280197485159gmail_msg gmail_msg"><br class= =3D"gmail_msg"></blockquote></div></div><br><br></div></div></blockquote></= div><br class=3D"gmail_msg"><br clear=3D"all" class=3D"gmail_msg"><div clas= s=3D"gmail_msg"><br class=3D"gmail_msg"></div></div></div><span class=3D"m_= 873933735904875753HOEnZb gmail_msg"><font color=3D"#888888" class=3D"gmail_= msg">-- <br class=3D"gmail_msg"><div class=3D"m_873933735904875753m_-220215= 0234236710351gmail_signature gmail_msg" data-smartmail=3D"gmail_signature">= Michel Almada de Castro Boaventura<br class=3D"gmail_msg">Analista de Siste= mas<br class=3D"gmail_msg">Laborat=C3=B3rio de Software Livre - LSL</div><b= r><br></font></span></div><br><br></blockquote></div><br class=3D"gmail_msg= "><br clear=3D"all" class=3D"gmail_msg"><div class=3D"gmail_msg"><br class= =3D"gmail_msg"></div>-- <br class=3D"gmail_msg"><div class=3D"m_87393373590= 4875753gmail_signature gmail_msg" data-smartmail=3D"gmail_signature">Michel= Almada de Castro Boaventura<br class=3D"gmail_msg">Analista de Sistemas<br= class=3D"gmail_msg">Laborat=C3=B3rio de Software Livre - LSL</div><br><br>= </div><br><br></blockquote></div></div> --94eb2c12e4c2e07a8e05467a8e29-- --===============7231807611226106795== 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 --===============7231807611226106795==--