[MLton-devel] bug in SSA knownCase restore pass

[Matthew Fluet]

> Either the restore pass should correctly handle unreachable blocks or
> knownCase (and anyone else that uses restore) should first eliminate
> unreachable blocks.  Matthew, can you look into fixing this?

O.k.  I checked in the simplest fix -- have shrink.fun provide a
per-function version of eliminateDeadBlocks and use that in known-case.fun
before running the restore pass.

We discussed the problems of handlers and unreachable blocks back in
August in relation to a bug reported by Alain.  I'll remind you of the
final conclusion:


Date: Wed, 21 Aug 2002 10:33:18 -0700
From: Stephen Weeks <sweeks@sweeks.com>
Reply-To: MLton@mlton.org
To: MLton@mlton.org
Subject: Re: [MLton-devel] cvs commit: unreachable blocks bugfix

Boy wouldn't it be nice to get rid of HandlerPush/Pop altogether.  :-)



-------------------------------------------------------
This SF.NET email is sponsored by: Geek Gift Procrastinating?
Get the perfect geek gift now!  Before the Holidays pass you by.
T H I N K G E E K . C O M      http://www.thinkgeek.com/sf/
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel