[erlang-bugs] Internal error in core_fold_module when repeating boolean case branch
Ulf Norell
ulf.norell@REDACTED
Mon Mar 3 08:44:43 CET 2014
-module(bug).
f(X) ->
case X == 0 of
false -> no;
false -> no;
true -> yes
end.
$ erl
Erlang/OTP 17 [RELEASE CANDIDATE 2] [erts-6.0] [source-a74e66a] [64-bit]
[smp:8:8] [async-threads:10] [hipe] [kernel-poll:false]
Eshell V6.0 (abort with ^G)
1> c(bug).
Function: f/1
bug.erl: internal error in core_fold_module;
crash reason: function_clause
in function sys_core_fold:opt_bool_case_guard/2
called as
sys_core_fold:opt_bool_case_guard({c_call,[3,{file,"bug.erl"}],
{c_literal,[3,{file,"bug.erl"}],erlang},
{c_literal,[3,{file,"bug.erl"}],'=='},
[{c_var,[3,{file,"bug.erl"}],'X'},
{c_literal,[3,{file,"bug.erl"}],0}]},
[{c_clause,[4,{file,"bug.erl"}],
[{c_literal,[4,{file,"bug.erl"}],false}],
{c_literal,[],true},
{c_literal,[4,{file,"bug.erl"}],no}},
{c_clause,[5,{file,"bug.erl"}],
[{c_literal,[5,{file,"bug.erl"}],false}],
{c_literal,[],true},
{c_literal,[5,{file,"bug.erl"}],no}},
{c_clause,[6,{file,"bug.erl"}],
[{c_literal,[6,{file,"bug.erl"}],true}],
{c_literal,[],true},
{c_literal,[6,{file,"bug.erl"}],yes}}])
in call from sys_core_fold:opt_bool_case_guard/1 (sys_core_fold.erl, line
1933)
in call from sys_core_fold:expr/3 (sys_core_fold.erl, line 347)
in call from sys_core_fold:clause/4 (sys_core_fold.erl, line 1481)
in call from sys_core_fold:clauses/5 (sys_core_fold.erl, line 1699)
in call from sys_core_fold:expr/3 (sys_core_fold.erl, line 352)
in call from sys_core_fold:expr/3 (sys_core_fold.erl, line 279)
in call from sys_core_fold:function_1/1 (sys_core_fold.erl, line 117)
bug.erl:2: Warning: function f/1 is unused
error
/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-bugs/attachments/20140303/fdc44c3b/attachment.htm>
More information about the erlang-bugs
mailing list