Small fix in uniformity analysis

1 files changed, 1 insertions, 14 deletions

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;