[erlang-bugs] Internal error in beam_bool

[Anthony Ramine]

https://github.com/erlang/otp/pull/279

-- 
Anthony Ramine

Le 3 mars 2014 à 08:35, Ulf Norell <ulf.norell@REDACTED> a écrit :

> I posted this in the other thread, but it might have gotten lost in the other messages. I also found another way to trigger it:
> 
> -module(bug).
> f(X = true) when X; X; true -> ok.
> 
> -module(bug).
> f(X = true) -> [ok || X, X, X].
> 
> Now running on R17-rc2:
> 
> $ 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 beam_bool;
> crash reason: {case_clause,
>     {'EXIT',
>         {function_clause,
>             [{gb_trees,get_1,[{x,0},nil],[{file,"gb_trees.erl"},{line,239}]},
>              {beam_bool,bopt_bool_arg,2,[{file,"beam_bool.erl"},{line,435}]},
>              {lists,mapfoldl,3,[{file,"lists.erl"},{line,1352}]},
>              {beam_bool,bopt_tree,3,[{file,"beam_bool.erl"},{line,386}]},
>              {beam_bool,bopt_tree_cg,3,[{file,"beam_bool.erl"},{line,360}]},
>              {beam_bool,bopt_block,5,[{file,"beam_bool.erl"},{line,115}]},
>              {beam_bool,bopt,3,[{file,"beam_bool.erl"},{line,76}]},
>              {beam_bool,function,2,[{file,"beam_bool.erl"},{line,57}]}]}}}
> 
>   in function  io_lib_pretty:cind_tag_tuple/7 (io_lib_pretty.erl, line 638)
>   in call from io_lib_pretty:cind_element/7 (io_lib_pretty.erl, line 727)
>   in call from io_lib_pretty:cind_list/7 (io_lib_pretty.erl, line 697)
>   in call from io_lib_pretty:cind_element/7 (io_lib_pretty.erl, line 727)
>   in call from io_lib_pretty:cind_list/7 (io_lib_pretty.erl, line 697)
>   in call from io_lib_pretty:cind_element/7 (io_lib_pretty.erl, line 727)
>   in call from io_lib_pretty:cind_list/7 (io_lib_pretty.erl, line 697)
>   in call from io_lib_pretty:cind_element/7 (io_lib_pretty.erl, line 727)
> bug.erl:2: Warning: function f/1 is unused
> error
> 
> / Ulf
> 
> _______________________________________________
> erlang-bugs mailing list
> erlang-bugs@REDACTED
> http://erlang.org/mailman/listinfo/erlang-bugs