<div dir="ltr">Theres a comment at about line 216 in TryFinStmt.m3 that suggests the authors were not too sure about this either.<div><br></div><div>Regards Peter.</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Sun, Jul 26, 2015 at 2:39 AM, Rodney M. Bates <span dir="ltr"><<a href="mailto:rodney_bates@lcwb.coop" target="_blank">rodney_bates@lcwb.coop</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">In looking at CM3 IR for TRY-FINALLY, for an unrelated reason, I find the following:<br>
<br>
The front end translates the code found between FINALLY and END into a nested procedure.<br>
This is declared as having one parameter of type ADDRESS.  But, in the the direct call<br>
it generates, right before the FINALLY, it passes no actual.  Also, in the simple example<br>
I looked at, the finally procedure does not access its formal.<br>
<br>
It also stores the address of the finally procedure in a 5-word record whose address<br>
it passes to RTHooks.PushEFrame and PopEFrame.  RTHooks.i3 treats this as ADDRESS, and<br>
tells us nothing about what it actually points to.<br>
<br>
Is there a bug, or does anybody understand what is going on here?<span class="HOEnZb"><font color="#888888"><br>
-- <br>
Rodney Bates<br>
<a href="mailto:rodney.m.bates@acm.org" target="_blank">rodney.m.bates@acm.org</a><br>
</font></span></blockquote></div><br></div>