[erlang-bugs] Dialyzer Bugs

[Magnus Henoch]

Michael Truog <mjtruog@REDACTED> writes:

>>> 2) -Wrace_conditions causes the dialyzer execution time to vary with the
>>> possibility that dialyzer execution will not finish.  The memory of
>>> dialyzer can also grow to much larger sizes >1GB while this occurs. I
>>> had this occur awhile ago with R16B03-1 while leaving dialyzer to run
>>> and it refused to finish after roughly 40 minutes when a normal run
>>> takes 1 minute (roughly).  I recently talked to a person on IRC
>>> (freenode in the #erlang room) which had the same problem where the
>>> person's dev machine was affected but the CI server never had any
>>> problem completing the dialyzer runs.  It seems like this appears only
>>> when a sufficiently large amount of Erlang source code is used for the
>>> dialyzer run.  The person suspected that a corrupt file might have
>>> caused the problem to appear, but I doubted that -Wrace_conditions would
>>> be modifying any state on disk (it wouldn't be changing a PLT file,
>>> right?).
>>
>> This is a known issue. The analysis that finds data races performs
>> intra-procedural data flow analysis and can sometimes explode in
>> time. Hence it is not enabled by default. Enable it at your own risk.
> It makes sense that this is a known issue, but it would be nice if the
> dialyzer HTML documentation warned about it.

Like this?  https://github.com/erlang/otp/pull/437/files

Regards,
Magnus