[erlang-questions] Why does Dialyzer crash on this map?

Ali Sabil <>
Mon Mar 16 16:44:17 CET 2015


On Fri, Mar 13, 2015 at 11:35 AM, Ali Sabil <> wrote:

> Tried with the OTP master, and the issue is still there.
>
>
Does the following patch make any sense?

diff --git a/lib/dialyzer/src/dialyzer_dataflow.erl
b/lib/dialyzer/src/dialyzer_dataflow.erl
index 03005e6..3cdbf35 100644
--- a/lib/dialyzer/src/dialyzer_dataflow.erl
+++ b/lib/dialyzer/src/dialyzer_dataflow.erl
@@ -3477,6 +3477,7 @@ find_terminals(Tree) ->
     'let' -> find_terminals(cerl:let_body(Tree));
     letrec -> find_terminals(cerl:letrec_body(Tree));
     literal -> {false, true};
+    map -> {false, true};
     primop -> {false, false}; %% match_fail, etc. are not explicit exits.
     'receive' ->
       Timeout = cerl:receive_timeout(Tree),
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20150316/2dfee864/attachment-0001.html>


More information about the erlang-questions mailing list