From 57406f28602b0207879f08311c7e36629fb9c0bf Mon Sep 17 00:00:00 2001
From: Hans Bolinder <hasse@erlang.org>
Date: Mon, 5 Feb 2018 17:30:19 +0100
Subject: dialyzer: Assign a type to the  primop build_stacktrace

---
 .../test/small_SUITE_data/src/stacktrace.erl       | 73 ++++++++++++++++++++++
 1 file changed, 73 insertions(+)
 create mode 100644 lib/dialyzer/test/small_SUITE_data/src/stacktrace.erl

(limited to 'lib/dialyzer/test/small_SUITE_data/src/stacktrace.erl')

diff --git a/lib/dialyzer/test/small_SUITE_data/src/stacktrace.erl b/lib/dialyzer/test/small_SUITE_data/src/stacktrace.erl
new file mode 100644
index 0000000000..de79e710e9
--- /dev/null
+++ b/lib/dialyzer/test/small_SUITE_data/src/stacktrace.erl
@@ -0,0 +1,73 @@
+-module(stacktrace).
+
+%% Check the stacktrace variable introduced in Erlang/OTP 21.0
+
+-export([t1/0, t2/0, t3/0, t4/0, s1/0, s2/0, s3/0, s4/0]).
+
+t1() ->
+    try foo:bar()
+    catch
+        E:P:S ->
+            {a,b} = S, % can never match
+            {E, P}
+    end.
+
+t2() ->
+    try foo:bar()
+    catch
+        E:P:S ->
+            [a,b] = S, % can never match
+            {E, P}
+    end.
+
+t3() ->
+    try foo:bar()
+    catch
+        E:P:S ->
+            [{m,f,[],[]}] = S,
+            {E, P}
+    end.
+
+t4() ->
+    try foo:bar()
+    catch
+        E:P:S ->
+            [{m,f,1,[{file,"tjo"},{line,95}]}] = S,
+            {E, P}
+    end.
+
+s1() ->
+    try foo:bar()
+    catch
+        E:P ->
+            S = erlang:get_stacktrace(),
+            {a,b} = S, % can never match
+            {E, P}
+    end.
+
+s2() ->
+    try foo:bar()
+    catch
+        E:P ->
+            S = erlang:get_stacktrace(),
+            [a,b] = S, % can never match
+            {E, P}
+    end.
+
+s3() ->
+    try foo:bar()
+    catch
+        E:P ->
+            S = erlang:get_stacktrace(),
+            [{m,f,[],[]}] = S,
+            {E, P}
+    end.
+
+s4() ->
+    try foo:bar()
+    catch
+        E:P ->
+            S = erlang:get_stacktrace(),
+            [{m,f,1,[{file,"tjo"},{line,95}]}] = S,
+            {E, P}
+    end.
-- 
cgit v1.2.3