[erlang-bugs] dialyzer: Analysis failed with error: {function_clause, [{erl_types, inf_tuples_in_sets, ...

[Joseph Wayne Norton]

We stumbled upon a bug with dialyzer (R15B02).  Please see the attached Erlang module - a small counterexample.

regards,

- Joe N.


$ dialyzer -n --plt ~/.dialyzer_plt.R15B02 ebin/foo.beam
 Proceeding with analysis...
=ERROR REPORT==== 18-Sep-2012::14:40:49 ===
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...


dialyzer: Analysis failed with error:
{function_clause,[{erl_types,inf_tuples_in_sets,
                            [[{c,tuple_set,[...],...}],
                             [{c,tuple,...},{c,...}],
                             [],opaque],
                            [{file,"erl_types.erl"},{line,2453}]},
                 {erl_types,inf_tuple_sets,4,[{file,[...]},{line,...}]},
                 {erl_types,inf_tuple_sets,3,[{file,...},{...}]},
                 {erl_types,t_inf,3,[{...}|...]},
                 {dialyzer_contracts,'-check_contract/2-lc$^3/1-3-',2,[...]},
                 {dialyzer_contracts,check_contract,2,...},
                 {dialyzer_contracts,'-check_contracts/3-fun-0-',...},
                 {dict,...}]}
Last messages in the log cache:
 Reading files and computing callgraph... done in 0.06 secs
 Removing edges... done in 0.01 secs


-------------- next part --------------
A non-text attachment was scrubbed...
Name: foo.erl
Type: application/octet-stream
Size: 2167 bytes
Desc: not available
URL: <http://erlang.org/pipermail/erlang-bugs/attachments/20120918/3b32537f/attachment.obj>