suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Resolve user types when checking parallel array access.

Browse Source
This commit is contained in:
Adam Sampson 2009-03-21 15:39:13 +00:00
parent 77be0c1137
commit 69b798735f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
checks/ArrayUsageCheck.hs
View File

@ -160,7 +160,7 @@ checkArrayUsage sharedAttr (m,p)
let declNames = [x | Just x <- fmap (getDecl . snd) $ flattenParItems p] let declNames = [x | Just x <- fmap (getDecl . snd) $ flattenParItems p]
when (fmap (Set.member sharedAttr) (Map.lookup arrName sharedNames) /= Just True && arrName `notElem` declNames) $ when (fmap (Set.member sharedAttr) (Map.lookup arrName sharedNames) /= Just True && arrName `notElem` declNames) $
do userArrName <- getRealName (A.Name undefined arrName) do userArrName <- getRealName (A.Name undefined arrName)
arrType <- astTypeOf (A.Name undefined arrName) arrType <- astTypeOf (A.Name undefined arrName) >>= resolveUserType m
arrLength <- case arrType of arrLength <- case arrType of
A.Array (A.Dimension d:_) _ -> return d A.Array (A.Dimension d:_) _ -> return d
-- Unknown dimension, use the maximum value for a (assumed 32-bit for INT) integer: -- Unknown dimension, use the maximum value for a (assumed 32-bit for INT) integer: