aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer
diff options
context:
space:
mode:
authorBjörn-Egil Dahlberg <[email protected]>2015-03-18 15:54:15 +0100
committerBjörn-Egil Dahlberg <[email protected]>2015-03-18 15:54:15 +0100
commit8f7756db0c1eec733e24d9fadef7c855981c6dc1 (patch)
tree71fa0868915576a384a9106fe7ad8af07cfa1b71 /lib/dialyzer
parent9b12c29ec079fca783eac10b5196ae55b58885d7 (diff)
parente4b5f63f6ba9ab7548c9cd3b93351d0120fd358f (diff)
downloadotp-8f7756db0c1eec733e24d9fadef7c855981c6dc1.tar.gz
otp-8f7756db0c1eec733e24d9fadef7c855981c6dc1.tar.bz2
otp-8f7756db0c1eec733e24d9fadef7c855981c6dc1.zip
Merge branch 'maint'
Diffstat (limited to 'lib/dialyzer')
-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 336b4641d4..48d1ab9ebc 100644
--- a/lib/dialyzer/src/dialyzer_dataflow.erl
+++ b/lib/dialyzer/src/dialyzer_dataflow.erl
@@ -3519,6 +3519,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),