aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2018-02-07 15:16:15 +0100
committerHans Bolinder <[email protected]>2018-02-14 08:25:06 +0100
commit120760b543159d36d88f1feb204ff84c74306515 (patch)
treefc981f75d7cc755b89b6b35fcbfbc37c9132083f /lib/dialyzer/src
parent17a20d8f16f638697c64b4154968215835868d31 (diff)
downloadotp-120760b543159d36d88f1feb204ff84c74306515.tar.gz
otp-120760b543159d36d88f1feb204ff84c74306515.tar.bz2
otp-120760b543159d36d88f1feb204ff84c74306515.zip
dialyzer: Fix a crash
Diffstat (limited to 'lib/dialyzer/src')
-rw-r--r--lib/dialyzer/src/dialyzer_dataflow.erl7
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/dialyzer/src/dialyzer_dataflow.erl b/lib/dialyzer/src/dialyzer_dataflow.erl
index f6433a807d..fca5b74a9e 100644
--- a/lib/dialyzer/src/dialyzer_dataflow.erl
+++ b/lib/dialyzer/src/dialyzer_dataflow.erl
@@ -1235,6 +1235,13 @@ handle_tuple(Tree, Map, State) ->
State2 = state__add_warning(State1, ?WARN_OPAQUE,
Tree, Msg),
{State2, Map1, t_none()};
+ {error, record, ErrorPat, ErrorType, _} ->
+ Msg = {record_match,
+ [format_patterns(ErrorPat),
+ format_type(ErrorType, State1)]},
+ State2 = state__add_warning(State1, ?WARN_MATCHING,
+ Tree, Msg),
+ {State2, Map1, t_none()};
{Map2, ETypes} ->
{State1, Map2, t_tuple(ETypes)}
end