[erlang-questions] How handle Error in Dialyzer

Lutz Behnke lutz.behnke@REDACTED
Mon Oct 9 12:16:12 CEST 2017


I meant 'large' when compared to a piece of code of maybe 1-3 modules 
that would be ideal to provoke the error for further analysis.

You are right regarding the module dim_3_tree_map. I had not identified 
it as the culprit, as it does not follow the naming convention of the 
application and did not recognized it as one of ours.

And due to the unfamiliar form of the error messages, I did not 
initially consider the code under test to be the culprit.

mfg lutz

Am 09.10.2017 um 10:57 schrieb Kostis Sagonas:
> On 10/09/2017 10:24 AM, Lutz Behnke wrote:
>> 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?
> As it's pretty clear from the line below, the crash happens when 
> analyzing one of these 33 modules:
>> ===> Analyzing 33 files with 
>> "/sage/LoadBalancingServer/_build/test/rebar3_20.1.1_plt"...
> It's not a very small number, but it's not a very big one either.  I 
> would start with "some educated guess" on a subset of them.
> Also, the lines below refer to a file "dim_3_tree_map.erl", which is 
> most likely involved in the problem (if not the culprit) and to a module 
> that is supposed to contain -- if not actually contains -- callbacks.
> So, I think you have a starting point.
> Hope this helps,
> Kostis
>> =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]]}},
>> ===> 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,

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

phone: +49 40 42875-8156    mailto:lutz.behnke@REDACTED
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/0c65b9c8/attachment.bin>

More information about the erlang-questions mailing list