[erlang-questions] HiPE issue

johan munk <>
Sun Apr 19 13:37:43 CEST 2009

Apparently, this message didn't get through.

I experience that HiPE generates unsound code:


nooo({Fst, List}) -> nooo([Fst | List]);
nooo([_ | _]) -> ok.


erlc +native hmmm.erl


Erlang (BEAM) emulator version 5.6.5 [source] [async-threads:0] [hipe]

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.html>

More information about the erlang-questions mailing list