nocatch error in dialyzer, R14A
Nico Kruber
kruber@REDACTED
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