[erlang-questions] HiPE issue

[johan munk]

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