[Mono-devel-list] SSA and try/catch/finally regions

[Massimiliano Mantione]

On Wed, 2005-04-06 at 06:53 -0700, Kelly Leahy wrote:
> Anyway, I think the method you describe works, but I
> would recommend implementing both methods (since the
> "every possible path" method is quite easy to
> implement) so that you can do some testing to see
> which actually does perform better, and also so that
> you can fall back on the theoretically correct method
> in case your heuristic does not in fact work properly.

Well, actually I think the "every possible path" method
is not so easy to implement in Mono.
We cannot model CFG edges that start from the "middle" of
a BB, only from the end of it (in other words, we don't
support extended basic blocks).

So, my comment was more something like "the complete
solution would be hard to do and unlikely to be worth
because it doesn't really add usable information"...

Ciao,
  Massi