From 440625852cc22770912129c33cea936bf72028b9 Mon Sep 17 00:00:00 2001
From: Ally Donaldson <unknown>
Date: Tue, 27 May 2014 10:03:21 +0100
Subject: Added key check to uniformity analysis

---
 Source/Predication/UniformityAnalyser.cs | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'Source/Predication/UniformityAnalyser.cs')

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();
-- 
cgit v1.2.3