diff options
| -rw-r--r-- | Source/GPUVerify/VariableDefinitionAnalysis.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/GPUVerify/VariableDefinitionAnalysis.cs b/Source/GPUVerify/VariableDefinitionAnalysis.cs index ded3fb7a..100dbc0e 100644 --- a/Source/GPUVerify/VariableDefinitionAnalysis.cs +++ b/Source/GPUVerify/VariableDefinitionAnalysis.cs @@ -101,8 +101,8 @@ class VariableDefinitionAnalysis { }
if (c is HavocCmd) {
var hCmd = (HavocCmd)c;
- foreach (Variable v in hCmd.Vars)
- UpdateDefMap(v, null, false);
+ foreach (IdentifierExpr iExpr in hCmd.Vars)
+ UpdateDefMap(iExpr.Decl, null, false);
}
}
} while (changed);
|