File 0785-Cover-beam_ssa_opt-opt_ssa_sink-1.patch of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 0785-Cover-beam_ssa_opt-opt_ssa_sink-1.patch of Package erlang (Revision cfea4cb463bae0c770730e27e14c06dd)

Currently displaying revision cfea4cb463bae0c770730e27e14c06dd , Show latest

From 8655f46177a47e6565629f6fa3ce9c86a2dc8892 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Gustavsson?= <bjorn@erlang.org>
Date: Mon, 14 Oct 2019 11:53:10 +0200
Subject: [PATCH 3/3] Cover beam_ssa_opt:opt_ssa_sink/1

---
 lib/compiler/test/receive_SUITE.erl | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/lib/compiler/test/receive_SUITE.erl b/lib/compiler/test/receive_SUITE.erl
index 49a57cd1ff..f9f59207c8 100644
--- a/lib/compiler/test/receive_SUITE.erl
+++ b/lib/compiler/test/receive_SUITE.erl
@@ -135,6 +135,11 @@ coverage(Config) when is_list(Config) ->
 
     {'EXIT',{{badmap,[]},_}} = (catch monitor_plus_badmap(self())),
 
+
+    self() ! {data,no_data},
+    ok = receive_sink_tuple({any,pattern}),
+    {b,a} = receive_sink_tuple({a,b}),
+
     ok.
 
 monitor_plus_badmap(Pid) ->
@@ -183,6 +188,16 @@ tuple_to_values(Timeout, X) ->
 	    end,
     A+B.
 
+%% Cover a help function for beam_ssa_opt:ssa_opt_sink/1.
+receive_sink_tuple({Line,Pattern}) ->
+    receive
+        {data,_} ->
+            ok
+    after 1 ->
+            id({Pattern,Line})
+    end.
+
+
 %% OTP-7980. Thanks to Vincent de Phily. The following code would
 %% be inccorrectly optimized by beam_jump.
 
-- 
2.16.4

Places

File 0785-Cover-beam_ssa_opt-opt_ssa_sink-1.patch of Package erlang (Revision cfea4cb463bae0c770730e27e14c06dd)

Places