<div dir="ltr"><div>-module(bug).</div><div>f() -> [X = a || false] ++ [X = a || false].</div><div><br></div><div>$ erl</div><div>Erlang/OTP 17 [RELEASE CANDIDATE 2] [erts-6.0] [source-a74e66a] [64-bit] [smp:8:8] [async-threads:10] [hipe] [kernel-poll:false]</div>

<div><br></div><div>Eshell V6.0  (abort with ^G)</div><div>1> c(bug). </div><div>Function: f/0</div><div>bug.erl: internal error in kernel_module;</div><div>crash reason: function_clause</div><div><br></div><div>  in function  v3_kernel:ensure_return_vars/2</div>

<div>     called as v3_kernel:ensure_return_vars([{k_var,[],cor2},{k_var,[],'X'}],</div><div> {kern,{f,0},</div><div>       undefined,0,0,</div><div>       {set,2,16,16,8,80,48,</div><div>            {[],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[]},</div>

<div>            {{[],[],[cor2],[],[],[],[],[],['X'],[],[],[],[],[],[],[]}}},</div><div>       [],[],[],0})</div><div>  in call from v3_kernel:uexpr/3 (v3_kernel.erl, line 1777)</div><div>  in call from v3_kernel:ubody/3 (v3_kernel.erl, line 1556)</div>

<div>  in call from v3_kernel:function/2 (v3_kernel.erl, line 153)</div><div>  in call from lists:mapfoldl/3 (lists.erl, line 1352)</div><div>  in call from v3_kernel:module/2 (v3_kernel.erl, line 130)</div><div>  in call from compile:kernel_module/1 (compile.erl, line 1191)</div>

<div>  in call from compile:'-internal_comp/4-anonymous-1-'/2 (compile.erl, line 290)</div><div>bug.erl:2: Warning: function f/0 is unused</div><div>bug.erl:2: Warning: no clause will ever match</div><div>bug.erl:2: Warning: the guard for this clause evaluates to 'false'</div>

<div>bug.erl:2: Warning: variable 'X' is unused</div><div>bug.erl:2: Warning: variable 'X' is unused</div><div>error</div><div><br></div><div>/ Ulf</div></div>