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

[Stavros Aronis]

Hi!

I just submitted a patch containing a fix for this crash.

    git fetch git://github.com/aronisstav/otp.git dialyzer-fix

Thanks for the report!

Stavros

On Tue, Sep 18, 2012 at 7:55 AM, Joseph Wayne Norton <
norton@REDACTED> wrote:

>
> 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
>
>
>
> _______________________________________________
> erlang-bugs mailing list
> erlang-bugs@REDACTED
> http://erlang.org/mailman/listinfo/erlang-bugs
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-bugs/attachments/20120926/48cb6c02/attachment.htm>