aboutsummaryrefslogtreecommitdiffstats
path: root/lib/hipe/cerl
diff options
context:
space:
mode:
authorSverker Eriksson <[email protected]>2012-08-27 11:59:01 +0200
committerSverker Eriksson <[email protected]>2012-08-28 16:36:37 +0200
commit830a13cd43ce59ac8b1ce07e830f3b8f7f7d9eec (patch)
tree4793b718b18003a110acc318e9efe36c32e5ff23 /lib/hipe/cerl
parent16e18097c0a876fdc4714086b6715359f8ac8476 (diff)
downloadotp-830a13cd43ce59ac8b1ce07e830f3b8f7f7d9eec.tar.gz
otp-830a13cd43ce59ac8b1ce07e830f3b8f7f7d9eec.tar.bz2
otp-830a13cd43ce59ac8b1ce07e830f3b8f7f7d9eec.zip
Fix dialyzer warning for system_flag(scheduler_wall_time)
Diffstat (limited to 'lib/hipe/cerl')
-rw-r--r--lib/hipe/cerl/erl_bif_types.erl6
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/hipe/cerl/erl_bif_types.erl b/lib/hipe/cerl/erl_bif_types.erl
index 17b56a1243..1a75c1ed7e 100644
--- a/lib/hipe/cerl/erl_bif_types.erl
+++ b/lib/hipe/cerl/erl_bif_types.erl
@@ -1532,6 +1532,8 @@ type(erlang, system_flag, 2, Xs) ->
t_sequential_tracer();
['trace_control_word'] ->
t_integer();
+ ['scheduler_wall_time'] ->
+ t_boolean();
List when is_list(List) ->
T_system_flag_2;
unknown ->
@@ -3925,6 +3927,7 @@ arg_types(erlang, system_flag, 2) ->
t_atom('trace_control_word'),
%% 'internal_cpu_topology' is an undocumented internal feature.
t_atom('internal_cpu_topology'),
+ t_atom('scheduler_wall_time'),
t_integer()]),
t_sup([t_integer(),
%% 'cpu_topology'
@@ -3940,6 +3943,9 @@ arg_types(erlang, system_flag, 2) ->
%% The following two are for 'multi_scheduling'
t_atom('block'),
t_atom('unblock'),
+ %% For 'scheduler_wall_time'
+ t_atom('true'),
+ t_atom('false'),
%% The following is for 'internal_cpu_topology'
t_internal_cpu_topology()])];
arg_types(erlang, system_info, 1) ->