[erlang-bugs] Internal error in beam_bool

[Ulf Norell]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-bugs/attachments/20140303/abef512b/attachment.htm>