Merge pull request #8954 from hizel/logical-processors-type

dialyzer: update erlang:system_info logical_processors type

OTP-19307

lib/dialyzer/src/erl_bif_types.erl

@@ -918,8 +918,10 @@ type(erlang, system_info, 1, Xs, Opaques) ->
 		     t_internal_cpu_topology();
 		   ['loaded'] ->
 		     t_binary();
-		   ['logical_processors'] ->
-		     t_non_neg_fixnum();
+		   [P] when P == 'logical_processors'
+		        orelse P == 'logical_processors_available'
+		        orelse P == 'logical_processors_online' ->
+		     t_sup([t_non_neg_fixnum(),t_atom('unknown')]);
 		   ['machine'] ->
 		     t_string();
 		   ['multi_scheduling'] ->

lib/dialyzer/test/small_SUITE_data/results/logical_processors

@@ -0,0 +1,5 @@
+
+logical_processors.erl:11:1: Function t1/0 has no local return
+logical_processors.erl:12:7: The pattern 'ok' can never match the type 'unknown' | non_neg_integer()
+logical_processors.erl:14:1: Function t2/0 has no local return
+logical_processors.erl:15:7: The pattern 'ok' can never match the type 'unknown' | non_neg_integer()

lib/dialyzer/test/small_SUITE_data/src/logical_processors.erl

@@ -0,0 +1,16 @@
+-module(logical_processors).
+
+-export([t0/0,t1/0,t2/0]).
+
+t0() ->
+      unknown = erlang:system_info(logical_processors),
+      unknown = erlang:system_info(logical_processors_available),
+      unknown = erlang:system_info(logical_processors_online),
+      ok.
+
+t1() ->
+      ok = erlang:system_info(logical_processors_available).
+
+t2() ->
+      ok = erlang:system_info(logical_processors_online).
+