diff options
author | Björn Gustavsson <[email protected]> | 2017-12-08 10:40:55 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2017-12-08 10:40:55 +0100 |
commit | 70c5dccad3d839a455682e22ac187e325c792112 (patch) | |
tree | 2e507e879306ee5dc89d270b69f87fac76e6a5eb /lib/dialyzer/src/dialyzer_dataflow.erl | |
parent | 842d3c0be0d2095c8d1e79ea3d672e191f7f954e (diff) | |
parent | 9dce8fe582cecb586375dafff4b84c11a1b3ac7e (diff) | |
download | otp-70c5dccad3d839a455682e22ac187e325c792112.tar.gz otp-70c5dccad3d839a455682e22ac187e325c792112.tar.bz2 otp-70c5dccad3d839a455682e22ac187e325c792112.zip |
Merge pull request #1634 from bjorng/bjorn/get_stacktrace-syntax/OTP-14692
Add syntax in try/catch to retrieve the stacktrace directly
Diffstat (limited to 'lib/dialyzer/src/dialyzer_dataflow.erl')
-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 8367432ac5..93cfea3c5e 100644 --- a/lib/dialyzer/src/dialyzer_dataflow.erl +++ b/lib/dialyzer/src/dialyzer_dataflow.erl @@ -299,6 +299,7 @@ traverse(Tree, Map, State) -> match_fail -> t_none(); raise -> t_none(); bs_init_writable -> t_from_term(<<>>); + build_stacktrace -> t_list(); Other -> erlang:error({'Unsupported primop', Other}) end, {State, Map, Type}; |