diff options
author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-05-27 19:05:38 +0100 |
---|---|---|
committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-05-27 19:05:38 +0100 |
commit | 07ede3edee0d0a2b1518472d775f3959c84806eb (patch) | |
tree | c50df0139dd4aee27b3c422b617cbcd53248c1d0 /Source/Predication/UniformityAnalyser.cs | |
parent | 451c92fde0945e18e12fbcce4f07bc6843118ce3 (diff) | |
parent | 9e32dbcec6b3c92b4260c49b6610ae84ade73e43 (diff) |
Merge
Diffstat (limited to 'Source/Predication/UniformityAnalyser.cs')
-rw-r--r-- | Source/Predication/UniformityAnalyser.cs | 5 |
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();
|