diff options
| author | Magnus Lång <[email protected]> | 2016-02-28 00:25:32 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2016-04-28 16:16:09 +0200 |
| commit | e16ff38bd1f235eefa0fbee87e9ee6dd0fc94e2a (patch) | |
| tree | bc0c8cd399c0f8e070427eee80b4dff3b140148d /lib/dialyzer/test | |
| parent | ebd967522612333e52a884181e6132b1ba7e5239 (diff) | |
| download | otp-e16ff38bd1f235eefa0fbee87e9ee6dd0fc94e2a.tar.gz otp-e16ff38bd1f235eefa0fbee87e9ee6dd0fc94e2a.tar.bz2 otp-e16ff38bd1f235eefa0fbee87e9ee6dd0fc94e2a.zip | |
dialyzer_dataflow: Fix try in guards
The assumption that 'try' nodes were only used to wrap entire guards is
no longer true.
We're still swallowing warnings when the handler returns successfully.
Unfortunately, bind_guard/5 would need to be refactored to return a new
state in order to generate those warnings.
Diffstat (limited to 'lib/dialyzer/test')
| -rw-r--r-- | lib/dialyzer/test/map_SUITE_data/results/guard_update | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/lib/dialyzer/test/map_SUITE_data/results/guard_update b/lib/dialyzer/test/map_SUITE_data/results/guard_update index f6200ae2af..e4bc892195 100644 --- a/lib/dialyzer/test/map_SUITE_data/results/guard_update +++ b/lib/dialyzer/test/map_SUITE_data/results/guard_update @@ -1,7 +1,4 @@ -guard_update.erl:12: Function t2/0 has no local return -guard_update.erl:15: Clause guard cannot succeed. The variable M was matched against the type #{'a':=2} -guard_update.erl:15: Function f2/1 has no local return guard_update.erl:5: Function t/0 has no local return guard_update.erl:6: The call guard_update:f(#{'a':=2}) will never return since it differs in the 1st argument from the success typing arguments: (#{'b':=_, ...}) guard_update.erl:8: Clause guard cannot succeed. The variable M was matched against the type #{'a':=2} |