adlint 3.2.0 → 3.2.6

data/etc/conf.d/x86_64-centos_6.4/traits-gcc_4.4.7.erb

@@ -0,0 +1,290 @@
+#     ___    ____  __    ___   _________
+#    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
+#   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
+#  / __  |/ /_/ / /___/ / /|  /  / /
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2014, OGIS-RI Co.,Ltd.
+#
+# Traits file generated by adlintize <%= AdLint::SHORT_VERSION %> at <%= Time.now %>.
+
+# Schema version of the traits file.
+# DO NOT EDIT MANUALLY!
+version: "<%= AdLint::TRAITS_SCHEMA_VERSION %>"
+
+# List of names of source code examination packages.
+#
+# "c_builtin" is a builtin source code examination package for C language.
+# You can install optional examination packages and append (or replace) this
+# list to specify which examination packages are to be run.
+exam_packages:
+  - "c_builtin"
+
+#
+# Project specific traits section
+#
+project_traits:
+
+  # Project name.
+  project_name: "<%= project_name %>"
+
+  # Project root directory.
+  project_root: "<%= vpath %>"
+
+  # Analysys target selection.
+  # Ex.
+  #   target_files:
+  #     inclusion_paths:
+  #       - "../foo"
+  #       - "../bar"
+  #     exclusion_paths:
+  #       - "../bar/baz"
+  target_files:
+    inclusion_paths:
+      - "<%= vpath %>"
+    exclusion_paths:
+
+  # Pathname of the project specific initial header file.
+  # This header file is automatically included above the first line of the
+  # target source file.
+  initial_header: "<%= pinit_fpath.basename %>"
+
+  # Project specific additional include paths.
+  # Ex.
+  #   file_search_paths:
+  #     - "include/foo"
+  #     - "../include/bar"
+  #     - "/opt/baz/include"
+  file_search_paths:
+
+  #
+  # Project specific coding style section
+  #
+  coding_style:
+
+    # Indent style which is a convention governing the identation of blocks.
+    # Select from "K&R", "Allman" and "GNU".
+    #
+    # The value "K&R" means...
+    #   int foo(int i)
+    #   {
+    #       if (i == 0) {
+    #           return 0;
+    #       }
+    #       return i;
+    #   }
+    #
+    # The value "Allman" means...
+    #   int foo(int i)
+    #   {
+    #       if (i == 0)
+    #       {
+    #           return 0;
+    #       }
+    #       return i;
+    #   }
+    #
+    # The value "GNU" means...
+    #   int
+    #   foo(int i)
+    #   {
+    #     if (i == 0)
+    #       {
+    #         return 0;
+    #       }
+    #     return i;
+    #   }
+    indent_style: "K&R"
+
+    # Appearance width of a TAB character.
+    tab_width: 8
+
+    # Appearance width of 1-level of the indentation.
+    indent_width: 4
+
+  # Character encoding of source files.
+  file_encoding: "utf-8"
+
+#
+# Compiler specific traits section
+#
+compiler_traits:
+
+  # Pathname of the compiler specific initial header file.
+  # This header file is automatically included above the first line of the
+  # project specific initial header file.
+  initial_header: "<%= cinit_fpath.basename %>"
+
+  # Compiler specific include paths.
+  # Ex.
+  #   file_search_paths:
+  #     - "/usr/include"
+  #     - "/usr/local/include"
+  file_search_paths:
+    - "/usr/local/include"
+    - "/usr/lib/gcc/x86_64-redhat-linux/4.4.7/include"
+    - "/usr/include"
+
+  #
+  # Compiler specific standard type section
+  #
+  standard_types:
+
+    # Bit size of the `char' type family.
+    char_size: 8
+    # Bit size of the alignment of the `char' type family.
+    char_alignment: 8
+
+    # Bit size of the `short' type family.
+    short_size: 16
+    # Bit size of the alignment of the `short' type family.
+    short_alignment: 16
+
+    # Bit size of the `int' type family.
+    int_size: 32
+    # Bit size of the alignment of the `int' type family.
+    int_alignment: 32
+
+    # Bit size of the `long int' type family.
+    long_size: 64
+    # Bit size of the alignment of the `long int' type family.
+    long_alignment: 64
+
+    # Bit size of the `long long int' type family.
+    long_long_size: 64
+    # Bit size of the alignment of the `long long int' type family.
+    long_long_alignment: 64
+
+    # Bit size of the `float' type.
+    float_size: 32
+    # Bit size of the alignment of the `float' type.
+    float_alignment: 32
+
+    # Bit size of the `double' type.
+    double_size: 64
+    # Bit size of the alignment of the `double' type.
+    double_alignment: 64
+
+    # Bit size of the `long double' type.
+    long_double_size: 128
+    # Bit size of the alignment of the `long double' type.
+    long_double_alignment: 128
+
+    # Bit size of the pointer to functions.
+    code_ptr_size: 64
+    # Bit size of the alignment of the pointer to functions.
+    code_ptr_alignment: 64
+
+    # Bit size of the pointer to data.
+    data_ptr_size: 64
+    # Bit size of the alignment of the pointer to data.
+    data_ptr_alignment: 64
+
+    # Treat the `char' type as same as the `unsigned char' type?
+    char_as_unsigned_char: true
+
+  # Treat the `>>' operator as a logical shift, not an arithmetic shift?
+  arithmetic:
+    logical_right_shift: true
+
+  # Max length of all symbols can be identified by the compiler.
+  identifier_max: 128
+
+  # Token substitution setting to warn the use of compiler specific extensions.
+  #
+  # If your compiler supports `__attribute__(...)' extension and you want to
+  # know the use of this extension, specify as below.
+  #   extension_substitutions:
+  #     "__attribute__(__adlint__any)": ""
+  # The token sequence consists of `__attribute__', `(', any kind of tokens,
+  # `)' will be replaced with nothing (erased) after the preprocessing phase.
+  # And this substitution will be warned by the message W0061.
+  extension_substitutions:
+    "__extension__": ""
+    "__attribute__(__adlint__any)": ""
+    "__asm__ __adlint__any(__adlint__any)": ""
+    "__signed__": "signed"
+    "__const": "const"
+    "__volatile": "volatile"
+    "__restrict": "restrict"
+    "__inline__": "inline"
+    "__inline": "inline"
+
+  # Token substitution setting to silently ignore the use of compiler specific
+  # extensions.
+  #
+  # If your compiler supports `__asm__ volatile (...)' extension and you do not
+  # mind the use of this extension, specify as below.
+  #   arbitrary_substitutions:
+  #     "__asm__ __adlint__any(__adlint__any)": ""
+  # The token sequence consists of `__asm__', any kind of tokens, `(', any kind
+  # of tokens, `)' will be replaced with nothing (erased) silently after the
+  # preprocessing phase.
+  arbitrary_substitutions:
+    "typeof": "__typeof__"
+    "__typeof": "__typeof__"
+    "alignof": "__alignof__"
+    "__alignof": "__alignof__"
+
+#
+# Linker specific traits section
+#
+linker_traits:
+
+  # Max length of external symbols can be identified by the linker.
+  identifier_max: 128
+
+  # Are external symbols identified without case by the linker?
+  identifier_ignore_case: false
+
+#
+# Message traits section
+#
+message_traits:
+
+  # Language of the message text.
+  # Currently, "en_US" and "ja_JP" are supported.
+  # Please help to translate the message catalog into your language.
+  language: "<%= lang %>"
+
+  # Enable inline annotation based message suppression?
+  individual_suppression: true
+
+  # Project-wide code check exclusion settings.
+  # Ex.
+  #   exclusion:
+  #     categories:
+  #       - "REL"
+  #       - "PRT"
+  #     severities: "[ABC][5-9][0-9]"
+  #     messages:
+  #       W0001: "c_builtin"
+  #       W0002: "c_ansi"
+  exclusion:
+
+  # Project-wide code check inclusion settings.
+  # Ex.
+  #   inclusion:
+  #     messages:
+  #       W0001: "c_builtin"
+  #       W0002: "c_ansi"
+  inclusion:
+
+  # Message text replacement.
+  # Ex.
+  #   change_list:
+  #     W9999:
+  #       package: "c_builtin"
+  #       classes:
+  #         - "REL:A10"
+  #         - "PRT:B20"
+  #       format: "Your custom message for the warning of W9999."
+  #     X9999:
+  #       package: "core"
+  #       classes:
+  #         - "ERR:X99"
+  #       format: "Your custom message for the warning of X9999."
+  #     E9999:
+  #       package: "core"
+  #       classes:
+  #         - "ERR:X99"
+  #       format: "Your custom message for the warning of E9999."
+  change_list:

data/etc/conf.d/x86_64-ubuntu_12.04/cinit-gcc_4.6.3.erb

@@ -2,7 +2,7 @@
  *    /   |  / _  |/ /   / / | / /__  __/          Source Code Static Analyzer
  *   / /| | / / / / /   / /  |/ /  / /                  AdLint - Advanced Lint
  *  / __  |/ /_/ / /___/ / /|  /  / /
- * /_/  |_|_____/_____/_/_/ |_/  /_/  Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+ * /_/  |_|_____/_____/_/_/ |_/  /_/  Copyright (C) 2010-2014, OGIS-RI Co.,Ltd.
  *
  * Initial header for GCC 4.6.3 on Ubuntu 12.04 LTS (64bit) generated by adlintize <%= AdLint::SHORT_VERSION %>
  */

data/etc/conf.d/x86_64-ubuntu_12.04/traits-gcc_4.6.3.erb

@@ -2,7 +2,7 @@
 #    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
 #   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
 #  / __  |/ /_/ / /___/ / /|  /  / /
-# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2014, OGIS-RI Co.,Ltd.
 #
 # Traits file generated by adlintize <%= AdLint::SHORT_VERSION %> at <%= Time.now %>.
 

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

@@ -2,7 +2,7 @@
 #    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
 #   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
 #  / __  |/ /_/ / /___/ / /|  /  / /
-# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2014, 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: "3.2.0"
+version: "3.2.6"
 
 message_definition:
   W0001:

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

@@ -2,7 +2,7 @@
 #    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
 #   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
 #  / __  |/ /_/ / /___/ / /|  /  / /
-# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2014, 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: "3.2.0"
+version: "3.2.6"
 
 message_definition:
   W0001:
@@ -2995,7 +2995,7 @@ message_definition:
   C0001:
     classes:
       - "INF:X99"
-    format: "この識別名 `%s' で警告を検知しました。"
+    format: "この識別子 `%s' で警告を検知しました。"
   C1000:
     classes:
       - "INF:X99"

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

@@ -2,7 +2,7 @@
 #    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
 #   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
 #  / __  |/ /_/ / /___/ / /|  /  / /
-# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2014, 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: "3.2.0"
+version: "3.2.6"
 
 message_definition:
   X0001:
@@ -136,3 +136,7 @@ message_definition:
     classes:
       - "ERR:X99"
     format: "#include expects \"filename\" or <filename>."
+  E0018:
+    classes:
+      - "ERR:X99"
+    format: "Extra semicolon appears in the global scope."

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

@@ -2,7 +2,7 @@
 #    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
 #   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
 #  / __  |/ /_/ / /___/ / /|  /  / /
-# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2014, 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: "3.2.0"
+version: "3.2.6"
 
 message_definition:
   X0001:
@@ -136,3 +136,7 @@ message_definition:
     classes:
       - "ERR:X99"
     format: "#include ディレクティブに \"ファイル名\" または <ファイル名> が見つかりません。"
+  E0018:
+    classes:
+      - "ERR:X99"
+    format: "大域スコープに余分なセミコロンが見つかりました。"

data/features/code_check/E0008.feature

@@ -18,3 +18,125 @@ Feature: E0008
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0118 | 5    | 6      |
+
+  Scenario: repeated multiple typedefs in a typedef declaration
+    Given a target source named "fixture.c" with:
+      """
+      typedef int foo;
+      typedef struct bar { foo f; } baz, *qux;
+      typedef struct bar baz, *qux;
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0425 | 2    | 37     |
+      | W0425 | 3    | 26     |
+      | W0586 | 2    | 31     |
+      | W0586 | 3    | 20     |
+      | W0586 | 2    | 37     |
+      | W0586 | 3    | 26     |
+
+  Scenario: repeated multiple typedefs in a typedef declaration
+    Given a target source named "fixture.c" with:
+      """
+      typedef enum foo { FOO } bar, *baz;
+      typedef enum foo bar, *baz;
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0425 | 1    | 32     |
+      | W0425 | 2    | 24     |
+      | W0586 | 1    | 26     |
+      | W0586 | 2    | 18     |
+      | W0586 | 1    | 32     |
+      | W0586 | 2    | 24     |
+
+  Scenario: repeated multiple typedefs in a typedef declaration
+    Given a target source named "fixture.c" with:
+      """
+      typedef struct foo { int i; } bar, *baz;
+      typedef struct foo bar, *baz;
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0425 | 1    | 37     |
+      | W0425 | 2    | 26     |
+      | W0586 | 1    | 31     |
+      | W0586 | 2    | 20     |
+      | W0586 | 1    | 37     |
+      | W0586 | 2    | 26     |
+
+  Scenario: repeated multiple typedefs in a typedef declaration
+    Given a target source named "fixture.c" with:
+      """
+      typedef struct foo { int i; } bar, *baz;
+      typedef struct foo {} bar, *baz;
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0703 | 2    | 16     |
+      | C0001 | 1    | 16     |
+      | W0785 | 2    | 16     |
+      | W0801 | 1    | 16     |
+      | W0801 | 2    | 16     |
+      | W0425 | 1    | 37     |
+      | W0425 | 2    | 29     |
+      | W0586 | 1    | 31     |
+      | W0586 | 2    | 23     |
+      | W0586 | 1    | 37     |
+      | W0586 | 2    | 29     |
+
+  Scenario: repeated multiple typedefs in a typedef declaration
+    Given a target source named "fixture.c" with:
+      """
+      typedef struct foo { int i; } bar, *baz;
+      typedef struct foo bar;
+      typedef struct foo *baz;
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0425 | 1    | 37     |
+      | W0586 | 1    | 31     |
+      | W0586 | 2    | 20     |
+      | W0586 | 1    | 37     |
+      | W0586 | 3    | 21     |
+
+  Scenario: repeated multiple typedefs in a typedef declaration
+    Given a target source named "fixture.c" with:
+      """
+      typedef int foo, *bar;
+      typedef int foo, *bar;
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0425 | 1    | 19     |
+      | W0425 | 2    | 19     |
+      | W0586 | 1    | 13     |
+      | W0586 | 2    | 13     |
+      | W0586 | 1    | 19     |
+      | W0586 | 2    | 19     |
+
+  Scenario: repeated multiple typedefs in a typedef declaration
+    Given a target source named "fixture.c" with:
+      """
+      typedef int foo, *bar, **baz;
+      typedef int foo, *bar, **baz;
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0425 | 1    | 19     |
+      | W0425 | 1    | 26     |
+      | W0425 | 2    | 19     |
+      | W0425 | 2    | 26     |
+      | W0586 | 1    | 13     |
+      | W0586 | 2    | 13     |
+      | W0586 | 1    | 19     |
+      | W0586 | 2    | 19     |
+      | W0586 | 1    | 26     |
+      | W0586 | 2    | 26     |