diff options
author | akashlal <unknown> | 2010-12-21 05:30:40 +0000 |
---|---|---|
committer | akashlal <unknown> | 2010-12-21 05:30:40 +0000 |
commit | 63297e97b319dab141c0d0f3685ede3cbd012dc4 (patch) | |
tree | b659cf095e1fa817117677fd262d994b065aaa46 /Source | |
parent | 030db0d66817d00d42c2fa8507732dabe575cb55 (diff) |
stratified inlining: minor fix to the call tree being saved
Diffstat (limited to 'Source')
-rw-r--r-- | Source/VCGeneration/StratifiedVC.cs | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Source/VCGeneration/StratifiedVC.cs b/Source/VCGeneration/StratifiedVC.cs index eb8234ed..a7222ed5 100644 --- a/Source/VCGeneration/StratifiedVC.cs +++ b/Source/VCGeneration/StratifiedVC.cs @@ -1089,7 +1089,11 @@ namespace VC if (PersistCallTree)
{
callTree = new Dictionary<string, int>();
- var persistentNodes = new HashSet<int>(calls.candidateParent.Values);
+ //var persistentNodes = new HashSet<int>(calls.candidateParent.Values);
+ var persistentNodes = new HashSet<int>(calls.candidateParent.Keys);
+ persistentNodes.Add(0);
+ persistentNodes.ExceptWith(calls.currCandidates);
+
foreach (var id in persistentNodes)
{
callTree.Add(calls.getPersistentId(id), 0);
|