diff options
| author | Björn-Egil Dahlberg <[email protected]> | 2015-03-17 17:39:26 +0100 |
|---|---|---|
| committer | Björn-Egil Dahlberg <[email protected]> | 2015-03-17 17:39:26 +0100 |
| commit | 35f694d655788911d0ee1671e19bf37752bfe198 (patch) | |
| tree | b3339a14383a007313a1140ab876bda8eaa21650 | |
| parent | 1c76474c90b4880cf7b7fde796b833c213f5bdfa (diff) | |
| download | otp-35f694d655788911d0ee1671e19bf37752bfe198.tar.gz otp-35f694d655788911d0ee1671e19bf37752bfe198.tar.bz2 otp-35f694d655788911d0ee1671e19bf37752bfe198.zip | |
dialyzer: Add missing clause for map in find_terminals
Reported-by: Ali Sabil
| -rw-r--r-- | lib/dialyzer/src/dialyzer_dataflow.erl | 1 |
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), |