diff options
Diffstat (limited to 'Source/GPUVerify/MayBeTidPlusConstantAnalyser.cs')
| -rw-r--r-- | Source/GPUVerify/MayBeTidPlusConstantAnalyser.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/GPUVerify/MayBeTidPlusConstantAnalyser.cs b/Source/GPUVerify/MayBeTidPlusConstantAnalyser.cs index 0f145296..f87e3afd 100644 --- a/Source/GPUVerify/MayBeTidPlusConstantAnalyser.cs +++ b/Source/GPUVerify/MayBeTidPlusConstantAnalyser.cs @@ -111,7 +111,7 @@ namespace GPUVerify Variable rhsV = (assign.Rhss[0] as IdentifierExpr).Decl;
- if (verifier.mayBeTidAnalyser.MayBeTid(impl.Name, rhsV.Name))
+ if (verifier.mayBeTidAnalyser.MayBeLocal("X", impl.Name, rhsV.Name))
{
mayBeAssignedTid[impl.Name][lhsV.Name] = true;
}
|