%%% -*- erlang-indent-level: 2 -*-
%%%-------------------------------------------------------------------
%%% Author: Kostis Sagonas
%%%
%%% Contains code examples, mostly taken from the mailing list, that
%%% crashed the BEAM compiler or gave an internal error at some point.
%%%-------------------------------------------------------------------
-module(basic_issues_beam).
-export([test/0]).
test() ->
ok = test_crash_R10_hinde(),
ok = test_error_R10_mander(),
ok = test_error_R11_bjorklund(),
ok = test_error_R11_rath(),
ok = test_error_R12_empty_bin_rec(),
ok = test_bug_R12_cornish(),
ok = test_crash_R12_morris(),
ok = test_error_R13_almeida(),
ok = test_error_R13B01_fisher(),
ok = test_error_R13B01_sawatari(),
ok = test_error_R13B01_whongo(),
ok = test_error_R16B03_norell(),
ok = test_error_try_wings(),
ok.
%%--------------------------------------------------------------------
%% Fisher R10 compiler crash
%%--------------------------------------------------------------------
-record(r, {a, b, c}).
test_crash_R10_hinde() ->
rec_R10_hinde(#r{}).
rec_R10_hinde(As) ->
case As of
A when A#r.b == ""; A#r.b == undefined -> ok;
_ -> error
end.
%%--------------------------------------------------------------------
%% From: Peter-Henry Mander
%% Date: 27 Jan, 2005
%%
%% I managed to isolate a non-critical BEAM compilation error
%% (internal error in v3_codegen) when compiling the following code:
%%--------------------------------------------------------------------
test_error_R10_mander() ->
try just_compile_me_R10() catch _:_ -> ok end.
just_compile_me_R10() ->
URI_Before =
{absoluteURI,
{scheme, fun() -> nil end},
{hier_part,
{net_path,
{srvr,
{userinfo, nil},
fun() -> nil end},
nil},
{port, nil}}},
{absoluteURI,
{scheme, _},
{hier_part,
{net_path,
{srvr,
{userinfo, nil},
_HostportBefore},
nil},
{port, nil}}} = URI_Before,
%% ... some funky code ommitted, not relevant ...
{absoluteURI,
{scheme, _},
{hier_part,
{net_path,
{srvr,
{userinfo, nil},
HostportAfter},
nil},
{port, nil}}} = URI_Before,
%% NOTE: I intended to write URI_After instead of URI_Before
%% but the accident revealed that when you add the line below,
%% it causes internal error in v3_codegen on compilation
{hostport, {hostname, "HostName"}, {port, nil}} = HostportAfter,
ok.
%%--------------------------------------------------------------------
%% From: Martin Bjorklund
%% Date: Aug 16, 2006
%%
%% I found this compiler bug in R10B-10 and R11B-0.
%%
%% Function -just_compile_me/0-fun-2-/1 refers to undefined label 18
%% ./bjorklund_R11compiler_bug.erl:none: internal error in beam_clean;
%% crash reason: {{case_clause,{'EXIT',{undefined_label,18}}},
%% [{compile,'-select_passes/2-anonymous-2-',2},
%% {compile,'-internal_comp/4-anonymous-1-',2},
%% {compile,fold_comp,3},
%% {compile,internal_comp,4},
%% {compile,internal,3}]}
%%--------------------------------------------------------------------
test_error_R11_bjorklund() ->
just_compile_me_R11_bjorklund().
just_compile_me_R11_bjorklund() ->
G = fun() -> ok end,
try
G() %% fun() -> ok end
after
fun({A, B}) -> A + B end
end.
%%--------------------------------------------------------------------
%% From: Tim Rath
%% Date: Sep 13, 2006
%% Subject: Compiler bug not quite fixed
%%
%% I saw a compiler bug posted to the list by Martin Bjorklund that
%% appeared to be exactly the problem I'm seeing, and then noticed
%% that this was fixed in R11B-1. Unfortunately, though R11B-1 appears
%% to fix the code submitted by Martin, it does not fix my case.
%%
%% Function -just_compile_me/0-fun-2-/1 refers to undefined label 13
%% ./rath_R11compiler_bug.erl:none: internal error in beam_clean;
%% crash reason: {{case_clause,{'EXIT',{undefined_label,13}}},
%% [{compile,'-select_passes/2-anonymous-2-',2},
%% {compile,'-internal_comp/4-anonymous-1-',2},
%% {compile,fold_comp,3},
%% {compile,internal_comp,4},
%% {compile,internal,3}]}
%%--------------------------------------------------------------------
test_error_R11_rath() ->
just_compile_me_R11_rath().
just_compile_me_R11_rath() ->
A = {6},
try
io:fwrite("")
after
fun () ->
fun () -> {_} = A end
end
end.
%%----------------------------------------------------------------------
%% Program that crashed the R12B-0 compiler: internal error in v3_codegen
%%----------------------------------------------------------------------
-record(rec, {a = <<>> :: binary(), b = 42 :: integer()}).
test_error_R12_empty_bin_rec() ->
42 = test_empty_bin_rec(#rec{}),
ok.
test_empty_bin_rec(R) ->
#rec{a = <<>>} = R,
R#rec.b.
%%----------------------------------------------------------------------
%% From: Simon Cornish
%% Date: Jan 13, 2008
%%
%% The attached Erlang code demonstrates an R12B-0 bug with funs.
%% Compile and evaluate the two die/1 calls for two different failure modes.
%% It seems to me that the live register check for call_fun is off by one.
%%----------------------------------------------------------------------
-record(b, {c}).
test_bug_R12_cornish() ->
{a2, a} = die(a),
{a2, {b, c}} = die({b, c}),
ok.
die(A) ->
F = fun() -> {ok, A} end,
if A#b.c =:= [] -> one;
true ->
case F() of
{ok, A2} -> {a2, A2};
_ -> three
end
end.
%%----------------------------------------------------------------------
%% From: Hunter Morris
%% Date: Nov 20, 2008
%%
%% The following code (tested with R12B-4 or R12B-5, vanilla compiler
%% options) produces a compiler crash. It's nonsensical, and I realise
%% that andalso can be quite evil, but it's a crash nonetheless.
%%----------------------------------------------------------------------
test_crash_R12_morris() ->
foo(42).
foo(Bar) when (is_integer(Bar) andalso Bar =:= 0) ; Bar =:= 42 ->
ok.
%%--------------------------------------------------------------------
%% From: Paulo Sergio Almeida
%% Date: May 20, 2009
%%
%% The following code when compiled under R13B gives a compiler error.
%% Function loop/1 refers to undefined label 6
%% ./almeida_R13compiler_bug.erl:none: internal error in beam_peep;
%% crash reason: {{case_clause,{'EXIT',{undefined_label,6}}},
%% [{compile,'-select_passes/2-anonymous-2-',2},
%% {compile,'-internal_comp/4-anonymous-1-',2},
%%--------------------------------------------------------------------
test_error_R13_almeida() ->
self() ! {backup, 42, false},
loop([]).
loop(Tids) ->
receive
{backup, Tid, Dumping} ->
case Dumping of
false -> ok;
_ -> receive {logged, Tab, Tid} -> put({log, Tab}, Tid) end
end,
collect(Tid, Tids, [])
end.
collect(_, _, _) -> ok.
%%--------------------------------------------------------------------
%% Fisher R13B01 compiler error
%%--------------------------------------------------------------------
test_error_R13B01_fisher() ->
perform_select({foo, "42"}).
perform_select({Type, Keyval}) ->
try
if is_atom(Type) andalso length(Keyval) > 0 -> ok;
true -> ok
end
catch
_:_ -> fail
end.
%%--------------------------------------------------------------------
%% From: Mikage Sawatari
%% Date: Jun 12, 2009
%%
%% I have the following compilation problem on Erlang R13B01.
%% Compiler reports "Internal consistency check failed".
%%--------------------------------------------------------------------
test_error_R13B01_sawatari() ->
test_sawatari([1, null, 3], <<1, 2, 3>>).
test_sawatari([], _Bin) -> ok;
test_sawatari([H|T], Bin) ->
_ = case H of
null -> <<Bin/binary>>;
_ -> ok
end,
test_sawatari(T, Bin).
%%--------------------------------------------------------------------
test_error_R13B01_whongo() ->
S = "gazonk",
S = orgno_alphanum(S),
ok.
orgno_alphanum(Cs) ->
[C || C <- Cs, ((C >= $0) andalso (C =< $9))
orelse ((C >= $a) andalso (C =< $z))
orelse ((C >= $A) andalso (C =< $Z))].
%%--------------------------------------------------------------------
%% I'm getting an Internal Consistency Check error when attempting to
%% build Wings3D on Mac OS X 10.4.2 (Erlang OTP R10B-6):
%%
%% erlc -pa /ebin +warn_unused_vars -I/include -I ../e3d -W +debug_info
%% '-Dwings_version="0.98.31"' -pa ../ebin -o../ebin wings_color.erl
%% wings_color: function internal_rgb_to_hsv/3+97:
%% Internal consistency check failed - please report this bug.
%% Instruction: {test,is_eq_exact,{f,80},[{x,0},{atom,error}]}
%% Error: {unsafe_instruction,{float_error_state,cleared}}:
%%
%% The problem is the interaction of the 'try' construct with the
%% handling of FP exceptions.
%%--------------------------------------------------------------------
test_error_try_wings() ->
%% a call with a possible FP exception
{199.99999999999997, 0.045454545454545456, 44} = rgb_to_hsv(42, 43, 44),
ok.
rgb_to_hsv(R, G, B) ->
Max = lists:max([R, G, B]),
Min = lists:min([R, G, B]),
V = Max,
{Hue, Sat} = try
{if Min == B -> (G-Min)/(R+G-2.0*Min);
Min == R -> (1.0+(B-Min)/(B+G-2.0*Min));
Min == G -> (2.0+(R-Min)/(B+R-2.0*Min))
end * 120, (Max-Min)/Max}
catch
error:badarith -> {undefined, 0.0}
end,
{Hue, Sat, V}.
%%--------------------------------------------------------------------
%% From: Ulf Norell
%% Date: Feb 28, 2014
%%
%% This caused an internal error in v3_codegen
%%--------------------------------------------------------------------
test_error_R16B03_norell() ->
test_error_R16B03_norell(#r{}, gazonk).
test_error_R16B03_norell(Rec, Tag) ->
is_record(Rec, Tag, 3) orelse ok.