[erlang-questions] Why does Dialyzer crash on this map?

[Ali Sabil]

Hi again,

Running dialyzer shipped with 17.5 on the same code base leads now to the
following error (17.4 works without any errors):

===> Error in dialyzing apps: Analysis failed with error:
{function_clause,[{erl_types,t_form_to_string,
                             [{type,36,map_field_assoc,
                                    {type,36,atom,[]},
                                    {type,36,term,[]}}],
                             [{file,"erl_types.erl"},{line,4546}]},
                  {erl_types,t_form_to_string_list,2,
                             [{file,"erl_types.erl"},{line,4637}]},
                  {erl_types,t_form_to_string,1,
                             [{file,"erl_types.erl"},{line,4634}]},
                  {erl_types,t_form_to_string_list,2,
                             [{file,"erl_types.erl"},{line,4637}]},
                  {erl_types,t_form_to_string,1,
                             [{file,"erl_types.erl"},{line,4634}]},
                  {dialyzer_contracts,contract_to_string_1,1,
                                      [{file,"dialyzer_contracts.erl"},
                                       {line,107}]},
                  {dialyzer_contracts,extra_contract_warning,6,
                                      [{file,"dialyzer_contracts.erl"},
                                       {line,712}]},
                  {dialyzer_contracts,picky_contract_check,7,
                                      [{file,"dialyzer_contracts.erl"},
                                       {line,686}]}]}
Last messages in the log cache:
  Reading files and computing callgraph... done in 1.21 secs
  Removing edges... done in 0.04 secs


On Wed, Mar 18, 2015 at 12:12 PM Björn-Egil Dahlberg <egil@REDACTED>
wrote:

> On 2015-03-18 12:01, Ali Sabil wrote:
> > I tried to create a minimal testcase but I unfortunately haven't been
> > able to. I was running dialyzer on a quite large code base and now
> > even the unpatched dialyzer works without any issue after I fixed all
> > the issues reported by dialyzer.
>
> Ah, well .. I suspect it was the missing clause in find_terminals and I
> had it on a TODO somewhere. Should be included to 17.5.
>
> // Björn-Egil
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20150407/f6d87a51/attachment.htm>