diff options
| author |  Unknown <afd@afd-THINK.doc.ic.ac.uk> | 2012-04-10 13:42:46 +0100 |
|---|---|---|
| committer | Unknown <afd@afd-THINK.doc.ic.ac.uk> | 2012-04-10 13:42:46 +0100 |
| commit | 8bd29197662d520cda00f44ac2824a29d30a85df (patch) | |
| tree | 40df0a7a4ab36b3a4927547b2ce3113a18415053 | |
| parent | d9ac9b3975fb54cce4dec82316e1852ec9bb6e68 (diff) | |
Minor fix to array control flow analysis.
| -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))
|