Added key check to uniformity analysis

1 files changed, 5 insertions, 0 deletions

diff --git a/Source/Predication/UniformityAnalyser.cs b/Source/Predication/UniformityAnalyser.cs
index a76566e4..3d6b7b18 100644
--- a/Source/Predication/UniformityAnalyser.cs
+++ b/Source/Predication/UniformityAnalyser.cs
@@ -422,6 +422,11 @@ namespace Microsoft.Boogie
 

         public bool IsUniform(string procedureName, Expr expr)

         {

+            if (!uniformityInfo.ContainsKey(procedureName))

+            {

+                return false;

+            }

+

             UniformExpressionAnalysisVisitor visitor = new UniformExpressionAnalysisVisitor(uniformityInfo[procedureName].Value);

             visitor.VisitExpr(expr);

             return visitor.IsUniform();