feat: Add preliminary support for owner pointer qualifier.

src/Tokstyle/Common.hs

@@ -19,6 +19,7 @@ isPointer x = case unFix x of
     VarDecl ty _ [] -> isPointer ty
     VarDecl{}       -> True
     TyConst ty      -> isPointer ty
+    TyOwner ty      -> isPointer ty
     TyPointer{}     -> True
     TyStd{}         -> False
     TyStruct{}      -> False

src/Tokstyle/Linter/Callgraph.hs

@@ -339,6 +339,9 @@ analyse = reverse . flip State.execState [] . linter . (builtins <>) . callgraph
 
         , "WORDS_BIGENDIAN"
 
+        -- cake
+        , "static_set"
+
         , "crypto_aead_xchacha20poly1305_ietf_decrypt"
         , "crypto_aead_xchacha20poly1305_ietf_encrypt"
         , "crypto_auth_BYTES"

src/Tokstyle/Linter/CallocType.hs

@@ -26,6 +26,7 @@ checkTypes funName file castTy sizeofTy = case unFix castTy of
             "`" <> funName <> "` should not be used for `" <> showNode castTy
             <> "`; use `mem_balloc` instead"
     TyPointer ty1 | ty1 `semEq` sizeofTy -> return ()
+    TyOwner (Fix (TyPointer ty1)) | ty1 `semEq` sizeofTy -> return ()
     _ -> warn file castTy $
         "`" <> funName <> "` result is cast to `" <> showNode castTy
         <> "` but allocated type is `" <> showNode sizeofTy <> "`"

src/Tokstyle/Linter/MallocType.hs

@@ -30,6 +30,10 @@ isByteSize ty = case unFix ty of
     TyStd (L _ _ "uint8_t") -> True
     _                       -> False
 
+removeOwner :: Node (Lexeme Text) -> Node (Lexeme Text)
+removeOwner (Fix (TyOwner ty)) = ty
+removeOwner ty                 = ty
+
 checkType :: FilePath -> Text -> Node (Lexeme Text) -> State [Text] ()
 checkType file malloc castTy = case unFix castTy of
     TyPointer (Fix (TyStd (L _ _ tyName))) | tyName `elem` supportedTypes -> return ()
@@ -74,14 +78,15 @@ linter = astActions
     { doNode = \file node act ->
         case unFix node of
             -- Windows API weirdness: ignore completely.
-            CastExpr (Fix (TyPointer (Fix (TyStd (L _ _ "IP_ADAPTER_INFO"))))) _ -> return ()
+            CastExpr               (Fix (TyPointer (Fix (TyStd (L _ _ "IP_ADAPTER_INFO")))))   _ -> return ()
+            CastExpr (Fix (TyOwner (Fix (TyPointer (Fix (TyStd (L _ _ "IP_ADAPTER_INFO"))))))) _ -> return ()
 
             CastExpr castTy (Fix (FunctionCall (Fix (VarExpr (L _ _ "malloc"))) [size])) -> do
-                checkType file "malloc" castTy
-                checkSize file "malloc" castTy size
+                checkType file "malloc" (removeOwner castTy)
+                checkSize file "malloc" (removeOwner castTy) size
             CastExpr castTy (Fix (FunctionCall (Fix (VarExpr (L _ _ "mem_balloc"))) [_, size])) -> do
-                checkType file "mem_balloc" castTy
-                checkSize file "mem_balloc" castTy size
+                checkType file "mem_balloc" (removeOwner castTy)
+                checkSize file "mem_balloc" (removeOwner castTy) size
 
             FunctionCall (Fix (VarExpr (L _ _ name))) _ | name `elem` mallocs ->
                 warn file node $ "the result of `" <> name <> "` must be cast; plain `void *` is not supported"

src/Tokstyle/Linter/TypeCheck.hs

@@ -344,6 +344,7 @@ inferTypes = \case
     TyBitwise ty -> return ty
     TyForce ty -> return ty
     TyConst ty -> return ty
+    TyOwner ty -> return ty
     Ellipsis -> return T_Void
 
     VLA ty (L _ _ name) size -> do

src/Tokstyle/SemFmt/EnumFromInt.hs

@@ -29,7 +29,7 @@ mkCase node = error $ show node
 
 mkAssignOut :: Lexeme Text -> (LexemeClass, Text) -> Node (Lexeme Text)
 mkAssignOut name (retCls, retStr) =
-    let outDeref = Fix (UnaryExpr UopDeref (Fix (VarExpr (mkLAt name IdVar "out")))) in
+    let outDeref = Fix (UnaryExpr UopDeref (Fix (VarExpr (mkLAt name IdVar "out_enum")))) in
     Fix $ CompoundStmt
         [ Fix (ExprStmt (Fix (AssignExpr outDeref AopEq (Fix (LiteralExpr ConstId name)))))
         , Fix (Return (Just (Fix (LiteralExpr Bool (mkLAt name retCls retStr)))))

stack.yaml

@@ -2,4 +2,4 @@
 packages: [.]
 resolver: lts-21.9
 extra-deps:
-  - cimple-0.0.20
+  - cimple-0.0.21

test/Tokstyle/SemFmt/EnumFromIntSpec.hs

@@ -17,18 +17,18 @@ spec = do
             , "  FOO_ONE,"
             , "  FOO_TWO,"
             , "} Foo;"
-            , "bool foo_from_int(int b, Foo *out) {"
+            , "bool foo_from_int(int b, Foo *out_enum) {"
             , "  switch (b) {"
             , "    case FOO_ONE: {"
-            , "      *out = FOO_ONE;"
+            , "      *out_enum = FOO_ONE;"
             , "      return true;"
             , "    }"
             , "    case FOO_TWO: {"
-            , "      *out = FOO_ONE;"  -- mistake here
+            , "      *out_enum = FOO_ONE;"  -- mistake here
             , "      return true;"
             , "    }"
             , "    default: {"
-            , "      *out = FOO_ONE;"
+            , "      *out_enum = FOO_ONE;"
             , "      return false;"
             , "    }"
             , "  }"
@@ -38,15 +38,15 @@ spec = do
             [ "{"
             , "  switch (b) {"
             , "    case FOO_ONE: {"
-            , "      *out = FOO_ONE;"
+            , "      *out_enum = FOO_ONE;"
             , "      return true;"
             , "    }"
             , "    case FOO_TWO: {"
-            , "      *out = FOO_TWO;"
+            , "      *out_enum = FOO_TWO;"
             , "      return true;"
             , "    }"
             , "    default: {"
-            , "      *out = FOO_ONE;"
+            , "      *out_enum = FOO_ONE;"
             , "      return false;"
             , "    }"
             , "  }"
@@ -64,18 +64,18 @@ spec = do
             , "  FOO_ONE,"
             , "  FOO_TWO,"
             , "} Foo;"
-            , "bool foo_from_int(int b, Foo *out) {"
+            , "bool foo_from_int(int b, Foo *out_enum) {"
             , "  switch (b) {"
             , "    case FOO_ONE: {"
-            , "      *out = FOO_ONE;"
+            , "      *out_enum = FOO_ONE;"
             , "      return true;"
             , "    }"
             , "    case FOO_TWO: {"
-            , "      *out = FOO_TWO;"
+            , "      *out_enum = FOO_TWO;"
             , "      return true;"
             , "    }"
             , "    default: {"
-            , "      *out = FOO_ONE;"
+            , "      *out_enum = FOO_ONE;"
             , "      return false;"
             , "    }"
             , "  }"

tokstyle.cabal

@@ -82,7 +82,7 @@ library
     , array           <0.6
     , base            >=4       && <5
     , bytestring      <0.13
-    , cimple          >=0.0.20
+    , cimple          >=0.0.21
     , casing          <0.2
     , containers      <0.8
     , data-fix        <0.4