aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorBjörn-Egil Dahlberg <[email protected]>2015-03-18 15:53:55 +0100
committerBjörn-Egil Dahlberg <[email protected]>2015-03-18 15:53:55 +0100
commite4b5f63f6ba9ab7548c9cd3b93351d0120fd358f (patch)
tree4ef5455d96785b50afb074551d331322a4c3bcce
parent5f5aa9ef75e21d7351d489bc8e28697cbb23219a (diff)
parent35f694d655788911d0ee1671e19bf37752bfe198 (diff)
downloadotp-e4b5f63f6ba9ab7548c9cd3b93351d0120fd358f.tar.gz
otp-e4b5f63f6ba9ab7548c9cd3b93351d0120fd358f.tar.bz2
otp-e4b5f63f6ba9ab7548c9cd3b93351d0120fd358f.zip
Merge branch 'egil/dialyzer/fix-find_terminals/OTP-12577' into maint
* egil/dialyzer/fix-find_terminals/OTP-12577: dialyzer: Add missing clause for map in find_terminals
-rw-r--r--lib/dialyzer/src/dialyzer_dataflow.erl1
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/dialyzer/src/dialyzer_dataflow.erl b/lib/dialyzer/src/dialyzer_dataflow.erl
index 03005e689f..3cdbf3569a 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),