nocatch error in dialyzer, R14A

Nico Kruber <>
Tue Aug 31 14:59:02 CEST 2010


While I was trying to make a minimal example for another strange behaviour of 
the dialyzer I found the following bug calling

> dialyzer -Werror_handling -Wrace_conditions --src -c rec*.erl --no_native

with the attached files in the current directory:

  Checking whether the PLT /home/nico/.dialyzer_plt is up-to-date... yes
  Proceeding with analysis...
=ERROR REPORT==== 31-Aug-2010::14:53:04 ===
Error in process <0.29.0> with exit value: {{nocatch,{error,
[73,108,108,101,103,97,108,32,100,101,99,108,97,114,97,116,105,111,110,32,111,102,32,"rec2",35,123,"id",125,10]}},
[{erl_types,record_from_form,5},{erl_types,t_from_form,3},{erl_types,'-
t_opaque_from_records/1-anonymous-2-',3},{dict,map_bucket,2},
{dict,map_bkt_list,2},{dict... 


dialyzer: Analysis failed with error: {{nocatch,{error,
[73,108,108,101,103,97|...]}},
 [{erl_types,record_from_form,5},
  {erl_types,t_from_form,3},
  {erl_types,'-t_opaque_from_records/1-anonymous-2-',3},
  {dict,map_bucket,2},
  {dict,map_bkt_list,2},
  {dict,map_bkt_list,2},
  {dict,map_seg_list,...},
  {dict,...}]}
Last messages in the log cache:
  Reading files and computing callgraph... done in 0.06 secs
  Removing edges... done in 0.01 secs
  Typesig analysis for SCC: [{rec2,module_info,1}]
-------------- next part --------------
A non-text attachment was scrubbed...
Name: rec1.erl
Type: text/x-erlang
Size: 73 bytes
Desc: not available
URL: <http://erlang.org/pipermail/erlang-bugs/attachments/20100831/4b004812/attachment.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: rec2.erl
Type: text/x-erlang
Size: 97 bytes
Desc: not available
URL: <http://erlang.org/pipermail/erlang-bugs/attachments/20100831/4b004812/attachment-0001.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 198 bytes
Desc: This is a digitally signed message part.
URL: <http://erlang.org/pipermail/erlang-bugs/attachments/20100831/4b004812/attachment-0002.bin>


More information about the erlang-bugs mailing list