diff options
| author |  qadeer <qadeer@microsoft.com> | 2012-03-09 16:48:42 -0800 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2012-03-09 16:48:42 -0800 |
| commit | 0b924f62c85b374df73b8554e3cf6b2ddca86c9b (patch) | |
| tree | 4e3f97cda3523377a3cbe34baf0a2e0cdaa42f0e /BCT | |
| parent | 623d6833f29941c2ba44a962c2fa81d2a02b1c00 (diff) | |
added breadcrumb to the beginning of each method
Diffstat (limited to 'BCT')
| -rw-r--r-- | BCT/BytecodeTranslator/StatementTraverser.cs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/BCT/BytecodeTranslator/StatementTraverser.cs b/BCT/BytecodeTranslator/StatementTraverser.cs index 5c5cbcdf..feca0559 100644 --- a/BCT/BytecodeTranslator/StatementTraverser.cs +++ b/BCT/BytecodeTranslator/StatementTraverser.cs @@ -88,6 +88,7 @@ namespace BytecodeTranslator var remover = new AnonymousDelegateRemover(this.sink.host, this.PdbReader);
newTypes = remover.RemoveAnonymousDelegates(methodBody.MethodDefinition, block);
}
+ StmtBuilder.Add(new Bpl.AssumeCmd(Bpl.Token.NoToken, Bpl.Expr.True, new Bpl.QKeyValue(Bpl.Token.NoToken, "breadcrumb", new List<object> { Bpl.Expr.Literal(this.NextUniqueNumber()) }, null)));
this.Traverse(methodBody);
return newTypes;
}
|