infinite loop on array.sml
Stephen Weeks
MLton@sourcelight.com
Mon, 5 Nov 2001 16:42:25 -0800
> > > Yeah, I get that. It's somewhere in main_0, so it's a pain to figure out.
> > > I mean to ask, could the new dominator version that doesn't care about
> > > the graph being connected and single rooted result in a dominator tree
> > > that has a cycle?
> >
> > Maybe there is a bug in dominator computation causing the loop, but if
> > it terminates, we know from the tree type
> >
> > datatype 'a t = T of 'a * 'a t vector
> >
> > that the tree really is acyclic.
>
> O.k. In any event, I'm fairly certain that after commonSubexp, there will
> be some dangling blocks in the cfg; particularly down the failure branches
> of repeated arithmetic computations.
I put in some print statements and Function.dominatorTree is looping.
*scary*. I will investigate.