File 1107-dialyzer-update-erlang-system_info-logical_processor.patch of Package erlang
From acb8f6ed66965ce78351acd12db39827ded9b800 Mon Sep 17 00:00:00 2001
From: Ildar Khizbulin <khizbulin@erlyvideo.org>
Date: Thu, 17 Oct 2024 11:58:52 +0300
Subject: [PATCH] dialyzer: update erlang:system_info logical_processors type
Fixes #8948
---
lib/dialyzer/src/erl_bif_types.erl | 6 ++++--
.../small_SUITE_data/results/logical_processors | 5 +++++
.../small_SUITE_data/src/logical_processors.erl | 16 ++++++++++++++++
3 files changed, 25 insertions(+), 2 deletions(-)
create mode 100644 lib/dialyzer/test/small_SUITE_data/results/logical_processors
create mode 100644 lib/dialyzer/test/small_SUITE_data/src/logical_processors.erl
diff --git a/lib/dialyzer/src/erl_bif_types.erl b/lib/dialyzer/src/erl_bif_types.erl
index 320b6bbcc4..37d9dcec89 100644
--- a/lib/dialyzer/src/erl_bif_types.erl
+++ b/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'] ->
diff --git a/lib/dialyzer/test/small_SUITE_data/results/logical_processors b/lib/dialyzer/test/small_SUITE_data/results/logical_processors
new file mode 100644
index 0000000000..d80aa4dac3
--- /dev/null
+++ b/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()
diff --git a/lib/dialyzer/test/small_SUITE_data/src/logical_processors.erl b/lib/dialyzer/test/small_SUITE_data/src/logical_processors.erl
new file mode 100644
index 0000000000..4bdf24432d
--- /dev/null
+++ b/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).
+
--
2.43.0
