[bug-epsilon] [bug #5724] tail-call not optimized in try_io...catch_io

[nobody]

=================== BUG #5724: LATEST MODIFICATIONS ==================
http://savannah.gnu.org/bugs/?func=detailbug&bug_id=5724&group_id=1078

Changes by: Luca Saiu <address@hidden>
Date: Sat 10/04/2003 at 02:03 (Europe/Rome)

            What     | Removed                   | Added
---------------------------------------------------------------------------
          Resolution | None                      | Duplicate
              Status | Open                      | Closed




=================== BUG #5724: FULL BUG SNAPSHOT ===================


Submitted by: positrone               Project: epsilon                      
Submitted on: Sat 10/04/2003 at 02:02
Severity:  5 - Major                  Priority:  Normal                     
Resolution:  Duplicate                Assigned to:  None                    
Status:  Closed                       Platform Version:  Every platform     
Reproducibility:  Every Time          

Summary:  tail-call not optimized in try_io...catch_io

Original Submission:  As far as I know, there is only one case of tail-call 
which the peephole optimizer can not handle yet. It's



  try_io

    ...;

    TAIL_CALL;

  catch_io EXCEPTION_NAME ->

    IO_HANDLER



Also IO_HANDLER is in a tail-context, and a possible tail-call in it is not 
currently optimized.





No Followups Have Been Posted


CC list is empty


File Attachments
****************

-------------------------------------------------------
Date: Sat 10/04/2003 at 02:02  Name: b.epb  Size: 0KB   By: positrone
A minimal test case triggering the bug
http://savannah.gnu.org/bugs/download.php?group_id=1078&amp;bug_id=5724&amp;bug_file_id=701


For detailed info, follow this link:
http://savannah.gnu.org/bugs/?func=detailbug&bug_id=5724&group_id=1078

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/