adlint 2.6.14 → 3.0.0

data/etc/mesg.d/c_builtin/ja_JP/messages.yml

@@ -2,7 +2,7 @@
 #    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
 #   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
 #  / __  |/ /_/ / /___/ / /|  /  / /
-# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
 #
 # This file is part of AdLint.
 #
@@ -49,7 +49,7 @@
 #         - "ERR:X99"
 #       format: "Your custom message for the error of E9999."
 
-version: "2.6.14"
+version: "3.0.0"
 
 message_definition:
   W0001:
@@ -2915,15 +2915,15 @@ message_definition:
   W1061:
     classes:
       - "UNC:X99"
-    format: "仮引数が列挙型である関数の実引数に列挙型でない非定数式が渡されています。"
+    format: "仮引数が列挙型である関数の実引数に異なる型の非定数式の値が渡されています。"
   W1062:
     classes:
       - "UNC:X99"
-    format: "非定数式が列挙型オブジェクトに代入されています。"
+    format: "異なる型の非定数式の値が列挙型オブジェクトに代入されています。"
   W1063:
     classes:
       - "UNC:X99"
-    format: "戻り値が列挙型の関数から、非定数式が返されています。"
+    format: "戻り値が列挙型の関数から、異なる型の非定数式の値が返されています。"
   W1064:
     classes:
       - "UNC:X99"

data/etc/mesg.d/core/en_US/messages.yml

@@ -2,7 +2,7 @@
 #    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
 #   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
 #  / __  |/ /_/ / /___/ / /|  /  / /
-# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
 #
 # This file is part of AdLint.
 #
@@ -49,7 +49,7 @@
 #         - "ERR:X99"
 #       format: "Your custom message for the error of E9999."
 
-version: "2.6.14"
+version: "3.0.0"
 
 message_definition:
   X0001:

data/etc/mesg.d/core/ja_JP/messages.yml

@@ -2,7 +2,7 @@
 #    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
 #   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
 #  / __  |/ /_/ / /___/ / /|  /  / /
-# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
 #
 # This file is part of AdLint.
 #
@@ -49,7 +49,7 @@
 #         - "ERR:X99"
 #       format: "Your custom message for the error of E9999."
 
-version: "2.6.14"
+version: "3.0.0"
 
 message_definition:
   X0001:

data/features/code_check/W0018.feature

@@ -0,0 +1,197 @@
+Feature: W0018
+
+  W0018 detects that precision of the conversion-specifier in `*printf'
+  function call is greater than 509.
+
+  Scenario: precision of `%f' conversion-specifier in `printf' function call is
+            greater than 509
+    Given a target source named "fixture.c" with:
+      """
+      #include <stdio.h>
+
+      int foo(double d)
+      {
+          return printf("%.512f", d); /* W0018 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 5      |
+      | W0018 | 5    | 19     |
+      | W0104 | 3    | 16     |
+      | W0947 | 5    | 19     |
+      | W0628 | 3    | 5      |
+
+  Scenario: precision of `%f' conversion-specifier in `printf' function call is
+            equal to 510
+    Given a target source named "fixture.c" with:
+      """
+      #include <stdio.h>
+
+      int foo(double d)
+      {
+          return printf("%.510f", d); /* W0018 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 5      |
+      | W0018 | 5    | 19     |
+      | W0104 | 3    | 16     |
+      | W0947 | 5    | 19     |
+      | W0628 | 3    | 5      |
+
+  Scenario: precision of `%f' conversion-specifier in `printf' function call is
+            equal to 509
+    Given a target source named "fixture.c" with:
+      """
+      #include <stdio.h>
+
+      int foo(double d)
+      {
+          return printf("%.509f", d); /* OK */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 5      |
+      | W0104 | 3    | 16     |
+      | W0947 | 5    | 19     |
+      | W0628 | 3    | 5      |
+
+  Scenario: precision of `%f' conversion-specifier in `printf' function call is
+            less than 509
+    Given a target source named "fixture.c" with:
+      """
+      #include <stdio.h>
+
+      int foo(double d)
+      {
+          return printf("%.500f", d); /* OK */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 5      |
+      | W0104 | 3    | 16     |
+      | W0947 | 5    | 19     |
+      | W0628 | 3    | 5      |
+
+  Scenario: no precision of `%f' conversion-specifier in `printf' function call
+    Given a target source named "fixture.c" with:
+      """
+      #include <stdio.h>
+
+      int foo(double d)
+      {
+          return printf("%f", d); /* OK */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 5      |
+      | W0104 | 3    | 16     |
+      | W0947 | 5    | 19     |
+      | W0628 | 3    | 5      |
+
+  Scenario: precision of `%f' conversion-specifier in `fprintf' function call
+            is greater than 509
+    Given a target source named "fixture.c" with:
+      """
+      #include <stdio.h>
+
+      int foo(double d)
+      {
+          return fprintf(stdout, "%.512f", d); /* W0018 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 5      |
+      | W0018 | 5    | 28     |
+      | W0104 | 3    | 16     |
+      | W0947 | 5    | 28     |
+      | W0628 | 3    | 5      |
+
+  Scenario: precision of `%f' conversion-specifier in `fprintf' function call
+            is equal to 510
+    Given a target source named "fixture.c" with:
+      """
+      #include <stdio.h>
+
+      int foo(double d)
+      {
+          return fprintf(stdout, "%.510f", d); /* W0018 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 5      |
+      | W0018 | 5    | 28     |
+      | W0104 | 3    | 16     |
+      | W0947 | 5    | 28     |
+      | W0628 | 3    | 5      |
+
+  Scenario: precision of `%f' conversion-specifier in `fprintf' function call
+            is equal to 509
+    Given a target source named "fixture.c" with:
+      """
+      #include <stdio.h>
+
+      int foo(double d)
+      {
+          return fprintf(stdout, "%.509f", d); /* OK */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 5      |
+      | W0104 | 3    | 16     |
+      | W0947 | 5    | 28     |
+      | W0628 | 3    | 5      |
+
+  Scenario: precision of `%f' conversion-specifier in `fprintf' function call
+            is less than 509
+    Given a target source named "fixture.c" with:
+      """
+      #include <stdio.h>
+
+      int foo(double d)
+      {
+          return fprintf(stdout, "%.500f", d); /* OK */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 5      |
+      | W0104 | 3    | 16     |
+      | W0947 | 5    | 28     |
+      | W0628 | 3    | 5      |
+
+  Scenario: no precision of `%f' conversion-specifier in `fprintf' function
+            call
+    Given a target source named "fixture.c" with:
+      """
+      #include <stdio.h>
+
+      int foo(double d)
+      {
+          return fprintf(stdout, "%f", d); /* OK */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 5      |
+      | W0104 | 3    | 16     |
+      | W0947 | 5    | 28     |
+      | W0628 | 3    | 5      |

data/features/code_check/W0019.feature

@@ -0,0 +1,79 @@
+Feature: W0019
+
+  W0019 detects that a pointer-cast deletes `const' qualifier.
+
+  Scenario: casting const int pointer to int pointer
+    Given a target source named "fixture.c" with:
+      """
+      int foo(const int *p)
+      {
+          int *q;
+          q = (int *) p; /* W0019 */
+          return -1;
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 5      |
+      | W0019 | 4    | 9      |
+      | W0100 | 3    | 10     |
+      | W0104 | 1    | 20     |
+      | W0628 | 1    | 5      |
+
+  Scenario: casting const unsigned short pointer to short pointer
+    Given a target source named "fixture.c" with:
+      """
+      int foo(const unsigned short *p)
+      {
+          unsigned short *q;
+          q = (short *) p; /* W0019 */
+          return -1;
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 5      |
+      | W0019 | 4    | 9      |
+      | W9003 | 4    | 9      |
+      | W0100 | 3    | 21     |
+      | W0104 | 1    | 31     |
+      | W0628 | 1    | 5      |
+
+  Scenario: assigning compatible const pointers
+    Given a target source named "fixture.c" with:
+      """
+      int foo(const int *p)
+      {
+          const int *q;
+          q = p; /* OK */
+          return -1;
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 5      |
+      | W0100 | 3    | 16     |
+      | W0104 | 1    | 20     |
+      | W0628 | 1    | 5      |
+
+  Scenario: casting const int array pointer to int pointer
+    Given a target source named "fixture.c" with:
+      """
+      const int a[] = { 0, 1, 2 };
+
+      int foo(void)
+      {
+          const int *p = a; /* OK */
+          return -1;
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 11     |
+      | W0117 | 3    | 5      |
+      | W0100 | 5    | 16     |
+      | W0628 | 3    | 5      |

data/features/code_check/W0021.feature

@@ -0,0 +1,81 @@
+Feature: W0021
+
+  W0021 detects that a pointer-cast deletes `volatile' qualifier.
+
+  Scenario: casting volatile int pointer to int pointer
+    Given a target source named "fixture.c" with:
+      """
+      int foo(volatile int *p)
+      {
+          int *q;
+          q = (int *) p; /* W0021 */
+          return -1;
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 5      |
+      | W0021 | 4    | 9      |
+      | W0100 | 3    | 10     |
+      | W0104 | 1    | 23     |
+      | W0105 | 1    | 23     |
+      | W0628 | 1    | 5      |
+
+  Scenario: casting volatile const int pointer to int pointer
+    Given a target source named "fixture.c" with:
+      """
+      int foo(volatile const int *p)
+      {
+          int *q;
+          q = (int *) p; /* W0021 */
+          return -1;
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 5      |
+      | W0019 | 4    | 9      |
+      | W0021 | 4    | 9      |
+      | W0100 | 3    | 10     |
+      | W0104 | 1    | 29     |
+      | W0628 | 1    | 5      |
+
+  Scenario: assigning compatible volatile pointers
+    Given a target source named "fixture.c" with:
+      """
+      int foo(volatile int *p)
+      {
+          volatile int *q;
+          q = p; /* OK */
+          return -1;
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 5      |
+      | W0100 | 3    | 19     |
+      | W0104 | 1    | 23     |
+      | W0105 | 1    | 23     |
+      | W0628 | 1    | 5      |
+
+ Scenario: casting volatile int array pointer to int pointer
+    Given a target source named "fixture.c" with:
+      """
+      volatile int a[] = { 0, 1, 2 };
+
+      int foo(void)
+      {
+          volatile int *p = a; /* OK */
+          return -1;
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 14     |
+      | W0117 | 3    | 5      |
+      | W0100 | 5    | 19     |
+      | W0628 | 3    | 5      |

data/features/code_check/W0023.feature

@@ -0,0 +1,203 @@
+Feature: W0023
+
+  W0023 detects that a pointer variable appears in the arithmetic operation.
+
+  Scenario: additive-expression with a pointer variable
+    Given a target source named "fixture.c" with:
+      """
+      long func(const int * const p)
+      {
+          const long r = p + 10L; /* W0023 */
+          return r;
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 6      |
+      | W9003 | 3    | 24     |
+      | W0023 | 3    | 22     |
+      | W0424 | 3    | 20     |
+      | W9003 | 3    | 22     |
+      | W0628 | 1    | 6      |
+
+  Scenario: multiplicative-expression with a pointer variable
+    Given a target source named "fixture.c" with:
+      """
+      long func(const int * const p)
+      {
+          const long r = p * 2L; /* W0023 */
+          return r;
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 6      |
+      | W9003 | 3    | 24     |
+      | W0023 | 3    | 22     |
+      | W0424 | 3    | 20     |
+      | W9003 | 3    | 22     |
+      | W0628 | 1    | 6      |
+
+  Scenario: additive-expression with pointer variables
+    Given a target source named "fixture.c" with:
+      """
+      long func(const int * const p, const int * const q)
+      {
+          const long r = p - q; /* W0023 */
+          return r;
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 6      |
+      | W0023 | 3    | 22     |
+      | W0424 | 3    | 20     |
+      | W0424 | 3    | 24     |
+      | W1052 | 3    | 22     |
+      | W9003 | 3    | 22     |
+      | W0628 | 1    | 6      |
+
+  Scenario: multiplicative-expression with pointer variables
+    Given a target source named "fixture.c" with:
+      """
+      long func(const int * const p, const int * const q)
+      {
+          const long r = p / q; /* W0023 */
+          return r;
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 6      |
+      | W0023 | 3    | 22     |
+      | W0093 | 3    | 22     |
+      | W0424 | 3    | 20     |
+      | W0424 | 3    | 24     |
+      | W9003 | 3    | 22     |
+      | W0628 | 1    | 6      |
+
+  Scenario: additive-expression and multiplicative-expression with
+            pointer variables
+    Given a target source named "fixture.c" with:
+      """
+      long func(const int * const p, const int * const q, const int * const r)
+      {
+          const long s = (p + q) * r; /* W0023 */
+          return s;
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 6      |
+      | W0023 | 3    | 23     |
+      | W0424 | 3    | 21     |
+      | W0424 | 3    | 25     |
+      | W1052 | 3    | 23     |
+      | W0023 | 3    | 28     |
+      | W0424 | 3    | 20     |
+      | W0424 | 3    | 30     |
+      | W1052 | 3    | 28     |
+      | W9003 | 3    | 28     |
+      | W0628 | 1    | 6      |
+
+  Scenario: additive-expression and increment operation with pointer variables
+    Given a target source named "fixture.c" with:
+      """
+      long func(const int * const p, const int * const q)
+      {
+          const long r = q - p + 1; /* W0023 */
+          return r;
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 6      |
+      | W0023 | 3    | 22     |
+      | W0424 | 3    | 20     |
+      | W0424 | 3    | 24     |
+      | W1052 | 3    | 22     |
+      | W9003 | 3    | 28     |
+      | W0024 | 3    | 26     |
+      | W0424 | 3    | 22     |
+      | W9003 | 3    | 26     |
+      | W0498 | 3    | 20     |
+      | W0628 | 1    | 6      |
+
+  Scenario: additive-expression with an array vairable
+    Given a target source named "fixture.c" with:
+      """
+      long func(void)
+      {
+          const long a[] = { 0, 1, 2 };
+          const long r = a + 10L; /* W0023 */
+          return r;
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 6      |
+      | W9003 | 4    | 24     |
+      | W0023 | 4    | 22     |
+      | W9003 | 4    | 22     |
+      | W0628 | 1    | 6      |
+
+  Scenario: shift-expression with pointer variables
+    Given a target source named "fixture.c" with:
+      """
+      long func(const int * const p, const int * const q)
+      {
+          const long r = p << q; /* OK */
+          return r;
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 6      |
+      | W0116 | 3    | 22     |
+      | W0424 | 3    | 20     |
+      | W0424 | 3    | 25     |
+      | W9003 | 3    | 22     |
+      | W0628 | 1    | 6      |
+
+  Scenario: equality-expression with pointer variables
+    Given a target source named "fixture.c" with:
+      """
+      int func(const int * const p, const int * const q)
+      {
+          return p != q; /* OK */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 5      |
+      | W0027 | 3    | 14     |
+      | W0628 | 1    | 5      |
+
+  Scenario: assignment-expression with a pointer variable
+    Given a target source named "fixture.c" with:
+      """
+      long func(const int * const p)
+      {
+          long r = 0;
+          r += p; /* OK */
+          return r;
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 6      |
+      | W9003 | 4    | 5      |
+      | W0023 | 4    | 7      |
+      | W0424 | 4    | 10     |
+      | W9003 | 4    | 5      |
+      | W0628 | 1    | 6      |