diff options
| author | Hans Bolinder <[email protected]> | 2018-02-15 16:51:37 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2018-02-15 16:51:37 +0100 |
| commit | 9e7b328be93eccaabaf22ff8081772031731026e (patch) | |
| tree | 84ae3b36817b8c9905b37453679c3a0e7bfbfd1c /lib/dialyzer/src | |
| parent | 62176184ba0a68d4c2ef17283a9915fddf87ddff (diff) | |
| parent | 9efdc2408ff33139878a58a58ab49402352a7a28 (diff) | |
| download | otp-9e7b328be93eccaabaf22ff8081772031731026e.tar.gz otp-9e7b328be93eccaabaf22ff8081772031731026e.tar.bz2 otp-9e7b328be93eccaabaf22ff8081772031731026e.zip | |
Merge branch 'maint'
* maint:
dialyzer: Fix a crash
Diffstat (limited to 'lib/dialyzer/src')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_dataflow.erl | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/dialyzer/src/dialyzer_dataflow.erl b/lib/dialyzer/src/dialyzer_dataflow.erl index 32f58efc75..6bd3c2f9a6 100644 --- a/lib/dialyzer/src/dialyzer_dataflow.erl +++ b/lib/dialyzer/src/dialyzer_dataflow.erl @@ -1236,6 +1236,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 |