{-# LANGUAGE OverloadedStrings #-}
module Tokstyle.Linter.ConstnessSpec where

import           Test.Hspec          (Spec, it, shouldBe)

import           Tokstyle.Linter     (analyseLocal)
import           Tokstyle.LinterSpec (mustParse)


spec :: Spec
spec = do
    it "should not give diagnostics on parameters or pointer or array types" $ do
        ast <- mustParse
            [ "int a(int b) {"
            , "  int *a = get();"
            , "  int b[3];"
            , "  return *a + b[0];"
            , "}"
            ]
        analyseLocal ["constness"] ("test.c", ast)
            `shouldBe` []

    it "should give diagnostics on locals that can be const" $ do
        ast <- mustParse
            [ "int a(int b) {"
            , "  int a = get();"
            , "  return a;"
            , "}"
            ]
        analyseLocal ["constness"] ("test.c", ast)
            `shouldBe`
            [ "test.c:2: variable `a` is never written to and can be declared `const` [-Wconstness]"
            ]