diff options
Diffstat (limited to 'Source')
-rw-r--r-- | Source/GPUVerify/ArrayControlFlowAnalyser.cs | 4 |
1 files changed, 4 insertions, 0 deletions
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))
|