diff options
author | Ally Donaldson <unknown> | 2014-06-06 07:08:29 +0100 |
---|---|---|
committer | Ally Donaldson <unknown> | 2014-06-06 07:08:29 +0100 |
commit | 44ac421d09d59515464b6c0df3c71d0110111000 (patch) | |
tree | 44c6f69f91ac190e478973513b614ad9e60f6830 /Source/VCGeneration/VC.cs | |
parent | 68bb2d0882069c9468e7e36c78a0eef710b7c677 (diff) |
Made VarsAssignedInLoop public, since it can be useful in computing modifies sets elsewhere.
Diffstat (limited to 'Source/VCGeneration/VC.cs')
-rw-r--r-- | Source/VCGeneration/VC.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/VCGeneration/VC.cs b/Source/VCGeneration/VC.cs index 05d02a78..7575cf28 100644 --- a/Source/VCGeneration/VC.cs +++ b/Source/VCGeneration/VC.cs @@ -2280,7 +2280,7 @@ namespace VC { #endregion Convert program CFG into a DAG
}
- private static List<Variable> VarsAssignedInLoop(Graph<Block> g, Block header)
+ public static List<Variable> VarsAssignedInLoop(Graph<Block> g, Block header)
{
List<Variable> varsToHavoc = new List<Variable>();
foreach (Block backEdgeNode in cce.NonNull(g.BackEdgeNodes(header)))
|