Class FinallySplitting::FinallySplit

A split for elements belonging to a finally block, which determines how to continue execution after leaving the finally block. For example, in

try
{
    if (!M())
        throw new Exception();
}
finally
{
    Log.Write("M failed");
}

all control flow nodes in the finally block have two splits: one representing normal execution of the try block (when M() returns true), and one representing exceptional execution of the try block (when M() returns false).