Apparently, this message didn't get through.<br><br>I experience that HiPE generates unsound code:<br>-------------<br><br>-module(hmmm).<br>-export([nooo/1]).<br><br>nooo({Fst, List}) -> nooo([Fst | List]);<br>nooo([_ | _]) -> ok.<br>
<br>-------------<br><br>erlc +native hmmm.erl<br><br>-------------<br>
<br>Erlang (BEAM) emulator version 5.6.5 [source] [async-threads:0] [hipe] [kernel-poll:false]<br><br>Eshell V5.6.5  (abort with ^G)<br>1> hmmm:nooo({sure, []}).<br><br><br>When HiPE-compiled hmmm:nooo/1 loops on input matching the first clause.<br>
Without +native it returns 'ok' as expected.<br><br>