diff options
author | 2012-07-20 12:48:04 +0100 | |
---|---|---|
committer | 2012-07-20 12:48:04 +0100 | |
commit | e601612247686029a91f6db88b190d03dfd4106a (patch) | |
tree | 3fd62f63207ae1dc8babe45035e4722e62348deb /Source/GPUVerify/NonLocalAccessExtractor.cs | |
parent | b9dfc55284aa0dcffcaf9c5ddbde51a77572b31a (diff) |
Implemented Houdini-based pointer analysis. Made inter-group race checking default.
Diffstat (limited to 'Source/GPUVerify/NonLocalAccessExtractor.cs')
-rw-r--r-- | Source/GPUVerify/NonLocalAccessExtractor.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/GPUVerify/NonLocalAccessExtractor.cs b/Source/GPUVerify/NonLocalAccessExtractor.cs index 553be683..412998e2 100644 --- a/Source/GPUVerify/NonLocalAccessExtractor.cs +++ b/Source/GPUVerify/NonLocalAccessExtractor.cs @@ -14,9 +14,9 @@ namespace GPUVerify public LocalVariable Declaration = null;
public bool done = false;
- private INonLocalState NonLocalState;
+ private IKernelArrayInfo NonLocalState;
- public NonLocalAccessExtractor(int TempId, INonLocalState NonLocalState)
+ public NonLocalAccessExtractor(int TempId, IKernelArrayInfo NonLocalState)
{
this.TempId = TempId;
this.NonLocalState = NonLocalState;
|