Hi!<div><br></div><div>I just submitted a patch containing a fix for this crash.</div><div><br></div><div>    git fetch git://<a href="http://github.com/aronisstav/otp.git">github.com/aronisstav/otp.git</a> dialyzer-fix</div>

<div><br></div><div>Thanks for the report!</div><div><br></div><div>Stavros<br><br><div class="gmail_quote">On Tue, Sep 18, 2012 at 7:55 AM, Joseph Wayne Norton <span dir="ltr"><<a href="mailto:norton@lovely.email.ne.jp" target="_blank">norton@lovely.email.ne.jp</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
We stumbled upon a bug with dialyzer (R15B02).  Please see the attached Erlang module - a small counterexample.<br>
<br>
regards,<br>
<br>
- Joe N.<br>
<br>
<br>
$ dialyzer -n --plt ~/.dialyzer_plt.R15B02 ebin/foo.beam<br>
 Proceeding with analysis...<br>
=ERROR REPORT==== 18-Sep-2012::14:40:49 ===<br>
Error in process <0.38.0> with exit value: {function_clause,[{erl_types,inf_tuples_in_sets,[[{c,tuple_set,[{3,[{c,tuple,[{c,atom,[inet],unknown},{c,tuple_set,[{4,[{c,tuple,[{c,number,{int_rng,0,255},integer},{c,number,{int_rng,0,255},integer},{c,number,{int_rng...<br>


<br>
<br>
dialyzer: Analysis failed with error:<br>
{function_clause,[{erl_types,inf_tuples_in_sets,<br>
                            [[{c,tuple_set,[...],...}],<br>
                             [{c,tuple,...},{c,...}],<br>
                             [],opaque],<br>
                            [{file,"erl_types.erl"},{line,2453}]},<br>
                 {erl_types,inf_tuple_sets,4,[{file,[...]},{line,...}]},<br>
                 {erl_types,inf_tuple_sets,3,[{file,...},{...}]},<br>
                 {erl_types,t_inf,3,[{...}|...]},<br>
                 {dialyzer_contracts,'-check_contract/2-lc$^3/1-3-',2,[...]},<br>
                 {dialyzer_contracts,check_contract,2,...},<br>
                 {dialyzer_contracts,'-check_contracts/3-fun-0-',...},<br>
                 {dict,...}]}<br>
Last messages in the log cache:<br>
 Reading files and computing callgraph... done in 0.06 secs<br>
 Removing edges... done in 0.01 secs<br>
<br>
<br>
<br>_______________________________________________<br>
erlang-bugs mailing list<br>
<a href="mailto:erlang-bugs@erlang.org">erlang-bugs@erlang.org</a><br>
<a href="http://erlang.org/mailman/listinfo/erlang-bugs" target="_blank">http://erlang.org/mailman/listinfo/erlang-bugs</a><br>
<br></blockquote></div><br></div>