From 9a4011a233fa38d324f5a0e1e9eb487aac1943f9 Mon Sep 17 00:00:00 2001
From: Ally Donaldson <unknown>
Date: Thu, 10 Oct 2013 19:56:40 +0100
Subject: Small fix in uniformity analysis

---
 Source/Predication/UniformityAnalyser.cs | 15 +--------------
 1 file changed, 1 insertion(+), 14 deletions(-)

(limited to 'Source/Predication')

diff --git a/Source/Predication/UniformityAnalyser.cs b/Source/Predication/UniformityAnalyser.cs
index 040cb227..6119d522 100644
--- a/Source/Predication/UniformityAnalyser.cs
+++ b/Source/Predication/UniformityAnalyser.cs
@@ -234,14 +234,7 @@ namespace Microsoft.Boogie
                 }
 
                 foreach (Block b in Impl.Blocks) {
-                  foreach (Cmd c in b.Cmds) {
-                    CallCmd callCmd = c as CallCmd;
-                    if (callCmd != null) {
-                      if (IsUniform(callCmd.callee)) {
-                        SetNonUniform(callCmd.callee);
-                      }
-                    }
-                  }
+                  Analyse(Impl, b.Cmds, false);
                 }
                         
                 return;
@@ -254,12 +247,6 @@ namespace Microsoft.Boogie
             ctrlDep.TransitiveClosure();
 
             var nonUniformBlockSet = new HashSet<Block>();
-            /*// If procedure is non-uniform, so are all of its blocks
-            if (!uniformityInfo[Impl.Name].Key) {
-              foreach (var block in Impl.Blocks) {
-                nonUniformBlockSet.Add(block);
-              }
-            }*/
             nonUniformBlocks[Impl.Name] = nonUniformBlockSet;
 
             bool changed;
-- 
cgit v1.2.3