File 2162-Improve-coverage-of-beam_ssa_bool.patch of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 2162-Improve-coverage-of-beam_ssa_bool.patch of Package erlang (Revision a95c38533dd94a5c195230b3b146d029)

Currently displaying revision a95c38533dd94a5c195230b3b146d029 , Show latest

From 261ba043f5fd787e53e7e961dfc647468b5d68d6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Gustavsson?= <bjorn@erlang.org>
Date: Tue, 1 Aug 2023 05:35:43 +0200
Subject: [PATCH 2/2] Improve coverage of beam_ssa_bool

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

diff --git a/lib/compiler/test/guard_SUITE.erl b/lib/compiler/test/guard_SUITE.erl
index fb06396a96..143f320491 100644
--- a/lib/compiler/test/guard_SUITE.erl
+++ b/lib/compiler/test/guard_SUITE.erl
@@ -3140,6 +3140,9 @@ beam_ssa_bool_coverage() ->
     error = beam_ssa_bool_coverage_2(false),
     error = beam_ssa_bool_coverage_2(42),
 
+    error = beam_ssa_bool_coverage_3(42),
+    error = beam_ssa_bool_coverage_3(a),
+
     ok.
 
 collect_modifiers([H | T], Buffer)
@@ -3159,6 +3162,11 @@ beam_ssa_bool_coverage_2(A) when is_pid(A) andalso true; A ->
 beam_ssa_bool_coverage_2(_) ->
     error.
 
+beam_ssa_bool_coverage_3(A) when ok; ((ok =< A + 1) or false) and true orelse ok ->
+    ok;
+beam_ssa_bool_coverage_3(_) ->
+    error.
+
 gh_6164() ->
     true = do_gh_6164(id([])),
     {'EXIT',{{case_clause,42},_}} = catch do_gh_6164(id(0)),
-- 
2.35.3

Places

File 2162-Improve-coverage-of-beam_ssa_bool.patch of Package erlang (Revision a95c38533dd94a5c195230b3b146d029)

Places