From 69b798735feb6ea45c83dc994498a4e3d3466bfd Mon Sep 17 00:00:00 2001 From: Adam Sampson Date: Sat, 21 Mar 2009 15:39:13 +0000 Subject: [PATCH] Resolve user types when checking parallel array access. --- checks/ArrayUsageCheck.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/checks/ArrayUsageCheck.hs b/checks/ArrayUsageCheck.hs index e85ab79..7ab993d 100644 --- a/checks/ArrayUsageCheck.hs +++ b/checks/ArrayUsageCheck.hs @@ -160,7 +160,7 @@ checkArrayUsage sharedAttr (m,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) $ 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 A.Array (A.Dimension d:_) _ -> return d -- Unknown dimension, use the maximum value for a (assumed 32-bit for INT) integer: