[erlang-questions] How handle Error in Dialyzer

Lutz Behnke <>
Mon Oct 9 10:24:32 CEST 2017


Hi there,

I am experiencing a bug in Dialyzer (see log trace below), I have 
checked https://github.com/erlang/otp/wiki/Bug-reports, which tells me, 
I should prepare a minimal programm to show the error. Unfortunately I 
see the error only on a fairly large package. I have no idea how to 
start trimming my code without changing/removing the cause of the bug.

Could anybody give me some ideas what is causing the error, so that I 
can trimm only the blubber and not the meat?

Side note: The dialyzer is executing in a Docker environment running the 
curated erlang:latest image from Docker Hub (currently 20.1.1). I have 
tried with erlang:19, but got the same result.

TIA

mfg lutz

---------------------------log-----------------------------------------

===> Dialyzer starting, this may take a while...
===> Updating plt...
===> Resolving files...
===> Updating base plt...
===> Resolving files...
===> Building with 166 files in "/root/.cache/rebar3/rebar3_20.1.1_plt"...
===> Copying "/root/.cache/rebar3/rebar3_20.1.1_plt" to 
"/sage/LoadBalancingServer/_build/test/rebar3_20.1.1_plt"...
===> Checking 166 files in 
"/sage/LoadBalancingServer/_build/test/rebar3_20.1.1_plt"...
===> Adding 11 files to 
"/sage/LoadBalancingServer/_build/test/rebar3_20.1.1_plt"...
===> Doing success typing analysis...
===> Resolving files...
===> Analyzing 33 files with 
"/sage/LoadBalancingServer/_build/test/rebar3_20.1.1_plt"...

=ERROR REPORT==== 9-Oct-2017::07:34:49 ===
Error in process <0.25464.0> with exit value:
{{nocatch,{error,["dim_3_tree_map.erl",58,"14",58,32,
 
[73,108,108,101,103,97,108,32,100,101,99,108,97,114,97,116,
                    105,111,110,32,111,102,32,35,"dim_3_map",123,"map",125,
                    10]]}},
  [{dialyzer_utils,msg_with_position,2,
                   [{file,"dialyzer_utils.erl"},{line,451}]},
   {lists,foldl,3,[{file,"lists.erl"},{line,1263}]},
   {lists,foreach,2,[{file,"lists.erl"},{line,1338}]},
   {dialyzer_utils,process_record_remote_types,1,
                   [{file,"dialyzer_utils.erl"},{line,365}]},
   {dialyzer_analysis_callgraph,'-remote_type_postproc/2-fun-1-',4,
                                [{file,"dialyzer_analysis_callgraph.erl"},
                                 {line,206}]},
   {dialyzer_analysis_callgraph,'-remote_type_postprocessing/2-fun-0-',2,
                                [{file,"dialyzer_analysis_callgraph.erl"},
                                 {line,168}]}]}

=ERROR REPORT==== 9-Oct-2017::07:34:49 ===
Error in process <0.25428.0> with exit value:
{function_clause,
     [{dialyzer_codeserver,get_callbacks,
          [{{nocatch,
                {error,
                    ["dim_3_tree_map.erl",58,"14",58,32,
                     [73,108,108,101,103,97,108,32,100,101,99,108,97,114,97,
 
116,105,111,110,32,111,102,32,35,"dim_3_map",123,"map",
                      125,10]]}},
            [{dialyzer_utils,msg_with_position,2,
                 [{file,"dialyzer_utils.erl"},{line,451}]},
             {lists,foldl,3,[{file,"lists.erl"},{line,1263}]},
             {lists,foreach,2,[{file,"lists.erl"},{line,1338}]},
             {dialyzer_utils,process_record_remote_types,1,
                 [{file,"dialyzer_utils.erl"},{line,365}]},
 
{dialyzer_analysis_callgraph,'-remote_type_postproc/2-fun-1-',4,
                 [{file,"dialyzer_analysis_callgraph.erl"},{line,206}]},
             {dialyzer_analysis_callgraph,
                 '-remote_type_postprocessing/2-fun-0-',2,
                 [{file,"dialyzer_analysis_callgraph.erl"},{line,168}]}]}],
          [{file,"dialyzer_codeserver.erl"},{line,368}]},
 
{dialyzer_plt,insert_callbacks,2,[{file,"dialyzer_plt.erl"},{line,149}]},
      {dialyzer_analysis_callgraph,analysis_start,3,
          [{file,"dialyzer_analysis_callgraph.erl"},{line,143}]}]}
===> Error in dialyzing apps: Analysis failed with error:
{function_clause,
     [{dialyzer_codeserver,get_callbacks,
          [{{nocatch,
                {error,
                    ["dim_3_tree_map.erl",58,"14",58,32,
                     [73,108,108,101,103,97,108,32,100,101,99,108,97,114,97,
 
116,105,111,110,32,111,102,32,35,"dim_3_map",123,"map",
                      125,10]]}},
            [{dialyzer_utils,msg_with_position,2,
                 [{file,"dialyzer_utils.erl"},{line,451}]},
             {lists,foldl,3,[{file,"lists.erl"},{line,1263}]},
             {lists,foreach,2,[{file,"lists.erl"},{line,1338}]},
             {dialyzer_utils,process_record_remote_types,1,
                 [{file,"dialyzer_utils.erl"},{line,365}]},
 
{dialyzer_analysis_callgraph,'-remote_type_postproc/2-fun-1-',4,
                 [{file,"dialyzer_analysis_callgraph.erl"},{line,206}]},
             {dialyzer_analysis_callgraph,
                 '-remote_type_postprocessing/2-fun-0-',2,
                 [{file,"dialyzer_analysis_callgraph.erl"},{line,168}]}]}],
          [{file,"dialyzer_codeserver.erl"},{line,368}]},
 
{dialyzer_plt,insert_callbacks,2,[{file,"dialyzer_plt.erl"},{line,149}]},
      {dialyzer_analysis_callgraph,analysis_start,3,
          [{file,"dialyzer_analysis_callgraph.erl"},{line,143}]}]}
Last messages in the log cache:
   Reading files and computing callgraph... done in 0.14 secs
   Removing edges... done in 0.01 secs




-- 
Lutz Behnke
Hochschule für Angewandte Wissenschaften Hamburg,
Labor für Allgemeine Informatik,

phone: +49 40 42875-8156    mailto:
fax  : +49 40 2803770       http://users.informatik.haw-hamburg.de/~sage
Berliner Tor 7, 20099 Hamburg, Germany

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5006 bytes
Desc: S/MIME Cryptographic Signature
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20171009/6fad4989/attachment.bin>


More information about the erlang-questions mailing list