Merge branch 'sa/dialyzer-tests' into dev

* sa/dialyzer-tests: (22 commits)
  Update dialyzer.spec
  Add race/ets_insert_public
  Add opaque/ewgi,ewgi2
  Add opaque/schuett_bug
  Add small/param_types_crash
  Add small/file_open_encoding
  Add small/false_false
  Add small/ets_update_counter
  Add small/bin_compr
  Add small/tuple_set_crash
  Add small/refine_failing
  Add small/not_bogus_warning
  Add small/none_scc_inf_loop
  Add small/guards
  Add small/guard_warnings
  Add small/confusing_record_warning
  Add small/blame_contract_range
  Update small/recursive_types2 source
  Update opaque/zoltan_kis* sources
  Update options1/compiler results
  ...

OTP-9278

1 files changed, 23 insertions, 0 deletions

diff --git a/lib/dialyzer/test/race_SUITE_data/src/whereis_vars21.erl b/lib/dialyzer/test/race_SUITE_data/src/whereis_vars21.erl
new file mode 100644
index 0000000000..73d22d3467
--- /dev/null
+++ b/lib/dialyzer/test/race_SUITE_data/src/whereis_vars21.erl
@@ -0,0 +1,23 @@
+%% This tests that no warnings appear when there is no specific
+%% information about the types and the variables are not bound.
+
+-module(whereis_vars21).
+-export([start/3]).
+
+start(AnAtom, OtherAtom, Fun) ->
+  case whereis(AnAtom) of
+    undefined ->
+      Pid = spawn(Fun),
+      case Pid =:= self() of
+        true -> ok;
+        false ->
+          case AnAtom of
+            maria when AnAtom =/= OtherAtom -> ok;
+            kostis when AnAtom =/= OtherAtom ->
+              register(OtherAtom, Pid);
+            _Other -> ok
+	  end
+      end;
+    P when is_pid(P) ->
+      ok
+  end.