[erlang-bugs] dialyzer: {{badmatch,none},[{erl_types,t_limit_k,2},...

[Nico Kruber]

sorry, I forgot to mention how to reproduce it.I suppose, I cannot create a minimal case since this is some limit (?), but you can test it using our code base:
svn checkout http://scalaris.googlecode.com/svn/trunk/ scalaris
cd scalaris
./configure
dialyzer -Dtid_not_builtin    -Dwith_export_type_support -Werror_handling -Wrace_conditions -Wunmatched_returns -I include/ -I contrib/yaws/include/ -I contrib/log4erl/include/ --src -c src src/*/ test/unittest_helper.erl test/tester*.erl test/mockup*.erl

(this is for R14B01)

without the test/mockup*.erl modules, dialyzer runs fine...


On Thursday 03 February 2011 11:36:42 Nico Kruber wrote:
> I ran into the following error with the dialyzer, today - maybe you can give me a hint on what is wrong or maybe it is even a bug in the dialyzer(?)
> ----------
>   Checking whether the PLT /home/nico/.dialyzer_plt is up-to-date... yes
>   Proceeding with analysis...
> =ERROR REPORT==== 3-Feb-2011::11:19:57 ===
> Error in process <0.29.0> with exit value: {{badmatch,none},[{erl_types,t_limit_k,2},{erl_types,'-t_limit_k/2-lc$^0/1-2-',2},{erl_types,'-t_limit_k/2-lc$^0/1-2-',2},{erl_types,t_limit_k,2},{dialyzer_typesig,enter_type,3},{dialyzer_typesig,enter_type_list,2},{dialyzer_typesig... 
> 
> 
> dialyzer: Analysis failed with error: {{badmatch,none},
>  [{erl_types,t_limit_k,2},
>   {erl_types,'-t_limit_k/2-lc$^0/1-2-',2},
>   {erl_types,'-t_limit_k/2-lc$^0/1-2-',2},
>   {erl_types,t_limit_k,2},
>   {dialyzer_typesig,enter_type,3},
>   {dialyzer_typesig,enter_type_list,2},
>   {dialyzer_typesig,solve_subtype,...},
>   {dialyzer_typesig,...}]}
> Last messages in the log cache:
>   Typesig analysis for SCC: [{group_tob,module_info,0}]
>   Typesig analysis for SCC: [{group_tob,module_info,1}]
>   Typesig analysis for SCC: [{group_tob,is_current_decision,2}]
>   Typesig analysis for SCC: [{group_tob,is_past_decision,2}]
>   Typesig analysis for SCC: [{group_tob,is_decision_from_other_group_id,2}]
>   Typesig analysis for SCC: [{mockup_dht_node,module_state_to_my_state,2}]
>   Typesig analysis for SCC: [{mockup_dht_node,module_info,1}]
>   Typesig analysis for SCC: [{mockup_dht_node,start_link,2}]
>   Typesig analysis for SCC: [{mockup_dht_node,module_info,0}]
>   Typesig analysis for SCC: [{mockup_dht_node,on,2}]
> ----------
> 
> Regards,
> Nico Kruber
-------------- 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/20110203/c94461fc/attachment.bin>