Improve coverage of beam_ssa_bool

bjorng · Aug 1, 2023 · cbbe0d1 · cbbe0d1
1 parent 6b2bc63
commit cbbe0d1
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/lib/compiler/test/guard_SUITE.erl b/lib/compiler/test/guard_SUITE.erl
@@ -3139,6 +3139,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)
@@ -3158,6 +3161,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)),