public void DumpWatchedProcedure(string phase, string caption, SsaState ssa)
{
DumpWatchedProcedure(phase, caption, ssa.Procedure);
#if FIND_BUGS
// This is currently disabled because of hard-to-fix problems with the UnalignedMemoryAccessFuser
ssa.Validate(s =>
{
Console.WriteLine("== SSA validation failure; {0} {1}", caption, ssa.Procedure.Name, s);
Console.WriteLine(" {0}", s);
ssa.Write(Console.Out);
ssa.Procedure.Write(false, Console.Out);
});
#endif
}