HiPE bug with nested try/catch

[Trap Exit]

According to the Erlang ref. manual: 
Quote:
If an exception occurs during evaluation of Expr but there is no matching ExceptionPattern of the right Class with a true guard sequence, the exception is passed on as if Expr had not been enclosed in a try expression.
(end of quote)


So I constructed the following example and noticed that it behaved differently when HiPE compiled.


-module(trycatch).

-export([main/0]).

main() ->
    try
        f()
    catch
        throw:Throw ->
            io:format("gotcha: ~p~n", [Throw])
    end.

f() ->
    try
        throw('i.wonder.who.will.catch.me')
    catch
        error:Error ->
            io:format("function f caused an error: ~p~n", [Error])
    end.



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

Eshell V5.5  (abort with ^G)
1> c(trycatch).
{ok,trycatch}
2> trycatch:main().
gotcha: 'i.wonder.who.will.catch.me'
ok
3> c(trycatch,native).
{ok,trycatch}
4> trycatch:main().

=ERROR REPORT==== 21-Jul-2006::09:56:33 ===
Error in process <0.32.0> with exit value&#58; &#123;undef,&#91;&#123;erlang,raise,&#91;&#91;&#91;&#123;erlang,raise,&#91;&#91;true|16#4044646A0000000000000000000000000000006A&#93;,'i.wonder.who.will.catch.me'&#93;&#125;,&#123;erl_eval,do_apply,5&#125;,&#123;shell,exprs,6&#125;,&#123;shell,eval_loop,3&#125;&#93;|-16#0000000000000000000000000010&#93;,undef&#93;&#125;,&#123;erl_eval,do_apply,5&#125;,&#123;shell,exprs,6&#125;,&#123;shell,eval_loop,3&#125;&#93;&#125;

** exited&#58; &#123;undef,&#91;&#123;erlang,raise,
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;&#91;&#91;&#91;&#123;erlang,raise,
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &#91;&#91;true|
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; 366900607304749881568687426529269484530033492074&#93;,
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;'i.wonder.who.will.catch.me'&#93;&#125;,
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &#123;erl_eval,do_apply,5&#125;,
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &#123;shell,exprs,6&#125;,
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &#123;shell,eval_loop,3&#125;&#93;|
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;-00000000000000000016&#93;,
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; undef&#93;&#125;,
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;&#123;erl_eval,do_apply,5&#125;,
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;&#123;shell,exprs,6&#125;,
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;&#123;shell,eval_loop,3&#125;&#93;&#125; **

_________________________________________________________
Post sent from http://www.trapexit.org