aboutsummaryrefslogtreecommitdiffstats
path: root/erts/emulator/test/bif_SUITE.erl
diff options
context:
space:
mode:
Diffstat (limited to 'erts/emulator/test/bif_SUITE.erl')
-rw-r--r--erts/emulator/test/bif_SUITE.erl317
1 files changed, 317 insertions, 0 deletions
diff --git a/erts/emulator/test/bif_SUITE.erl b/erts/emulator/test/bif_SUITE.erl
new file mode 100644
index 0000000000..cfbc5dfe81
--- /dev/null
+++ b/erts/emulator/test/bif_SUITE.erl
@@ -0,0 +1,317 @@
+%%
+%% %CopyrightBegin%
+%%
+%% Copyright Ericsson AB 2005-2009. All Rights Reserved.
+%%
+%% The contents of this file are subject to the Erlang Public License,
+%% Version 1.1, (the "License"); you may not use this file except in
+%% compliance with the License. You should have received a copy of the
+%% Erlang Public License along with this software. If not, it can be
+%% retrieved online at http://www.erlang.org/.
+%%
+%% Software distributed under the License is distributed on an "AS IS"
+%% basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See
+%% the License for the specific language governing rights and limitations
+%% under the License.
+%%
+%% %CopyrightEnd%
+%%
+
+-module(bif_SUITE).
+
+-include("test_server.hrl").
+
+-export([all/1,init_per_testcase/2,fin_per_testcase/2,
+ t_list_to_existing_atom/1,os_env/1,otp_7526/1,
+ binary_to_atom/1,binary_to_existing_atom/1,
+ atom_to_binary/1,min_max/1]).
+
+all(suite) ->
+ [t_list_to_existing_atom,os_env,otp_7526,
+ atom_to_binary,binary_to_atom,binary_to_existing_atom,
+ min_max].
+
+init_per_testcase(Func, Config) when is_atom(Func), is_list(Config) ->
+ Dog=?t:timetrap(?t:minutes(1)),
+ [{watchdog, Dog}|Config].
+
+fin_per_testcase(_Func, Config) ->
+ Dog=?config(watchdog, Config),
+ ?t:timetrap_cancel(Dog).
+
+t_list_to_existing_atom(Config) when is_list(Config) ->
+ ?line all = list_to_existing_atom("all"),
+ ?line ?MODULE = list_to_existing_atom(?MODULE_STRING),
+ ?line UnlikelyStr = "dsfj923874390867er869fds9864y97jhg3973qerueoru",
+ try
+ ?line list_to_existing_atom(UnlikelyStr),
+ ?line ?t:fail()
+ catch
+ error:badarg -> ok
+ end,
+
+ %% The compiler has become smarter! We need the call to id/1 in
+ %% the next line.
+ ?line UnlikelyAtom = list_to_atom(id(UnlikelyStr)),
+ ?line UnlikelyAtom = list_to_existing_atom(UnlikelyStr),
+ ok.
+
+os_env(doc) ->
+ [];
+os_env(suite) ->
+ [];
+os_env(Config) when is_list(Config) ->
+ ?line EnvVar1 = "MjhgvFDrresdCghN mnjkUYg vfrD",
+ ?line false = os:getenv(EnvVar1),
+ ?line true = os:putenv(EnvVar1, "mors"),
+ ?line "mors" = os:getenv(EnvVar1),
+ ?line true = os:putenv(EnvVar1, ""),
+ ?line case os:getenv(EnvVar1) of
+ "" -> ?line ok;
+ false -> ?line ok;
+ BadVal -> ?line ?t:fail(BadVal)
+ end,
+ %% os:putenv and os:getenv currently uses a temp buf of size 1024
+ %% for storing key+value
+ ?line os_env_long(1010, 1030, "hej hopp").
+
+os_env_long(Min, Max, _Value) when Min > Max ->
+ ?line ok;
+os_env_long(Min, Max, Value) ->
+ ?line EnvVar = lists:duplicate(Min, $X),
+ ?line true = os:putenv(EnvVar, Value),
+ ?line Value = os:getenv(EnvVar),
+ ?line true = os:putenv(EnvVar, ""),
+ ?line os_env_long(Min+1, Max, Value).
+
+otp_7526(doc) ->
+ ["Test that string:to_integer does not Halloc in wrong order."];
+otp_7526(Config) when is_list(Config) ->
+ ok = test_7526(256).
+
+iterate_7526(0, Acc) -> Acc;
+iterate_7526(N, Acc) ->
+ iterate_7526(N - 1,
+ [case string:to_integer("9223372036854775808,\n") of
+ {Int, _Foo} -> Int
+ end | Acc]).
+
+do_test_7526(N,M) ->
+ {Self, Ref} = {self(), make_ref()},
+ T = erlang:make_tuple(M,0),
+ spawn_opt(fun()->
+ L = iterate_7526(N, []),
+ BadList = [X || X <- L, X =/= 9223372036854775808],
+ BadLen = length(BadList),
+ M = length(tuple_to_list(T)),
+ %%io:format("~b bad conversions: ~p~n", [BadLen, BadList]),
+ Self ! {done, Ref, BadLen}
+ end,
+ [link,{fullsweep_after,0}]),
+ receive {done, Ref, Len} -> Len end.
+
+
+test_7526(0) ->
+ ok;
+test_7526(N) ->
+ case do_test_7526(1000,N) of
+ 0 -> test_7526(N-1);
+ Other ->
+ {error,N,Other}
+ end.
+
+-define(BADARG(E), {'EXIT',{badarg,_}} = (catch E)).
+-define(SYS_LIMIT(E), {'EXIT',{system_limit,_}} = (catch E)).
+
+binary_to_atom(Config) when is_list(Config) ->
+ HalfLong = lists:seq(0, 127),
+ HalfLongAtom = list_to_atom(HalfLong),
+ HalfLongBin = list_to_binary(HalfLong),
+ Long = lists:seq(0, 254),
+ LongAtom = list_to_atom(Long),
+ LongBin = list_to_binary(Long),
+
+ %% latin1
+ ?line '' = test_binary_to_atom(<<>>, latin1),
+ ?line '\377' = test_binary_to_atom(<<255>>, latin1),
+ ?line HalfLongAtom = test_binary_to_atom(HalfLongBin, latin1),
+ ?line LongAtom = test_binary_to_atom(LongBin, latin1),
+
+ %% utf8
+ ?line '' = test_binary_to_atom(<<>>, utf8),
+ ?line HalfLongAtom = test_binary_to_atom(HalfLongBin, utf8),
+ ?line HalfLongAtom = test_binary_to_atom(HalfLongBin, unicode),
+ ?line [] = [C || C <- lists:seq(128, 255),
+ begin
+ list_to_atom([C]) =/=
+ test_binary_to_atom(<<C/utf8>>, utf8)
+ end],
+
+ %% badarg failures.
+ ?line fail_binary_to_atom(atom),
+ ?line fail_binary_to_atom(42),
+ ?line fail_binary_to_atom({a,b,c}),
+ ?line fail_binary_to_atom([1,2,3]),
+ ?line fail_binary_to_atom([]),
+ ?line fail_binary_to_atom(42.0),
+ ?line fail_binary_to_atom(self()),
+ ?line fail_binary_to_atom(make_ref()),
+ ?line fail_binary_to_atom(<<0:7>>),
+ ?line fail_binary_to_atom(<<42:13>>),
+ ?line ?BADARG(binary_to_atom(id(<<>>), blurf)),
+ ?line ?BADARG(binary_to_atom(id(<<>>), [])),
+
+ %% Bad UTF8 sequences.
+ ?line ?BADARG(binary_to_atom(id(<<255>>), utf8)),
+ ?line ?BADARG(binary_to_atom(id(<<255,0>>), utf8)),
+ ?line ?BADARG(binary_to_atom(id(<<0:512/unit:8,255>>), utf8)),
+ ?line ?BADARG(binary_to_atom(id(<<0:512/unit:8,255,0>>), utf8)),
+ ?line ?BADARG(binary_to_atom(id(<<16#C0,16#80>>), utf8)), %Overlong 0.
+ ?line [?BADARG(binary_to_atom(<<C/utf8>>, utf8)) ||
+ C <- lists:seq(256, 16#D7FF)],
+ ?line [?BADARG(binary_to_atom(<<C/utf8>>, utf8)) ||
+ C <- lists:seq(16#E000, 16#FFFD)],
+ ?line [?BADARG(binary_to_atom(<<C/utf8>>, utf8)) ||
+ C <- lists:seq(16#10000, 16#8FFFF)],
+ ?line [?BADARG(binary_to_atom(<<C/utf8>>, utf8)) ||
+ C <- lists:seq(16#90000, 16#10FFFF)],
+
+ %% system_limit failures.
+ ?line ?SYS_LIMIT(binary_to_atom(<<0:256/unit:8>>, latin1)),
+ ?line ?SYS_LIMIT(binary_to_atom(<<0:257/unit:8>>, latin1)),
+ ?line ?SYS_LIMIT(binary_to_atom(<<0:512/unit:8>>, latin1)),
+ ?line ?SYS_LIMIT(binary_to_atom(<<0:256/unit:8>>, utf8)),
+ ?line ?SYS_LIMIT(binary_to_atom(<<0:257/unit:8>>, utf8)),
+ ?line ?SYS_LIMIT(binary_to_atom(<<0:512/unit:8>>, utf8)),
+ ok.
+
+test_binary_to_atom(Bin0, Encoding) ->
+ Res = binary_to_atom(Bin0, Encoding),
+ Res = binary_to_existing_atom(Bin0, Encoding),
+ Bin1 = id(<<7:3,Bin0/binary,32:5>>),
+ Sz = byte_size(Bin0),
+ <<_:3,UnalignedBin:Sz/binary,_:5>> = Bin1,
+ Res = binary_to_atom(UnalignedBin, Encoding).
+
+fail_binary_to_atom(Bin) ->
+ try
+ binary_to_atom(Bin, latin1)
+ catch
+ error:badarg ->
+ ok
+ end,
+ try
+ binary_to_atom(Bin, utf8)
+ catch
+ error:badarg ->
+ ok
+ end,
+ try
+ binary_to_existing_atom(Bin, latin1)
+ catch
+ error:badarg ->
+ ok
+ end,
+ try
+ binary_to_existing_atom(Bin, utf8)
+ catch
+ error:badarg ->
+ ok
+ end.
+
+
+binary_to_existing_atom(Config) when is_list(Config) ->
+ ?line UnlikelyBin = <<"ou0897979655678dsfj923874390867er869fds973qerueoru">>,
+ try
+ ?line binary_to_existing_atom(UnlikelyBin, latin1),
+ ?line ?t:fail()
+ catch
+ error:badarg -> ok
+ end,
+
+ try
+ ?line binary_to_existing_atom(UnlikelyBin, utf8),
+ ?line ?t:fail()
+ catch
+ error:badarg -> ok
+ end,
+
+ ?line UnlikelyAtom = binary_to_atom(id(UnlikelyBin), latin1),
+ ?line UnlikelyAtom = binary_to_existing_atom(UnlikelyBin, latin1),
+ ok.
+
+
+atom_to_binary(Config) when is_list(Config) ->
+ HalfLong = lists:seq(0, 127),
+ HalfLongAtom = list_to_atom(HalfLong),
+ HalfLongBin = list_to_binary(HalfLong),
+ Long = lists:seq(0, 254),
+ LongAtom = list_to_atom(Long),
+ LongBin = list_to_binary(Long),
+
+ %% latin1
+ ?line <<>> = atom_to_binary('', latin1),
+ ?line <<"abc">> = atom_to_binary(abc, latin1),
+ ?line <<127>> = atom_to_binary('\177', latin1),
+ ?line HalfLongBin = atom_to_binary(HalfLongAtom, latin1),
+ ?line LongBin = atom_to_binary(LongAtom, latin1),
+
+ %% utf8.
+ ?line <<>> = atom_to_binary('', utf8),
+ ?line <<>> = atom_to_binary('', unicode),
+ ?line <<127>> = atom_to_binary('\177', utf8),
+ ?line <<"abcdef">> = atom_to_binary(abcdef, utf8),
+ ?line HalfLongBin = atom_to_binary(HalfLongAtom, utf8),
+ ?line LongAtomBin = atom_to_binary(LongAtom, utf8),
+ ?line verify_long_atom_bin(LongAtomBin, 0),
+
+ %% Failing cases.
+ ?line fail_atom_to_binary(<<1>>),
+ ?line fail_atom_to_binary(42),
+ ?line fail_atom_to_binary({a,b,c}),
+ ?line fail_atom_to_binary([1,2,3]),
+ ?line fail_atom_to_binary([]),
+ ?line fail_atom_to_binary(42.0),
+ ?line fail_atom_to_binary(self()),
+ ?line fail_atom_to_binary(make_ref()),
+ ?line ?BADARG(atom_to_binary(id(a), blurf)),
+ ?line ?BADARG(atom_to_binary(id(b), [])),
+ ok.
+
+verify_long_atom_bin(<<I/utf8,T/binary>>, I) ->
+ verify_long_atom_bin(T, I+1);
+verify_long_atom_bin(<<>>, 255) -> ok.
+
+fail_atom_to_binary(Term) ->
+ try
+ atom_to_binary(Term, latin1)
+ catch
+ error:badarg ->
+ ok
+ end,
+ try
+ atom_to_binary(Term, utf8)
+ catch
+ error:badarg ->
+ ok
+ end.
+
+min_max(Config) when is_list(Config) ->
+ ?line a = erlang:min(id(a), a),
+ ?line a = erlang:min(id(a), b),
+ ?line a = erlang:min(id(b), a),
+ ?line b = erlang:min(id(b), b),
+ ?line a = erlang:max(id(a), a),
+ ?line b = erlang:max(id(a), b),
+ ?line b = erlang:max(id(b), a),
+ ?line b = erlang:max(id(b), b),
+
+ ?line 42.0 = erlang:min(42.0, 42),
+ ?line 42.0 = erlang:max(42.0, 42),
+
+ ok.
+
+%% Helpers
+
+id(I) -> I.
+
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-28 05:36:52 +0000