diff options
Diffstat (limited to 'Source')
| -rw-r--r-- | Source/GPUVerify/RaceInstrumenter.cs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Source/GPUVerify/RaceInstrumenter.cs b/Source/GPUVerify/RaceInstrumenter.cs index 10ab9355..620f7d1a 100644 --- a/Source/GPUVerify/RaceInstrumenter.cs +++ b/Source/GPUVerify/RaceInstrumenter.cs @@ -130,6 +130,9 @@ namespace GPUVerify {
bool isConstant;
var def = verifier.varDefAnalyses[impl].SubstDefinitions(offset, impl.Name, out isConstant);
+ if (def == null)
+ continue;
+
if (isConstant)
{
offsetPreds.Add(Expr.Eq(offsetExpr, def));
|