[erlang-questions] HiPE issue

[Mikael Pettersson]

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

Confirmed with R13B prerelease on i686-pc-linux-gnu.
I'll look into it.