From 8bd29197662d520cda00f44ac2824a29d30a85df Mon Sep 17 00:00:00 2001
From: Unknown <afd@afd-THINK.doc.ic.ac.uk>
Date: Tue, 10 Apr 2012 13:42:46 +0100
Subject: Minor fix to array control flow analysis.

---
 Source/GPUVerify/ArrayControlFlowAnalyser.cs | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'Source/GPUVerify')

diff --git a/Source/GPUVerify/ArrayControlFlowAnalyser.cs b/Source/GPUVerify/ArrayControlFlowAnalyser.cs
index bb51ae64..b202dbb3 100644
--- a/Source/GPUVerify/ArrayControlFlowAnalyser.cs
+++ b/Source/GPUVerify/ArrayControlFlowAnalyser.cs
@@ -198,6 +198,10 @@ namespace GPUVerify
                 visitor.VisitExpr(wc.Guard);
                 foreach (Variable v in visitor.GetVariables())
                 {
+                    if (!mayBeDerivedFrom[impl.Name].ContainsKey(v.Name))
+                    {
+                        continue;
+                    }
                     foreach (string s in mayBeDerivedFrom[impl.Name][v.Name])
                     {
                         if (!arraysWhichMayAffectControlFlow.Contains(s))
-- 
cgit v1.2.3