adlint 2.6.14 → 3.0.0

data/share/doc/users_guide_en.texi

@@ -2,10 +2,10 @@
 @setfilename users_guide_en.info
 @documentlanguage en
 @documentencoding utf-8
-@settitle AdLint 2.6.14 User's Guide
+@settitle AdLint 3.0.0 User's Guide
 
 @copying
-Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
 @end copying
 
 @titlepage
@@ -36,7 +36,7 @@ available for Windows, Mac OS X, GNU/Linux, FreeBSD and any other platforms
 supported by Ruby.
 
 @unnumberedsec License
-Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
 
 AdLint is free software: you can redistribute it and/or modify
 it under the terms of the GNU General Public License as published by
@@ -625,10 +625,10 @@ by not specifying the @option{-v,--verbose} option.
 % adlint -t adlint_traits.yml -o . -p 1 -l adlint_files.txt
 ../intro_demo.c:6:9:warning:c_builtin:W0492:UNC:X99:The same identifier name `i' is also used in the member of structure/union, label, tag or normal identifier.
 ../intro_demo.c:12:13:warning:c_builtin:W0027:UNC:X99:Comparison operation is being made by pointer variable.
-../intro_demo.c:16:14:warning:c_builtin:W0422:UNC:X99:Indirect reference is being made to the pointer which its value might be NULL.
-../intro_demo.c:31:13:warning:c_builtin:W0613:UNC:X99:The value of this control expression is always false.
+../intro_demo.c:16:14:warning:c_builtin:W0422:UNC:X99:Value of the dereferencing pointer may be NULL.
+../intro_demo.c:31:13:warning:c_builtin:W0613:UNC:X99:This controlling expression always makes false.
 ...snip...
-../intro_demo.c:55:9:warning:c_builtin:W9001:UNC:X99:This statement doesn't reach the control.
+../intro_demo.c:55:9:warning:c_builtin:W9001:UNC:X99:Control never reaches to this statement.
 ../intro_demo.c:2:1:warning:c_builtin:W0071:UNC:X99:Included "../useless_header.h" is not referenced in the translation unit. It can be removed.
 ../intro_demo.c:61:19:warning:c_builtin:W0628:UNC:X99:A function `int bar(void)' is defined, but this is not used in this project.
 @end verbatim
@@ -683,10 +683,10 @@ the message can output to stderr without display the progress by not specifying
 % adlint_sma -t adlint_traits.yml -o . -p 1 ../intro_demo.c
 ../intro_demo.c:6:9:warning:c_builtin:W0492:UNC:X99:The same identifier name `i' is also used in the member of structure/union, label, tag or normal identifier.
 ../intro_demo.c:12:13:warning:c_builtin:W0027:UNC:X99:Comparison operation is being made by pointer variable.
-../intro_demo.c:16:14:warning:c_builtin:W0422:UNC:X99:Indirect reference is being made to the pointer which its value might be NULL.
-../intro_demo.c:31:13:warning:c_builtin:W0613:UNC:X99:The value of this control expression is always false.
+../intro_demo.c:16:14:warning:c_builtin:W0422:UNC:X99:Value of the dereferencing pointer may be NULL.
+../intro_demo.c:31:13:warning:c_builtin:W0613:UNC:X99:This controlling expression always makes false.
 ...snip...
-../intro_demo.c:55:9:warning:c_builtin:W9001:UNC:X99:This statement doesn't reach the control.
+../intro_demo.c:55:9:warning:c_builtin:W9001:UNC:X99:Control never reaches to this statement.
 ../intro_demo.c:2:1:warning:c_builtin:W0071:UNC:X99:Included "../useless_header.h" is not referenced in the translation unit. It can be removed.
 ../intro_demo.c:61:19:warning:c_builtin:W0628:UNC:X99:A function `int bar(void)' is defined, but this is not used in this project.
 @end verbatim
@@ -817,6 +817,7 @@ Options:
 * Input file:Input Files.
 * Traits file:Traits.
 * Message definition file:Message Definition.
+* Source code annotation:Source Code Annotation.
 @end menu
 
 
@@ -858,7 +859,6 @@ Describe @ref{Project Traits, Project Traits} , @ref{Compiler Traits, Compiler T
 When it run a @command{adlintize} command at the root directory of analyzed project,
 generate the template of traits file for the project, @file{GNUmakefile} and shell script.
 
-
 @verbatim
 % cd project
 % adlintize -o adlint
@@ -976,16 +976,31 @@ string
 @tab
 Set pathname of the project root directory.
 @item 3
-@cindex project_traits:include_path
-@anchor{project_traits:include_path}
+@cindex project_traits:target_files:inclusion_paths
+@anchor{project_traits:target_files:inclusion_paths}
 @tab
-@code{include_path}
+@code{target_files:inclusion_paths}
 @tab
 array of string
 @tab
-Set project specific include path.
-An entry can have multiple pathnames with @code{`:'} separators.
+Specify directory paths which contain analysis target source files.
+An entry can have multiple pathnames with @code{`:'} (or @code{`;'} on windows)
+separators.
 @item 4
+@cindex project_traits:target_files:exclusion_paths
+@anchor{project_traits:target_files:exclusion_paths}
+@tab
+@code{target_files:exclusion_paths}
+@tab
+array of string
+@tab
+Specify directory paths to eliminate analysis target source files under the
+directory.
+If omitted, AdLint will check all the files included by the target source files
+such as 3rd-party library headers under @ref{project_traits:target_files:inclusion_paths, @code{target_files:inclusion_paths}}.
+An entry can have multiple pathnames with @code{`:'} (or @code{`;'} on windows)
+separators.
+@item 5
 @cindex project_traits:initial_header
 @anchor{project_traits:initial_header}
 @tab
@@ -995,8 +1010,18 @@ string
 @tab
 Set the header files which is included at the top of specified source files.
 For example, project specific macro definition will be described in this file.
-
-@item 5
+@item 6
+@cindex project_traits:file_search_paths
+@anchor{project_traits:file_search_paths}
+@tab
+@code{file_search_paths}
+@tab
+array of string
+@tab
+Set project specific include-file search paths.
+An entry can have multiple pathnames with @code{`:'} (or @code{`;'} on windows)
+separators.
+@item 7
 @cindex project_traits:coding_style:indent_style
 @anchor{project_traits:coding_style:indent_style}
 @tab
@@ -1043,7 +1068,7 @@ foo(int i)
 @}
 @end example
 
-@item 6
+@item 8
 @cindex project_traits:coding_style:tab_width
 @anchor{project_traits:coding_style:tab_width}
 @tab
@@ -1052,7 +1077,7 @@ foo(int i)
 integer value
 @tab
 Set the appearance number of digits of tab character
-@item 7
+@item 9
 @cindex project_traits:coding_style:indent_width
 @anchor{project_traits:coding_style:indent_width}
 @tab
@@ -1061,7 +1086,7 @@ Set the appearance number of digits of tab character
 integer value
 @tab
 Set the appearance number of digits of indent
-@item 8
+@item 10
 @cindex project_traits:file_encoding
 @anchor{project_traits:file_encoding}
 @tab
@@ -1093,204 +1118,205 @@ string
 Set the header files which is included at the top of specified source files and automatically included before  project specific @code{initial_header}.
 This file describes compiler specific macro, type definition and others.
 @item 2
-@cindex compiler_traits:standard_type:char_size
-@anchor{compiler_traits:standard_type:char_size}
+@cindex compiler_traits:file_search_paths
+@anchor{compiler_traits:file_search_paths}
 @tab
-@code{standard_type:char_size}
+@code{file_search_paths}
 @tab
-integer value
+array of string
 @tab
-Set the size of @code{char} type family by bit quantities.
+Set the compiler specific include-file search paths.
+An entry can have multiple pathnames with @code{`:'} (or @code{`;'} on windows)
+separators.
 @item 3
-@cindex compiler_traits:standard_type:char_alignment
-@anchor{compiler_traits:standard_type:char_alignment}
+@cindex compiler_traits:standard_types:char_size
+@anchor{compiler_traits:standard_types:char_size}
 @tab
-@code{standard_type:char_alignment}
+@code{standard_types:char_size}
 @tab
 integer value
 @tab
-Set the memory alignment of @code{char} type family by bit quantities.
+Set the size of @code{char} type family by bit quantities.
 @item 4
-@cindex compiler_traits:standard_type:short_size
-@anchor{compiler_traits:standard_type:short_size}
+@cindex compiler_traits:standard_types:char_alignment
+@anchor{compiler_traits:standard_types:char_alignment}
 @tab
-@code{standard_type:short_size}
+@code{standard_types:char_alignment}
 @tab
 integer value
 @tab
-Set the size of @code{short} type family by bit quantities.
+Set the memory alignment of @code{char} type family by bit quantities.
 @item 5
-@cindex compiler_traits:standard_type:short_alignment
-@anchor{compiler_traits:standard_type:short_alignment}
+@cindex compiler_traits:standard_types:short_size
+@anchor{compiler_traits:standard_types:short_size}
 @tab
-@code{standard_type:short_alignment}
+@code{standard_types:short_size}
 @tab
 integer value
 @tab
-Set the memory alignment of @code{short} family by bit quantities.
+Set the size of @code{short} type family by bit quantities.
 @item 6
-@cindex compiler_traits:standard_type:int_size
-@anchor{compiler_traits:standard_type:int_size}
+@cindex compiler_traits:standard_types:short_alignment
+@anchor{compiler_traits:standard_types:short_alignment}
 @tab
-@code{standard_type:int_size}
+@code{standard_types:short_alignment}
 @tab
 integer value
 @tab
-Set the size of @code{int} type family by bit quantities.
+Set the memory alignment of @code{short} family by bit quantities.
 @item 7
-@cindex compiler_traits:standard_type:int_alignment
-@anchor{compiler_traits:standard_type:int_alignment}
+@cindex compiler_traits:standard_types:int_size
+@anchor{compiler_traits:standard_types:int_size}
 @tab
-@code{standard_type:int_alignment}
+@code{standard_types:int_size}
 @tab
 integer value
 @tab
-Set the memory alignment of @code{int} type family by bit quantities.
+Set the size of @code{int} type family by bit quantities.
 @item 8
-@cindex compiler_traits:standard_type:long_size
-@anchor{compiler_traits:standard_type:long_size}
+@cindex compiler_traits:standard_types:int_alignment
+@anchor{compiler_traits:standard_types:int_alignment}
 @tab
-@code{standard_type:long_size}
+@code{standard_types:int_alignment}
 @tab
 integer value
 @tab
-Set the size of @code{long int} type family by bit quantities.
+Set the memory alignment of @code{int} type family by bit quantities.
 @item 9
-@cindex compiler_traits:standard_type:long_alignment
-@anchor{compiler_traits:standard_type:long_alignment}
+@cindex compiler_traits:standard_types:long_size
+@anchor{compiler_traits:standard_types:long_size}
 @tab
-@code{standard_type:long_alignment}
+@code{standard_types:long_size}
 @tab
 integer value
 @tab
-Set the memory alignment of @code{long int} type family by bit quantities.
+Set the size of @code{long int} type family by bit quantities.
 @item 10
-@cindex compiler_traits:standard_type:long_long_size
-@anchor{compiler_traits:standard_type:long_long_size}
+@cindex compiler_traits:standard_types:long_alignment
+@anchor{compiler_traits:standard_types:long_alignment}
 @tab
-@code{standard_type:long_long_size}
+@code{standard_types:long_alignment}
 @tab
 integer value
 @tab
-Set the size of @code{long long int} type family by bit quantities.
+Set the memory alignment of @code{long int} type family by bit quantities.
 @item 11
-@cindex compiler_traits:standard_type:long_long_alignment
-@anchor{compiler_traits:standard_type:long_long_alignment}
+@cindex compiler_traits:standard_types:long_long_size
+@anchor{compiler_traits:standard_types:long_long_size}
 @tab
-@code{standard_type:long_long_alignment}
+@code{standard_types:long_long_size}
 @tab
 integer value
 @tab
-Set the memory alignment of @code{long long int} type family by bit quantities.
+Set the size of @code{long long int} type family by bit quantities.
 @item 12
-@cindex compiler_traits:standard_type:float_size
-@anchor{compiler_traits:standard_type:float_size}
+@cindex compiler_traits:standard_types:long_long_alignment
+@anchor{compiler_traits:standard_types:long_long_alignment}
 @tab
-@code{standard_type:float_size}
+@code{standard_types:long_long_alignment}
 @tab
 integer value
 @tab
-Set the size of @code{float} type family by bit quantities.
+Set the memory alignment of @code{long long int} type family by bit quantities.
 @item 13
-@cindex compiler_traits:standard_type:float_alignment
-@anchor{compiler_traits:standard_type:float_alignment}
+@cindex compiler_traits:standard_types:float_size
+@anchor{compiler_traits:standard_types:float_size}
 @tab
-@code{standard_type:float_alignment}
+@code{standard_types:float_size}
 @tab
 integer value
 @tab
-Set the memory alignment of @code{float} type family by bit quantities.
+Set the size of @code{float} type family by bit quantities.
 @item 14
-@cindex compiler_traits:standard_type:double_size
-@anchor{compiler_traits:standard_type:double_size}
+@cindex compiler_traits:standard_types:float_alignment
+@anchor{compiler_traits:standard_types:float_alignment}
 @tab
-@code{standard_type:double_size}
+@code{standard_types:float_alignment}
 @tab
 integer value
 @tab
-Set the size of @code{double} type family by bit quantities.
+Set the memory alignment of @code{float} type family by bit quantities.
 @item 15
-@cindex compiler_traits:standard_type:double_alignment
-@anchor{compiler_traits:standard_type:double_alignment}
+@cindex compiler_traits:standard_types:double_size
+@anchor{compiler_traits:standard_types:double_size}
 @tab
-@code{standard_type:double_alignment}
+@code{standard_types:double_size}
 @tab
 integer value
 @tab
-Set the memory alignment of @code{double} type family by bit quantities.
+Set the size of @code{double} type family by bit quantities.
 @item 16
-@cindex compiler_traits:standard_type:long_double_size
-@anchor{compiler_traits:standard_type:long_double_size}
+@cindex compiler_traits:standard_types:double_alignment
+@anchor{compiler_traits:standard_types:double_alignment}
 @tab
-@code{standard_type:long_double_size}
+@code{standard_types:double_alignment}
 @tab
 integer value
 @tab
-Set the size of @code{long double} type family by bit quantities.
+Set the memory alignment of @code{double} type family by bit quantities.
 @item 17
-@cindex compiler_traits:standard_type:long_double_alignment
-@anchor{compiler_traits:standard_type:long_double_alignment}
+@cindex compiler_traits:standard_types:long_double_size
+@anchor{compiler_traits:standard_types:long_double_size}
 @tab
-@code{standard_type:long_double_alignment}
+@code{standard_types:long_double_size}
 @tab
 integer value
 @tab
-Set the memory alignment of @code{long double} type family by bit quantities.
+Set the size of @code{long double} type family by bit quantities.
 @item 18
-@cindex compiler_traits:standard_type:code_ptr_size
-@anchor{compiler_traits:standard_type:code_ptr_size}
+@cindex compiler_traits:standard_types:long_double_alignment
+@anchor{compiler_traits:standard_types:long_double_alignment}
 @tab
-@code{standard_type:code_ptr_size}
+@code{standard_types:long_double_alignment}
 @tab
 integer value
 @tab
-Set the size of function pointer by bit quantities.
+Set the memory alignment of @code{long double} type family by bit quantities.
 @item 19
-@cindex compiler_traits:standard_type:code_ptr_alignment
-@anchor{compiler_traits:standard_type:code_ptr_alignment}
+@cindex compiler_traits:standard_types:code_ptr_size
+@anchor{compiler_traits:standard_types:code_ptr_size}
 @tab
-@code{standard_type:code_ptr_alignment}
+@code{standard_types:code_ptr_size}
 @tab
 integer value
 @tab
-Set the memory alignment of function pointer by bit quantities.
+Set the size of function pointer by bit quantities.
 @item 20
-@cindex compiler_traits:standard_type:data_ptr_size
-@anchor{compiler_traits:standard_type:data_ptr_size}
+@cindex compiler_traits:standard_types:code_ptr_alignment
+@anchor{compiler_traits:standard_types:code_ptr_alignment}
 @tab
-@code{standard_type:data_ptr_size}
+@code{standard_types:code_ptr_alignment}
 @tab
 integer value
 @tab
-Set the size of data pointer by bit quantities.
+Set the memory alignment of function pointer by bit quantities.
 @item 21
-@cindex compiler_traits:standard_type:data_ptr_alignment
-@anchor{compiler_traits:standard_type:data_ptr_alignment}
+@cindex compiler_traits:standard_types:data_ptr_size
+@anchor{compiler_traits:standard_types:data_ptr_size}
 @tab
-@code{standard_type:data_ptr_alignment}
+@code{standard_types:data_ptr_size}
 @tab
 integer value
 @tab
-Set the memory alignment of data pointer by bit quantities.
+Set the size of data pointer by bit quantities.
 @item 22
-@cindex compiler_traits:standard_type:char_as_unsigned_char
-@anchor{compiler_traits:standard_type:char_as_unsigned_char}
+@cindex compiler_traits:standard_types:data_ptr_alignment
+@anchor{compiler_traits:standard_types:data_ptr_alignment}
 @tab
-@code{standard_type:char_as_unsigned_char}
+@code{standard_types:data_ptr_alignment}
 @tab
-boolean value
+integer value
 @tab
-If @code{`char'} type treat as @code{`unsigned char'}, set true.
+Set the memory alignment of data pointer by bit quantities.
 @item 23
-@cindex compiler_traits:include_path
-@anchor{compiler_traits:include_path}
+@cindex compiler_traits:standard_types:char_as_unsigned_char
+@anchor{compiler_traits:standard_types:char_as_unsigned_char}
 @tab
-@code{include_path}
+@code{standard_types:char_as_unsigned_char}
 @tab
-array of string
+boolean value
 @tab
-Set the compiler specific include path.
-An entry can have multiple pathnames with @code{`:'} separators.
+If @code{`char'} type treat as @code{`unsigned char'}, set true.
 @item 24
 @cindex compiler_traits:arithmetic:logical_right_shift
 @anchor{compiler_traits:arithmetic:logical_right_shift}
@@ -1302,10 +1328,19 @@ boolean value
 If right shift expression @code{`>>'} treat as logical shift instead of arithmetic shift,
 set true.
 @item 25
-@cindex compiler_traits:extension_substitution
-@anchor{compiler_traits:extension_substitution}
+@cindex compiler_traits:identifier_max
+@anchor{compiler_traits:identifier_max}
+@tab
+@code{identifier_max}
+@tab
+integer value
+@tab
+Set the maximum number of length which compiler can identifier.
+@item 26
+@cindex compiler_traits:extension_substitutions
+@anchor{compiler_traits:extension_substitutions}
 @tab
-@code{extension_substitution}
+@code{extension_substitutions}
 @tab
 map of string
 @tab
@@ -1313,34 +1348,27 @@ Set the token replacement pattern to adjust compiler specific extension.
 AdLint puts the warning message @ref{W0061} all uses of this extension.
 If @code{`__attribute__ ( arbitrary token row )'} delete after pre-process and puts the warning @ref{W0061}, set as follows.
 @example
-extension_substitution:
+extension_substitutions:
   "__attribute__(__adlint__any)": ""
 @end example
 
 And if the token @code{`__restrict'} replaces @code{`restrict'} and put the warning @ref{W0061}, set as follows.
 @example
-extension_substitution:
+extension_substitutions:
   "__restrict": "restrict"
 @end example
-@item 26
-@cindex compiler_traits:arbitrary_substitution
-@anchor{compiler_traits:arbitrary_substitution}
-@tab
-@code{arbitrary_substitution}
-@tab
-map of string
-@tab
-Same as @ref{compiler_traits:extension_substitution, @code{extension_substitution}},
-replace the token after pre-process, the difference is doesn't put the warning @ref{W0061}.
 @item 27
-@cindex compiler_traits:identifier_max
-@anchor{compiler_traits:identifier_max}
+@cindex compiler_traits:arbitrary_substitutions
+@anchor{compiler_traits:arbitrary_substitutions}
 @tab
-@code{identifier_max}
+@code{arbitrary_substitutions}
 @tab
-integer value
+map of string
 @tab
-Set the maximum number of length which compiler can identifier.
+Same as
+@ref{compiler_traits:extension_substitutions, @code{extension_substitutions}},
+replace the token after pre-process, the difference is doesn't put the warning
+@ref{W0061}.
 @end multitable
 
 
@@ -1389,57 +1417,17 @@ string
 @tab
 Set the language of message body.(Currently) it available @code{"en_US"} or @code{"ja_JP"}.
 @item 2
-@cindex message_traits:message_with_class
-@anchor{message_traits:message_with_class}
-@tab
-@code{message_with_class}
-@tab
-boolean
-@tab
-In case of @code{true}, AdLint will output messages with name of the
-examination package, message category and message severity to the @ref{Message
-File, message file}.
-@item 3
-@cindex message_traits:warn_files_in
-@anchor{message_traits:warn_files_in}
-@tab
-@code{warn_files_in}
-@tab
-array of string
-@tab
-@b{This item has no effect on AdLint 2.6.14, yet.}
-
-If a directory path is specified, AdLint will output warning messages about
-source files located under the specified directory.
-If omitted, AdLint will output warning messages about all the files included by
-the target source files such as system headers or 3rd-party library headers.
-@item 4
-@cindex message_traits:warn_files_not_in
-@anchor{message_traits:warn_files_not_in}
-@tab
-@code{warn_files_not_in}
-@tab
-array of string
+@cindex message_traits:individual_suppression
+@anchor{message_traits:individual_suppression}
 @tab
-@b{This item has no effect on AdLint 2.6.14, yet.}
-
-If a directory path is specified, AdLint will suppress warning messages about
-source files located under the specified directory.
-@item 5
-@cindex message_traits:individual_selection
-@anchor{message_traits:individual_selection}
-@tab
-@code{individual_selection}
+@code{individual_suppression}
 @tab
 boolean
 @tab
-@b{This item has no effect on AdLint 2.6.14, yet.}
-
-This item enables code check selection by annotations in the target source
-files.
+This item enables message suppression by @ref{Source Code Annotation, source code annotations}.
 
-In case of @code{true}, code check selection by annotations will be enabled.
-@item 6
+In case of @code{true}, message suppression by annotations will be enabled.
+@item 3
 @cindex message_traits:exclusion:categories
 @anchor{message_traits:exclusion:categories}
 @tab
@@ -1447,10 +1435,8 @@ In case of @code{true}, code check selection by annotations will be enabled.
 @tab
 array of string
 @tab
-@b{This item has no effect on AdLint 2.6.14, yet.}
-
 This item represents excluding code checks by its message categories.
-@item 7
+@item 4
 @cindex message_traits:exclusion:severities
 @anchor{message_traits:exclusion:severities}
 @tab
@@ -1458,10 +1444,8 @@ This item represents excluding code checks by its message categories.
 @tab
 regexp string
 @tab
-@b{This item has no effect on AdLint 2.6.14, yet.}
-
 This item represents excluding code checks by its message severities.
-@item 8
+@item 5
 @cindex message_traits:exclusion:messages
 @anchor{message_traits:exclusion:messages}
 @tab
@@ -1469,13 +1453,11 @@ This item represents excluding code checks by its message severities.
 @tab
 map of Message ID and string
 @tab
-@b{This item has no effect on AdLint 2.6.14, yet.}
-
 This item represents excluding code checks by its message ID.
 
 Because a message ID is not unique in multiple examination packages, you should
 also specify the name of the examination package including the message.
-@item 9
+@item 6
 @cindex message_traits:inclusion:messages
 @anchor{message_traits:inclusion:messages}
 @tab
@@ -1483,14 +1465,12 @@ also specify the name of the examination package including the message.
 @tab
 map of Message ID and string
 @tab
-@b{This item has no effect on AdLint 2.6.14, yet.}
-
 This item represents messages which is excluded by settings of @code{exclusion}
 section but will be used by AdLint.
 
 For example, you can bring back the specified code checks which is excluded by
 @ref{message_traits:exclusion:categories, exclusion:categories}.
-@item 10
+@item 7
 @cindex message_traits:change_list
 @anchor{message_traits:change_list}
 @tab
@@ -1519,10 +1499,91 @@ change_list:
 
 @node Message Definition
 @section Message Definition file.
+
 Describe all error and warning message to setting file  by @uref{http://yaml.org/, format}.
 Normally this file doesn't edit directly.
 If it need to change the message body, set the changes to @ref{message_traits:change_list,
 @code{change_list}} in traits file.
+
+
+@node Source Code Annotation
+@section Source Code Annotation
+
+You can write an annotation which controls AdLint's analysis behavior as an
+ordinary comment of the programming language.
+
+@subsection Warning message suppression annotation
+
+An annotation starts with @code{ADLINT:SF} in an ordinary comment specifies
+that messages listed in the annotation of the annotated file will be
+suppressed.
+
+An annotation starts with @code{ADLINT:SL} in an ordinary comment specifies
+that messages listed in the annotation of the annotated line will be
+suppressed.
+
+The following describes format and usage of the annotation.
+
+@subheading @bullet{ Common definitions}
+@example
+@anchor{message_specifier_list}
+message_specifier_list : @ref{qualified_message_specifier}
+                       | @ref{unqualified_message_specifier}
+                       | @ref{message_specifier_list} @ref{qualified_message_specifier}
+                       | @ref{message_specifier_list} @ref{unqualified_message_specifier}
+
+@anchor{qualified_message_specifier}
+qualified_message_specifier : ':' @ref{package_name} @ref{unqualified_message_specifier}
+
+@anchor{unqualified_message_specifier}
+unqualified_message_specifier : ':' '[' @ref{message_name_list} ']'
+
+@anchor{message_name_list}
+message_name_list : @ref{message_name}
+                  | @ref{message_name_list} ',' @ref{message_name}
+
+@anchor{message_name}
+message_name : 'W' [0-9]@{4@}
+
+@anchor{package_name}
+package_name : any string specified in @ref{global_traits:exam_packages, @code{exam_packages}} of the traits file.
+@end example
+
+@subheading @bullet{ File-wise message suppressor}
+@example
+@anchor{file_wise_suppressor_annotation}
+file_wise_suppressor_annotation : "/*" @ref{file_wise_suppressor_head} @ref{message_specifier_list} "*/"
+                                | "//" @ref{file_wise_suppressor_head} @ref{message_specifier_list}
+
+@anchor{file_wise_suppressor_head}
+file_wise_suppressor_head : "ADLINT:SF"
+@end example
+
+@subheading @bullet{ Line-wise message suppressor}
+@example
+@anchor{line_wise_suppressor_annotation}
+line_wise_suppressor_annotation : "/*" @ref{line_wise_suppressor_head} @ref{message_specifier_list} "*/"
+                                | "//" @ref{line_wise_suppressor_head} @ref{message_specifier_list}
+
+@anchor{line_wise_suppressor_head}
+line_wise_suppressor_head : "ADLINT:SL"
+@end example
+
+@subheading @bullet{ Sample code}
+@verbatim
+/* ADLINT:SF:[W0001,W0002] (to suppress W0001 and W0002 of all exam-packages in this file.) */
+#include <stdio.h>
+
+extern int i; /* ADLINT:SL:[W0003] (to suppress W0003 of all exam-packages only at this line.) */
+extern int j; /* ADLINT:SL:c_staging:[W2001] (to suppress W2001 of `c_staging' exam-package only at this line.) */
+
+void foo(void)
+{
+    printf("%d\n", i + j);
+}
+@end verbatim
+
+
 @node Output
 @chapter Output specification
 
@@ -1660,6 +1721,11 @@ function_scope_type
   : 'F'  <- File
   | 'B'  <- Block
 
+@anchor{function_declaration_type}
+function_declaration_type
+  : 'E'  <- Explicit
+  | 'I'  <- Implicit
+
 @anchor{type_name}
 type_name : c_identifier
 
@@ -1734,7 +1800,7 @@ metrics_version_head : "VER"
 @end example
 
 @anchor{Output_Metrics_Ver_Sample}
-@subheading @bullet{} Output example
+@subheading @bullet{ Output example}
 @example
 VER,0.6.4,2012-02-16 14:10:59 +0900,/home/yanoh/intro_demo
 @end example
@@ -1753,7 +1819,7 @@ declaration_record
 declaration_head : "DCL"
 @end example
 
-@subheading @bullet{}  Type definition records
+@subheading @bullet{ Type definition records}
 @example
 @anchor{typedcl_record_body}
 typedcl_record_body
@@ -1767,22 +1833,22 @@ typedcl_type
   | 'E'  <- enum
 @end example
 
-@subheading @bullet{} Global variable declaration Record
+@subheading @bullet{ Global variable declaration Record}
 @example
 @anchor{gvardcl_record_body}
 gvardcl_record_body
   : 'V' ',' @ref{variable_name} ',' @ref{type_rep}
 @end example
 
-@subheading @bullet{} Function declaration record
+@subheading @bullet{ Function declaration record}
 @example
 @anchor{funcdcl_record_body}
 funcdcl_record_body
-  : 'F' ',' @ref{function_linkage_type} ',' @ref{function_scope_type} ',' @ref{function_identifier}
+  : 'F' ',' @ref{function_linkage_type} ',' @ref{function_scope_type} ',' @ref{function_declaration_type} ',' @ref{function_identifier}
 @end example
 
 @anchor{Output_Metrics_Dcl_Sample}
-@subheading @bullet{} Output example
+@subheading @bullet{ Output example}
 @verbatim
  1: typedef int *int_ptr;
  2:
@@ -1813,7 +1879,7 @@ DCL,test.c,3,8,T,S,Foo,struct Foo @{ int i; long l; @}
 DCL,test.c,8,7,T,U,Bar,union Bar @{ int i; char c; @}
 DCL,test.c,13,6,T,E,Color,"enum Color @{ RED = 1, GREEN, BLUE @}"
 DCL,test.c,19,12,V,global_1,int
-DCL,test.c,21,12,F,X,F,foo,int foo(long)
+DCL,test.c,21,12,F,X,F,E,foo,int foo(long)
 @end example
 
 @anchor{Output_Metrics_Def}
@@ -1831,20 +1897,20 @@ definition_record
 definition_head : "DEF"
 @end example
 
-@subheading @bullet{} Variable declaration records
+@subheading @bullet{ Variable declaration records}
 @example
 @anchor{vardef_record_body}
 vardef_record_body
-  : 'V' ',' @ref{var_linkage_type} ',' @ref{var_scope_type} ',' @ref{storage_class_type} ',' @ref{variable_name} ',' @ref{type_rep}
+  : 'V' ',' @ref{variable_linkage_type} ',' @ref{variable_scope_type} ',' @ref{storage_class_type} ',' @ref{variable_name} ',' @ref{type_rep}
 
-@anchor{var_linkage_type}
-var_linkage_type
+@anchor{variable_linkage_type}
+variable_linkage_type
   : 'I'  <- Internal
   | 'X'  <- eXternal
   | 'N'  <- None
 
-@anchor{var_scope_type}
-var_scope_type
+@anchor{variable_scope_type}
+variable_scope_type
   : 'F'  <- File
   | 'B'  <- Block
   | 'P'  <- Parameter
@@ -1857,14 +1923,14 @@ storage_class_type
   | 'N'  <- None
 @end example
 
-@subheading @bullet{} Function definition records
+@subheading @bullet{ Function definition records}
 @example
 @anchor{fundef_record_body}
 fundef_record_body
   : 'F' ',' @ref{function_linkage_type} ',' @ref{function_scope_type} ',' @ref{function_identifier} ',' @ref{lines}
 @end example
 
-@subheading @bullet{} Macro definition records
+@subheading @bullet{ Macro definition records}
 @example
 @anchor{macrodef_record_body}
 macrodef_record_body
@@ -1876,7 +1942,7 @@ macro_form_type
   | 'F'  <- Function
 @end example
 
-@subheading @bullet{} Label definition record
+@subheading @bullet{ Label definition record}
 @example
 @anchor{labeldef_record_body}
 labeldef_record_body
@@ -1887,7 +1953,7 @@ label_name : c_identifier
 @end example
 
 @anchor{Output_Metrics_Def_Sample}
-@subheading @bullet{} Output example
+@subheading @bullet{ Output example}
 @verbatim
  1: int global_1;
  2: struct { int i; long l; } global_2;
@@ -1943,7 +2009,7 @@ initialization_head : "INI"
 @end example
 
 @anchor{Output_Metrics_Ini_Sample}
-@subheading @bullet{} Output example
+@subheading @bullet{ Output example}
 @verbatim
 1: int global_1 = 1;
 2:
@@ -1975,7 +2041,7 @@ assignment_head : "ASN"
 @end example
 
 @anchor{Output_Metrics_Asn_Sample}
-@subheading @bullet{} Output example
+@subheading @bullet{ Output example}
 @verbatim
  1: int main(void)
  2: {
@@ -2010,7 +2076,7 @@ dependency_record
 dependency_head : "DEP"
 @end example
 
-@subheading @bullet{} Include records
+@subheading @bullet{ Include records}
 @example
 @anchor{include_record_body}
 include_record_body
@@ -2020,7 +2086,7 @@ include_record_body
 included_fpath : '<' @ref{file_path} '>' | '"' @ref{file_path} '"'
 @end example
 
-@subheading @bullet{} Caller function records
+@subheading @bullet{ Caller function records}
 @example
 @anchor{call_record_body}
 call_record_body
@@ -2033,7 +2099,7 @@ caller_function : @ref{function_identifier}
 callee_function : @ref{function_identifier}
 @end example
 
-@subheading @bullet{} external reference records
+@subheading @bullet{ external reference records}
 @example
 @anchor{xref_record_body}
 xref_record_body
@@ -2062,7 +2128,7 @@ accessee_function : @ref{function_identifier}
 @end example
 
 @anchor{Output_Metrics_Dep_Sample}
-@subheading @bullet{} Output example
+@subheading @bullet{ Output example}
 @verbatim
  1: #include <stdio.h>
  2: #include "test.h"
@@ -2121,20 +2187,20 @@ literal_type
 @anchor{literal_prefix}
 literal_prefix
   :
-  | 'l'
-  | 'L'
+  | 'l'  | 'L'
+  | '0'
+  | '0x' | '0X'
+  | '0b' | '0B'
 
 @anchor{literal_suffix}
 literal_suffix
   :
-  | 'u'
-  | 'U'
-  | 'l'
-  | 'L'
-  | 'll'
-  | 'LL'
-  | 'f'
-  | 'F'
+  | 'u'   | 'U'
+  | 'l'   | 'L'
+  | 'ul'  | 'Ul'  | 'uL'  | 'UL'
+  | 'ull' | 'Ull' | 'uLL' | 'ULL'
+  | 'll'  | 'LL'
+  | 'f'   | 'F'
 
 @anchor{literal_value}
 literal_value
@@ -2143,7 +2209,7 @@ literal_value
 @end example
 
 @anchor{Output_Metrics_Lit_Sample}
-@subheading @bullet{} Output example
+@subheading @bullet{ Output example}
 @verbatim
 1: unsigned int i = 0xFFU;
 2:
@@ -2189,7 +2255,7 @@ pp_directive
 @end example
 
 @anchor{Output_Metrics_Pre_Sample}
-@subheading @bullet{} Output example
+@subheading @bullet{ Output example}
 @verbatim
  1: #pragma once
  2:
@@ -2265,7 +2331,7 @@ metric_value : integer value
 @anchor{message_file}
 message_file
   : @ref{message_version_record}
-  | @ref{message_version_record} @ref{message_list}
+  | @ref{message_version_record} @ref{new_line} @ref{message_list}
 
 @anchor{message_version_record}
 message_version_record
@@ -2283,34 +2349,25 @@ error_record
   : @ref{error_line} @ref{new_line} @ref{context_line_list}
 
 @anchor{error_line}
-error_line (in case of @ref{message_traits:message_with_class, message_with_class} == true)
+error_line
   : 'E' ',' @ref{file_path} ',' @ref{line_no} ',' @ref{column_no} ',' @ref{exam_package_name} ',' @ref{message_id} ',' @ref{message_category} ',' @ref{message_severity} ',' @ref{message_text}
 
-error_line (in case of @ref{message_traits:message_with_class, message_with_class} != true)
-  : 'E' ',' @ref{file_path} ',' @ref{line_no} ',' @ref{column_no} ',' @ref{message_id} ',' @ref{message_text}
-
 @anchor{warning_record}
 warning_record
   : @ref{warning_line} @ref{new_line} @ref{context_line_list}
 
 @anchor{warning_line}
-warning_line (in case of @ref{message_traits:message_with_class, message_with_class} == true)
+warning_line
   : 'W' ',' @ref{file_path} ',' @ref{line_no} ',' @ref{column_no} ',' @ref{exam_package_name} ',' @ref{message_id} ',' @ref{message_category} ',' @ref{message_severity} ',' @ref{message_text}
 
-warning_line (in case of @ref{message_traits:message_with_class, message_with_class} != true)
-  : 'W' ',' @ref{file_path} ',' @ref{line_no} ',' @ref{column_no} ',' @ref{message_id} ',' @ref{message_text}
-
 @anchor{context_line_list}
 context_line_list
   :
   | @ref{context_line} @ref{new_line} @ref{context_line_list}
 
 @anchor{context_line}
-context_line (in case of @ref{message_traits:message_with_class, message_with_class} == true)
+context_line
   : 'C' ',' @ref{file_path} ',' @ref{line_no} ',' @ref{column_no} ',' @ref{exam_package_name} ',' @ref{message_id} ',' @ref{message_category} ',' @ref{message_severity} ',' @ref{message_text}
-
-context_line (in case of @ref{message_traits:message_with_class, message_with_class} != true)
-  : 'C' ',' @ref{file_path} ',' @ref{line_no} ',' @ref{column_no} ',' @ref{message_id} ',' @ref{message_text}
 @end example
 
 
@@ -2347,7 +2404,7 @@ context_line (in case of @ref{message_traits:message_with_class, message_with_cl
 * W0025::`%s' is already included by this file directly.
 * W0026::`%s' is already included by this file indirectly.
 * W0027::Comparison operation is being made by pointer variable.
-* W0028::Indirect referencing is being made by NULL pointer.
+* W0028::Dereferencing a pointer constant of NULL.
 * W0030::Arithmetic operation is being made by NULL pointer.
 * W0031::A formal argument `%s' is not used in this function.
 * W0033::A label of `%s:' is not used in this function. It might be removed.
@@ -2385,7 +2442,7 @@ context_line (in case of @ref{message_traits:message_with_class, message_with_cl
 * W0071::Included "%s" is not referenced in the translation unit. It can be removed.
 * W0072::A character except for basic source character is used in header file name.
 * W0073::No include guard in this include file.
-* W0076::This hexadecimal literal doesn't contained within suffix `U' or `u'.
+* W0076::Hexadecimal constant without `U' or `u' suffix.
 * W0077::Lower case `l' is added to integer or floating-point number.
 * W0078::A function is declared without list of formal argument.
 * W0079::This array cannot keep final character `\0' which initial value of string literal.
@@ -2397,9 +2454,9 @@ context_line (in case of @ref{message_traits:message_with_class, message_with_cl
 * W0086::Second or third operand is verbose statement which doesn't have side-effects in ternary operator (conditional operator).
 * W0087::The right side statement of comma operator is verbose statement which doesn't have side-effects.
 * W0088::The right side statement of logical operator is verbose statement which doesn't have side-effects.
-* W0093::It divided by a value which possibly zero.
+* W0093::This expression may cause division-by-zero.
 * W0096::It divided by a constant expression which definitely zero.
-* W0097::It divided by zero.
+* W0097::This expression must cause division-by-zero.
 * W0100::The value of variable `%s' is not change. It can be declarable with 'const'.
 * W0101::An address of auto variable is substituted for a pointer which has a longer life. This program is danger.
 * W0102::An address of auto variable is returned via formal argument to functions. This program is danger.
@@ -2407,15 +2464,15 @@ context_line (in case of @ref{message_traits:message_with_class, message_with_cl
 * W0104::The value of formal argument `%s' is not change. It can be declarable with 'const'.
 * W0105::The object which points the formal argument `%s' is not change. It can be declaring as pointer type which points const object.
 * W0107::An address of auto variable is substituted for local pointer with 'static' option. This program is danger.
-* W0108::Assignment operator is used in logical operation expression.
+* W0108::An assignment-expression appears in the logical expression.
 * W0109::The definition of this function doesn't found. It consider it was omitted, and insert `extern int %s()'.
 * W0110::A variable number with floating-point type is used by loop counter in for statement.
 * W0112::The statement of floating-point compares by equivalent operator.
 * W0114::This control expression is not explicit logical operation.
 * W0115::Unsigned left shift operator `<<' drop the high-order bit.
 * W0116::Unsigned left shift operator `<<' can be drop high-order bit.
-* W0117::The definition of `%s' has an external coupling, but the declaration doesn't find before its definition.
-* W0118::The definition of `%s' which has external coupling doesn't find in header file.
+* W0117::`%s' has external-linkage without any prototype declarations.
+* W0118::`%s' has external-linkage, but no prototype declaration is in header files.
 * W0119::An implicit type conversion from char to signed char.
 * W0120::An implicit type conversion from char to unsigned char.
 * W0121::An implicit type conversion from char to signed short.
@@ -2462,9 +2519,9 @@ context_line (in case of @ref{message_traits:message_with_class, message_with_cl
 * W0162::An implicit type conversion from signed short to unsigned short.
 * W0163::An implicit type conversion from signed short to unsigned int.
 * W0164::An implicit type conversion from signed short to unsigned long.
-* W0165::An implicit type conversion from signed int to unsigned char.
+* W0165::Implicit conversion from `signed int' to `unsigned char'.
 * W0166::An implicit type conversion from signed int to unsigned short.
-* W0167::An implicit type conversion from signed int to unsigned int.
+* W0167::Implicit conversion from `signed int' to `unsigned int'.
 * W0168::An implicit type conversion from signed int to unsigned long.
 * W0169::An implicit type conversion from signed long to unsigned char.
 * W0170::An implicit type conversion from signed long to unsigned short.
@@ -2543,7 +2600,7 @@ context_line (in case of @ref{message_traits:message_with_class, message_with_cl
 * W0243::An implicit type conversion from long double to signed long long.
 * W0244::An implicit type conversion from long double to unsigned long long.
 * W0245::An implicit type conversion from unsigned char to signed short.
-* W0246::An implicit type conversion from unsigned char to signed int.
+* W0246::Implicit conversion from `unsigned char' to `signed int'.
 * W0247::An implicit type conversion from unsigned char to signed long.
 * W0248::An implicit type conversion from unsigned short to signed int.
 * W0249::An implicit type conversion from unsigned short to signed long.
@@ -2710,9 +2767,9 @@ context_line (in case of @ref{message_traits:message_with_class, message_with_cl
 * W0410::A value of unsigned long type is returned from `signed long long %s()' function.
 * W0411::The initialization of enumeration should be only the starting, whole or not at all.
 * W0413::The body of control statement is unenclosed by curly brace `@{@}' block.
-* W0414::The body of control statement is in a line. It unenclosed by curly brace `@{@}' block.
-* W0421::Indirect reference is being made to the pointer which its value will be NULL.
-* W0422::Indirect reference is being made to the pointer which its value might be NULL.
+* W0414::Body of the controlling statement in a line is not enclosed by `@{@}'.
+* W0421::Value of the dereferencing pointer must be NULL.
+* W0422::Value of the dereferencing pointer may be NULL.
 * W0423::Arithmetic operation is being made to the pointer which its value will be NULL.
 * W0424::Arithmetic operation is being made to the pointer which its value might be NULL.
 * W0425::There are several definitions or statements in a line.
@@ -2753,7 +2810,7 @@ context_line (in case of @ref{message_traits:message_with_class, message_with_cl
 * W0499::The different operator of same priority in the binary operator except '+','-', '*','/' is used. It had better clear the coupling by using `()'.
 * W0500::The operator of different priority in the binary operator '+','-','*','/' is used. It had better clear the coupling by using `()'.
 * W0501::A ternary operator is used with binary operator. It had better clear the coupling by using `()'.
-* W0502::A binary operator except '+', '-', '*', '/', '%%' is used with the different priority of binary operator. It had better clear the coupling by using `()'.
+* W0502::A binary operator other than `+', `-', `*', `/' and `%%' appears with binary operator which has different precedence without expression grouping.
 * W0508::There's a side effect at the right operand of `&&' or `||'operator.
 * W0511::C++ style comment of `//' is used.
 * W0512::The result of `++' or `--' operator is used in the statement.
@@ -2789,9 +2846,9 @@ context_line (in case of @ref{message_traits:message_with_class, message_with_cl
 * W0567::A volatile integer type cast to pointer to object and vice versa.
 * W0568::The result of left shift operation against the signed constant expression value is undefined.
 * W0569::The result of left shift operation against the signed expression value is undefined.
-* W0570::The result of left shift operation against the signed expression value might be undefined.
+* W0570::This signed left shift operation may make undefined value.
 * W0571::The result of right shift operation against the signed data is a possibility the both logical shift and arithmetic shift by implementation.
-* W0572::The result of bit operation against the signed data is defined by implementation.
+* W0572::Bitwise operation of signed value causes implementation-defined behavior.
 * W0573::A `-' character in scanset in `[]' is implementation defined.
 * W0574::The character except for basic source character is used in the character constant.
 * W0575::The character except for basic source character is used in the string literal.
@@ -2813,15 +2870,15 @@ context_line (in case of @ref{message_traits:message_with_class, message_with_cl
 * W0598::`%s' might be modified more than once between the side-effects completion point. The evaluation order is undefined.
 * W0599::`%s' is modified and referenced between the side-effects completion point. The evaluation order is undefined.
 * W0600::`%s' is modified and might be referenced between the side-effects completion point. The evaluation order is undefined.
-* W0605::A 'break' statement is used more than once to finish the repetition statement.
+* W0605::Multiple break-statements appear to break the same iteration.
 * W0606::An union has a member which type is floating-point.
 * W0607::An integer expression which the value which the value is minus converted to unsigned type.
 * W0608::An integer expression which the value might be minus converted to unsigned type.
-* W0609::The result of this logical operation is always true.
-* W0610::The result of this logical operation is always false.
+* W0609::This logical expression always makes true.
+* W0610::This logical expression always makes false.
 * W0611::The value of this 'for' control expression is always true.
 * W0612::The value of this 'if' conditional expression is always true.
-* W0613::The value of this control expression is always false.
+* W0613::This controlling expression always makes false.
 * W0614::The value of this "do-while" control expression is always false. The body of repetition statement executed only once.
 * W0622::A function is declared in the block scope.
 * W0623::An external coupling object is declared in the block scope.
@@ -2830,7 +2887,7 @@ context_line (in case of @ref{message_traits:message_with_class, message_with_cl
 * W0626::A wide character or wide string literal is used.
 * W0627::There is a dead letter (only `;') in the following other code.
 * W0628::A function `%s' is defined, but this is not used in this project.
-* W0629::A static function `%s()' is not used in this translation unit.
+* W0629::`%s()' has internal-linkage, but it is never called in this translation-unit.
 * W0632::Using ' or " characters in `#include <%s>' directive makes undefined behavior.
 * W0633::Using ' character in `#include "%s"' directive makes undefined behavior.
 * W0634::`\' is used in `#include' line. `/' is recommended for the path delimiter.
@@ -2898,8 +2955,8 @@ context_line (in case of @ref{message_traits:message_with_class, message_with_cl
 * W0700::The return value of function `%s()' is unspecified. The return value is implicitly int. There is no 'return' statement to return value.
 * W0703::The tag `%s' hides the declaration of same identifier which has wider scope.
 * W0704::This `%s' declaration hides the declaration of same identifier which has wider scope.
-* W0705::An array's index might be out of range.
-* W0707::An array's index is out of range.
+* W0705::This non-constant array subscript may cause out-of-range access.
+* W0707::This constant array subscript must cause out-of-range access.
 * W0708::A value of control variable `%s' in 'for' statement is changed in the body of repetition.
 * W0711::Right operand of relational operator is a substantive 'boolean' expression.
 * W0712::Left operand of relational operator is a substantive 'boolean' expression.
@@ -2934,7 +2991,7 @@ context_line (in case of @ref{message_traits:message_with_class, message_with_cl
 * W0742::A negative integer constant expression converted to unsigned type.
 * W0743::The value of integer constant expression beyond the range of might be expressed with converted signed type.
 * W0744::The value of this control expression is constant value to be false. This control statement is not run.
-* W0745::The array's index points out of domain.
+* W0745::This non-constant array subscript may cause out-of-range access.
 * W0747::An implicit type conversion from signed short to signed char.
 * W0748::An implicit type conversion from unsigned short to unsigned char.
 * W0749::An implicit type conversion from signed int to signed char.
@@ -2979,7 +3036,7 @@ context_line (in case of @ref{message_traits:message_with_class, message_with_cl
 * W0791::An global object or a function `%s' is declared in more than one file.
 * W0792::A floating point type object cast to function pointer and vice versa.
 * W0793::A function pointer cast to pointer to point an object and vice versa.
-* W0794::Left shift operation to signed operand.
+* W0794::Left shift operation of signed value causes implementation-defined behavior.
 * W0795::The number of an actual argument in function call is smaller than the number of a formal argument in the function prototype declaration.
 * W0796::The number of an actual argument in function call is bigger than the number of a formal argument in the function prototype declaration.
 * W0797::The number of an actual argument in function call is different from the number of a formal argument in the function declaration.
@@ -3005,10 +3062,10 @@ context_line (in case of @ref{message_traits:message_with_class, message_with_cl
 * W0833::A suffix 'LL' is using.
 * W0834::A long long type is using.
 * W0835::A macro which receives variable argument is defined.
-* W0947::A string literal is used directly.
-* W0948::A character constant `%s' is used directly.
+* W0947::String literal is specified directly.
+* W0948::Character constant %s is specified directly.
 * W0949::A value `%s' is used directly for size definition of bit field.
-* W0950::A value `%s' is used directly for size definition of the array.
+* W0950::Integer constant `%s' is specified directly as an array size.
 * W1026::%sth actual argument is not object type.
 * W1027::A base type of array is function type. This is meaningless.
 * W1028::A base type of array is an array with unknown size. Incomplete type of array will not build.
@@ -3054,12 +3111,12 @@ context_line (in case of @ref{message_traits:message_with_class, message_with_cl
 * W1070::This `switch' statement can be translated into `if-else' statement because there are only 2 execution paths.
 * W1071::Function `%s' has multiple termination points.
 * W1072::`A `goto' statement is found.
-* W1073::A return value of function `%s' is not used.。
+* W1073::Return value of the function `%s' is discarded.
 * W1074::Side-effects in `sizeof' operand will not be recorded because the operand will not be executed actually.
 * W1075::This declaration has no `static' storage-class-specifier while the declaring object has internal-linkage.
-* W1076::`%s' is defined as internal-linkage, but it has no forward declaration.
+* W1076::`%s' has internal-linkage without any prototype declarations.
 * W1077::Declaring array object without a size.
-* W9001::This statement doesn't reach the control.
+* W9001::Control never reaches to this statement.
 * W9002::There is no line feed character at the end of file.
 * W9003::An object typed `%s' is implicitly converted into an object of type `%s'.
 * C0001::A warning is detected as a pair of this identifier `%s'.
@@ -3916,7 +3973,7 @@ None.
 
 @subsection Message body
 
-Indirect referencing is being made by NULL pointer.
+Dereferencing a pointer constant of NULL.
 
 @subsection Content
 
@@ -4484,6 +4541,8 @@ void func(void)
 }
 @end verbatim
 
+@subsection Related message
+
 @itemize
 @item @ref{C0001} A warning is detected as a pair of this identifier `%s'.
 @end itemize
@@ -5046,6 +5105,8 @@ Under construction.
 
 None.
 
+@subsection Related message
+
 @itemize
 @item @ref{W0071} Included "%s" is not referenced in the translation unit. It can be removed.
 @end itemize
@@ -5070,6 +5131,8 @@ Under construction.
 
 None.
 
+@subsection Related message
+
 @itemize
 @item @ref{W0070} Included <%s> is not referenced in the translation unit. It can be removed.
 @end itemize
@@ -5134,7 +5197,7 @@ None.
 
 @subsection Message body
 
-This hexadecimal literal doesn't contained within suffix `U' or `u'.
+Hexadecimal constant without `U' or `u' suffix.
 
 @subsection Content
 
@@ -5486,7 +5549,7 @@ Under construction.
 
 @subsection Message body
 
-It divided by a value which possibly zero.
+This expression may cause division-by-zero.
 
 @subsection Content
 
@@ -5546,7 +5609,7 @@ None.
 
 @subsection Message body
 
-It divided by zero.
+This expression may cause division-by-zero.
 
 @subsection Content
 
@@ -5724,6 +5787,8 @@ void func(int val) /* W0104 */
 }
 @end verbatim
 
+@subsection Related message
+
 @itemize
 @item @ref{W0105} The object which points the formal argument `%s' is not change. It can be declaring as pointer type which points const object.
 @end itemize
@@ -5801,7 +5866,7 @@ None.
 
 @subsection Message body
 
-Assignment operator is used in logical operation expression.
+An assignment-expression appears in the logical expression.
 
 @subsection Content
 
@@ -6017,7 +6082,7 @@ unsigned int func(unsigned int a)
 
 @subsection Message body
 
-The definition of `%s' has an external coupling, but the declaration doesn't find before its definition.
+`%s' has external-linkage without any prototype declarations.
 
 @subsection Content
 
@@ -6035,7 +6100,7 @@ void func(void) /* W0117 */
 @subsection Related message
 
 @itemize
-@item @ref{W0118} The definition of `%s' which has external coupling doesn't find in header file.
+@item @ref{W0118} `%s' has external-linkage, but no prototype declaration is in header files.
 @end itemize
 
 @subsection Since
@@ -6048,7 +6113,7 @@ void func(void) /* W0117 */
 
 @subsection Message body
 
-The definition of `%s' which has external coupling doesn't find in header file.
+`%s' has external-linkage, but no prototype declaration is in header files.
 
 @subsection Content
 
@@ -6064,7 +6129,7 @@ extern int val; /* W0118 */
 @subsection Related message
 
 @itemize
-@item @ref{W0117} The definition of `%s' has an external coupling, but the declaration doesn't find before its definition.
+@item @ref{W0117} `%s' has external-linkage without any prototype declarations.
 @end itemize
 
 @subsection Since
@@ -6186,6 +6251,8 @@ void bar(char a)
 }
 @end verbatim
 
+@subsection Related message
+
 @itemize
 @item @ref{W0119} An implicit type conversion from char to signed char.
 @item @ref{W0120} An implicit type conversion from char to unsigned char.
@@ -6455,7 +6522,7 @@ void bar(char a)
 }
 @end verbatim
 
-@subsection Related Message
+@subsection Related message
 
 @itemize
 @item @ref{W0119} An implicit type conversion from char to signed char.
@@ -7820,9 +7887,9 @@ void bar(signed char a)
 @item @ref{W0162} An implicit type conversion from signed short to unsigned short.
 @item @ref{W0163} An implicit type conversion from signed short to unsigned int.
 @item @ref{W0164} An implicit type conversion from signed short to unsigned long.
-@item @ref{W0165} An implicit type conversion from signed int to unsigned char.
+@item @ref{W0165} Implicit conversion from `signed int' to `unsigned char'.
 @item @ref{W0166} An implicit type conversion from signed int to unsigned short.
-@item @ref{W0167} An implicit type conversion from signed int to unsigned int.
+@item @ref{W0167} Implicit conversion from `signed int' to `unsigned int'.
 @item @ref{W0168} An implicit type conversion from signed int to unsigned long.
 @item @ref{W0169} An implicit type conversion from signed long to unsigned char.
 @item @ref{W0170} An implicit type conversion from signed long to unsigned short.
@@ -7877,9 +7944,9 @@ void bar(signed char a)
 @item @ref{W0162} An implicit type conversion from signed short to unsigned short.
 @item @ref{W0163} An implicit type conversion from signed short to unsigned int.
 @item @ref{W0164} An implicit type conversion from signed short to unsigned long.
-@item @ref{W0165} An implicit type conversion from signed int to unsigned char.
+@item @ref{W0165} Implicit conversion from `signed int' to `unsigned char'.
 @item @ref{W0166} An implicit type conversion from signed int to unsigned short.
-@item @ref{W0167} An implicit type conversion from signed int to unsigned int.
+@item @ref{W0167} Implicit conversion from `signed int' to `unsigned int'.
 @item @ref{W0168} An implicit type conversion from signed int to unsigned long.
 @item @ref{W0169} An implicit type conversion from signed long to unsigned char.
 @item @ref{W0170} An implicit type conversion from signed long to unsigned short.
@@ -7936,9 +8003,9 @@ void bar(signed char a)
 @item @ref{W0162} An implicit type conversion from signed short to unsigned short.
 @item @ref{W0163} An implicit type conversion from signed short to unsigned int.
 @item @ref{W0164} An implicit type conversion from signed short to unsigned long.
-@item @ref{W0165} An implicit type conversion from signed int to unsigned char.
+@item @ref{W0165} Implicit conversion from `signed int' to `unsigned char'.
 @item @ref{W0166} An implicit type conversion from signed int to unsigned short.
-@item @ref{W0167} An implicit type conversion from signed int to unsigned int.
+@item @ref{W0167} Implicit conversion from `signed int' to `unsigned int'.
 @item @ref{W0168} An implicit type conversion from signed int to unsigned long.
 @item @ref{W0169} An implicit type conversion from signed long to unsigned char.
 @item @ref{W0170} An implicit type conversion from signed long to unsigned short.
@@ -7993,9 +8060,9 @@ void bar(signed char a)
 @item @ref{W0162} An implicit type conversion from signed short to unsigned short.
 @item @ref{W0163} An implicit type conversion from signed short to unsigned int.
 @item @ref{W0164} An implicit type conversion from signed short to unsigned long.
-@item @ref{W0165} An implicit type conversion from signed int to unsigned char.
+@item @ref{W0165} Implicit conversion from `signed int' to `unsigned char'.
 @item @ref{W0166} An implicit type conversion from signed int to unsigned short.
-@item @ref{W0167} An implicit type conversion from signed int to unsigned int.
+@item @ref{W0167} Implicit conversion from `signed int' to `unsigned int'.
 @item @ref{W0168} An implicit type conversion from signed int to unsigned long.
 @item @ref{W0169} An implicit type conversion from signed long to unsigned char.
 @item @ref{W0170} An implicit type conversion from signed long to unsigned short.
@@ -8051,9 +8118,9 @@ void bar(short a)
 @item @ref{W0162} An implicit type conversion from signed short to unsigned short.
 @item @ref{W0163} An implicit type conversion from signed short to unsigned int.
 @item @ref{W0164} An implicit type conversion from signed short to unsigned long.
-@item @ref{W0165} An implicit type conversion from signed int to unsigned char.
+@item @ref{W0165} Implicit conversion from `signed int' to `unsigned char'.
 @item @ref{W0166} An implicit type conversion from signed int to unsigned short.
-@item @ref{W0167} An implicit type conversion from signed int to unsigned int.
+@item @ref{W0167} Implicit conversion from `signed int' to `unsigned int'.
 @item @ref{W0168} An implicit type conversion from signed int to unsigned long.
 @item @ref{W0169} An implicit type conversion from signed long to unsigned char.
 @item @ref{W0170} An implicit type conversion from signed long to unsigned short.
@@ -8108,9 +8175,9 @@ void bar(short a)
 @item @ref{W0161} An implicit type conversion from signed short to unsigned char.
 @item @ref{W0163} An implicit type conversion from signed short to unsigned int.
 @item @ref{W0164} An implicit type conversion from signed short to unsigned long.
-@item @ref{W0165} An implicit type conversion from signed int to unsigned char.
+@item @ref{W0165} Implicit conversion from `signed int' to `unsigned char'.
 @item @ref{W0166} An implicit type conversion from signed int to unsigned short.
-@item @ref{W0167} An implicit type conversion from signed int to unsigned int.
+@item @ref{W0167} Implicit conversion from `signed int' to `unsigned int'.
 @item @ref{W0168} An implicit type conversion from signed int to unsigned long.
 @item @ref{W0169} An implicit type conversion from signed long to unsigned char.
 @item @ref{W0170} An implicit type conversion from signed long to unsigned short.
@@ -8165,9 +8232,9 @@ void bar(short a)
 @item @ref{W0161} An implicit type conversion from signed short to unsigned char.
 @item @ref{W0162} An implicit type conversion from signed short to unsigned short.
 @item @ref{W0164} An implicit type conversion from signed short to unsigned long.
-@item @ref{W0165} An implicit type conversion from signed int to unsigned char.
+@item @ref{W0165} Implicit conversion from `signed int' to `unsigned char'.
 @item @ref{W0166} An implicit type conversion from signed int to unsigned short.
-@item @ref{W0167} An implicit type conversion from signed int to unsigned int.
+@item @ref{W0167} Implicit conversion from `signed int' to `unsigned int'.
 @item @ref{W0168} An implicit type conversion from signed int to unsigned long.
 @item @ref{W0169} An implicit type conversion from signed long to unsigned char.
 @item @ref{W0170} An implicit type conversion from signed long to unsigned short.
@@ -8222,9 +8289,9 @@ void bar(short a)
 @item @ref{W0161} An implicit type conversion from signed short to unsigned char.
 @item @ref{W0162} An implicit type conversion from signed short to unsigned short.
 @item @ref{W0163} An implicit type conversion from signed short to unsigned int.
-@item @ref{W0165} An implicit type conversion from signed int to unsigned char.
+@item @ref{W0165} Implicit conversion from `signed int' to `unsigned char'.
 @item @ref{W0166} An implicit type conversion from signed int to unsigned short.
-@item @ref{W0167} An implicit type conversion from signed int to unsigned int.
+@item @ref{W0167} Implicit conversion from `signed int' to `unsigned int'.
 @item @ref{W0168} An implicit type conversion from signed int to unsigned long.
 @item @ref{W0169} An implicit type conversion from signed long to unsigned char.
 @item @ref{W0170} An implicit type conversion from signed long to unsigned short.
@@ -8251,7 +8318,7 @@ void bar(short a)
 
 @subsection Message body
 
-An implicit type conversion from signed int to unsigned char.
+Implicit conversion from `signed int' to `unsigned char'.
 
 @subsection Content
 
@@ -8280,7 +8347,7 @@ void bar(int a)
 @item @ref{W0163} An implicit type conversion from signed short to unsigned int.
 @item @ref{W0164} An implicit type conversion from signed short to unsigned long.
 @item @ref{W0166} An implicit type conversion from signed int to unsigned short.
-@item @ref{W0167} An implicit type conversion from signed int to unsigned int.
+@item @ref{W0167} Implicit conversion from `signed int' to `unsigned int'.
 @item @ref{W0168} An implicit type conversion from signed int to unsigned long.
 @item @ref{W0169} An implicit type conversion from signed long to unsigned char.
 @item @ref{W0170} An implicit type conversion from signed long to unsigned short.
@@ -8337,8 +8404,8 @@ void bar(int a)
 @item @ref{W0162} An implicit type conversion from signed short to unsigned short.
 @item @ref{W0163} An implicit type conversion from signed short to unsigned int.
 @item @ref{W0164} An implicit type conversion from signed short to unsigned long.
-@item @ref{W0165} An implicit type conversion from signed int to unsigned char.
-@item @ref{W0167} An implicit type conversion from signed int to unsigned int.
+@item @ref{W0165} Implicit conversion from `signed int' to `unsigned char'.
+@item @ref{W0167} Implicit conversion from `signed int' to `unsigned int'.
 @item @ref{W0168} An implicit type conversion from signed int to unsigned long.
 @item @ref{W0169} An implicit type conversion from signed long to unsigned char.
 @item @ref{W0170} An implicit type conversion from signed long to unsigned short.
@@ -8365,7 +8432,7 @@ void bar(int a)
 
 @subsection Message body
 
-An implicit type conversion from signed int to unsigned int.
+Implicit conversion from `signed int' to `unsigned int'.
 
 @subsection Content
 
@@ -8394,7 +8461,7 @@ void bar(int a)
 @item @ref{W0162} An implicit type conversion from signed short to unsigned short.
 @item @ref{W0163} An implicit type conversion from signed short to unsigned int.
 @item @ref{W0164} An implicit type conversion from signed short to unsigned long.
-@item @ref{W0165} An implicit type conversion from signed int to unsigned char.
+@item @ref{W0165} Implicit conversion from `signed int' to `unsigned char'.
 @item @ref{W0166} An implicit type conversion from signed int to unsigned short.
 @item @ref{W0168} An implicit type conversion from signed int to unsigned long.
 @item @ref{W0169} An implicit type conversion from signed long to unsigned char.
@@ -8451,9 +8518,9 @@ void bar(int a)
 @item @ref{W0162} An implicit type conversion from signed short to unsigned short.
 @item @ref{W0163} An implicit type conversion from signed short to unsigned int.
 @item @ref{W0164} An implicit type conversion from signed short to unsigned long.
-@item @ref{W0165} An implicit type conversion from signed int to unsigned char.
+@item @ref{W0165} Implicit conversion from `signed int' to `unsigned char'.
 @item @ref{W0166} An implicit type conversion from signed int to unsigned short.
-@item @ref{W0167} An implicit type conversion from signed int to unsigned int.
+@item @ref{W0167} Implicit conversion from `signed int' to `unsigned int'.
 @item @ref{W0169} An implicit type conversion from signed long to unsigned char.
 @item @ref{W0170} An implicit type conversion from signed long to unsigned short.
 @item @ref{W0171} An implicit type conversion from signed long to unsigned int.
@@ -8508,9 +8575,9 @@ void bar(long a)
 @item @ref{W0162} An implicit type conversion from signed short to unsigned short.
 @item @ref{W0163} An implicit type conversion from signed short to unsigned int.
 @item @ref{W0164} An implicit type conversion from signed short to unsigned long.
-@item @ref{W0165} An implicit type conversion from signed int to unsigned char.
+@item @ref{W0165} Implicit conversion from `signed int' to `unsigned char'.
 @item @ref{W0166} An implicit type conversion from signed int to unsigned short.
-@item @ref{W0167} An implicit type conversion from signed int to unsigned int.
+@item @ref{W0167} Implicit conversion from `signed int' to `unsigned int'.
 @item @ref{W0168} An implicit type conversion from signed int to unsigned long.
 @item @ref{W0170} An implicit type conversion from signed long to unsigned short.
 @item @ref{W0171} An implicit type conversion from signed long to unsigned int.
@@ -8566,9 +8633,9 @@ void bar(long a)
 @item @ref{W0162} An implicit type conversion from signed short to unsigned short.
 @item @ref{W0163} An implicit type conversion from signed short to unsigned int.
 @item @ref{W0164} An implicit type conversion from signed short to unsigned long.
-@item @ref{W0165} An implicit type conversion from signed int to unsigned char.
+@item @ref{W0165} Implicit conversion from `signed int' to `unsigned char'.
 @item @ref{W0166} An implicit type conversion from signed int to unsigned short.
-@item @ref{W0167} An implicit type conversion from signed int to unsigned int.
+@item @ref{W0167} Implicit conversion from `signed int' to `unsigned int'.
 @item @ref{W0168} An implicit type conversion from signed int to unsigned long.
 @item @ref{W0169} An implicit type conversion from signed long to unsigned char.
 @item @ref{W0171} An implicit type conversion from signed long to unsigned int.
@@ -8624,9 +8691,9 @@ void bar(long a)
 @item @ref{W0162} An implicit type conversion from signed short to unsigned short.
 @item @ref{W0163} An implicit type conversion from signed short to unsigned int.
 @item @ref{W0164} An implicit type conversion from signed short to unsigned long.
-@item @ref{W0165} An implicit type conversion from signed int to unsigned char.
+@item @ref{W0165} Implicit conversion from `signed int' to `unsigned char'.
 @item @ref{W0166} An implicit type conversion from signed int to unsigned short.
-@item @ref{W0167} An implicit type conversion from signed int to unsigned int.
+@item @ref{W0167} Implicit conversion from `signed int' to `unsigned int'.
 @item @ref{W0168} An implicit type conversion from signed int to unsigned long.
 @item @ref{W0169} An implicit type conversion from signed long to unsigned char.
 @item @ref{W0170} An implicit type conversion from signed long to unsigned short.
@@ -8681,9 +8748,9 @@ void bar(long a)
 @item @ref{W0162} An implicit type conversion from signed short to unsigned short.
 @item @ref{W0163} An implicit type conversion from signed short to unsigned int.
 @item @ref{W0164} An implicit type conversion from signed short to unsigned long.
-@item @ref{W0165} An implicit type conversion from signed int to unsigned char.
+@item @ref{W0165} Implicit conversion from `signed int' to `unsigned char'.
 @item @ref{W0166} An implicit type conversion from signed int to unsigned short.
-@item @ref{W0167} An implicit type conversion from signed int to unsigned int.
+@item @ref{W0167} Implicit conversion from `signed int' to `unsigned int'.
 @item @ref{W0168} An implicit type conversion from signed int to unsigned long.
 @item @ref{W0169} An implicit type conversion from signed long to unsigned char.
 @item @ref{W0170} An implicit type conversion from signed long to unsigned short.
@@ -8737,9 +8804,9 @@ void bar(signed char a)
 @item @ref{W0162} An implicit type conversion from signed short to unsigned short.
 @item @ref{W0163} An implicit type conversion from signed short to unsigned int.
 @item @ref{W0164} An implicit type conversion from signed short to unsigned long.
-@item @ref{W0165} An implicit type conversion from signed int to unsigned char.
+@item @ref{W0165} Implicit conversion from `signed int' to `unsigned char'.
 @item @ref{W0166} An implicit type conversion from signed int to unsigned short.
-@item @ref{W0167} An implicit type conversion from signed int to unsigned int.
+@item @ref{W0167} Implicit conversion from `signed int' to `unsigned int'.
 @item @ref{W0168} An implicit type conversion from signed int to unsigned long.
 @item @ref{W0169} An implicit type conversion from signed long to unsigned char.
 @item @ref{W0170} An implicit type conversion from signed long to unsigned short.
@@ -8794,9 +8861,9 @@ void bar(short a)
 @item @ref{W0162} An implicit type conversion from signed short to unsigned short.
 @item @ref{W0163} An implicit type conversion from signed short to unsigned int.
 @item @ref{W0164} An implicit type conversion from signed short to unsigned long.
-@item @ref{W0165} An implicit type conversion from signed int to unsigned char.
+@item @ref{W0165} Implicit conversion from `signed int' to `unsigned char'.
 @item @ref{W0166} An implicit type conversion from signed int to unsigned short.
-@item @ref{W0167} An implicit type conversion from signed int to unsigned int.
+@item @ref{W0167} Implicit conversion from `signed int' to `unsigned int'.
 @item @ref{W0168} An implicit type conversion from signed int to unsigned long.
 @item @ref{W0169} An implicit type conversion from signed long to unsigned char.
 @item @ref{W0170} An implicit type conversion from signed long to unsigned short.
@@ -8851,9 +8918,9 @@ void bar(int a)
 @item @ref{W0162} An implicit type conversion from signed short to unsigned short.
 @item @ref{W0163} An implicit type conversion from signed short to unsigned int.
 @item @ref{W0164} An implicit type conversion from signed short to unsigned long.
-@item @ref{W0165} An implicit type conversion from signed int to unsigned char.
+@item @ref{W0165} Implicit conversion from `signed int' to `unsigned char'.
 @item @ref{W0166} An implicit type conversion from signed int to unsigned short.
-@item @ref{W0167} An implicit type conversion from signed int to unsigned int.
+@item @ref{W0167} Implicit conversion from `signed int' to `unsigned int'.
 @item @ref{W0168} An implicit type conversion from signed int to unsigned long.
 @item @ref{W0169} An implicit type conversion from signed long to unsigned char.
 @item @ref{W0170} An implicit type conversion from signed long to unsigned short.
@@ -8908,9 +8975,9 @@ void bar(long a)
 @item @ref{W0162} An implicit type conversion from signed short to unsigned short.
 @item @ref{W0163} An implicit type conversion from signed short to unsigned int.
 @item @ref{W0164} An implicit type conversion from signed short to unsigned long.
-@item @ref{W0165} An implicit type conversion from signed int to unsigned char.
+@item @ref{W0165} Implicit conversion from `signed int' to `unsigned char'.
 @item @ref{W0166} An implicit type conversion from signed int to unsigned short.
-@item @ref{W0167} An implicit type conversion from signed int to unsigned int.
+@item @ref{W0167} Implicit conversion from `signed int' to `unsigned int'.
 @item @ref{W0168} An implicit type conversion from signed int to unsigned long.
 @item @ref{W0169} An implicit type conversion from signed long to unsigned char.
 @item @ref{W0170} An implicit type conversion from signed long to unsigned short.
@@ -8965,9 +9032,9 @@ void bar(long long a)
 @item @ref{W0162} An implicit type conversion from signed short to unsigned short.
 @item @ref{W0163} An implicit type conversion from signed short to unsigned int.
 @item @ref{W0164} An implicit type conversion from signed short to unsigned long.
-@item @ref{W0165} An implicit type conversion from signed int to unsigned char.
+@item @ref{W0165} Implicit conversion from `signed int' to `unsigned char'.
 @item @ref{W0166} An implicit type conversion from signed int to unsigned short.
-@item @ref{W0167} An implicit type conversion from signed int to unsigned int.
+@item @ref{W0167} Implicit conversion from `signed int' to `unsigned int'.
 @item @ref{W0168} An implicit type conversion from signed int to unsigned long.
 @item @ref{W0169} An implicit type conversion from signed long to unsigned char.
 @item @ref{W0170} An implicit type conversion from signed long to unsigned short.
@@ -9022,9 +9089,9 @@ void bar(long long a)
 @item @ref{W0162} An implicit type conversion from signed short to unsigned short.
 @item @ref{W0163} An implicit type conversion from signed short to unsigned int.
 @item @ref{W0164} An implicit type conversion from signed short to unsigned long.
-@item @ref{W0165} An implicit type conversion from signed int to unsigned char.
+@item @ref{W0165} Implicit conversion from `signed int' to `unsigned char'.
 @item @ref{W0166} An implicit type conversion from signed int to unsigned short.
-@item @ref{W0167} An implicit type conversion from signed int to unsigned int.
+@item @ref{W0167} Implicit conversion from `signed int' to `unsigned int'.
 @item @ref{W0168} An implicit type conversion from signed int to unsigned long.
 @item @ref{W0169} An implicit type conversion from signed long to unsigned char.
 @item @ref{W0170} An implicit type conversion from signed long to unsigned short.
@@ -9079,9 +9146,9 @@ void bar(long long a)
 @item @ref{W0162} An implicit type conversion from signed short to unsigned short.
 @item @ref{W0163} An implicit type conversion from signed short to unsigned int.
 @item @ref{W0164} An implicit type conversion from signed short to unsigned long.
-@item @ref{W0165} An implicit type conversion from signed int to unsigned char.
+@item @ref{W0165} Implicit conversion from `signed int' to `unsigned char'.
 @item @ref{W0166} An implicit type conversion from signed int to unsigned short.
-@item @ref{W0167} An implicit type conversion from signed int to unsigned int.
+@item @ref{W0167} Implicit conversion from `signed int' to `unsigned int'.
 @item @ref{W0168} An implicit type conversion from signed int to unsigned long.
 @item @ref{W0169} An implicit type conversion from signed long to unsigned char.
 @item @ref{W0170} An implicit type conversion from signed long to unsigned short.
@@ -9136,9 +9203,9 @@ void bar(long long a)
 @item @ref{W0162} An implicit type conversion from signed short to unsigned short.
 @item @ref{W0163} An implicit type conversion from signed short to unsigned int.
 @item @ref{W0164} An implicit type conversion from signed short to unsigned long.
-@item @ref{W0165} An implicit type conversion from signed int to unsigned char.
+@item @ref{W0165} Implicit conversion from `signed int' to `unsigned char'.
 @item @ref{W0166} An implicit type conversion from signed int to unsigned short.
-@item @ref{W0167} An implicit type conversion from signed int to unsigned int.
+@item @ref{W0167} Implicit conversion from `signed int' to `unsigned int'.
 @item @ref{W0168} An implicit type conversion from signed int to unsigned long.
 @item @ref{W0169} An implicit type conversion from signed long to unsigned char.
 @item @ref{W0170} An implicit type conversion from signed long to unsigned short.
@@ -9193,9 +9260,9 @@ void bar(long long a)
 @item @ref{W0162} An implicit type conversion from signed short to unsigned short.
 @item @ref{W0163} An implicit type conversion from signed short to unsigned int.
 @item @ref{W0164} An implicit type conversion from signed short to unsigned long.
-@item @ref{W0165} An implicit type conversion from signed int to unsigned char.
+@item @ref{W0165} Implicit conversion from `signed int' to `unsigned char'.
 @item @ref{W0166} An implicit type conversion from signed int to unsigned short.
-@item @ref{W0167} An implicit type conversion from signed int to unsigned int.
+@item @ref{W0167} Implicit conversion from `signed int' to `unsigned int'.
 @item @ref{W0168} An implicit type conversion from signed int to unsigned long.
 @item @ref{W0169} An implicit type conversion from signed long to unsigned char.
 @item @ref{W0170} An implicit type conversion from signed long to unsigned short.
@@ -13243,7 +13310,7 @@ void bar(unsigned char a)
 @subsection Related message
 
 @itemize
-@item @ref{W0246} An implicit type conversion from unsigned char to signed int.
+@item @ref{W0246} Implicit conversion from `unsigned char' to `signed int'.
 @item @ref{W0247} An implicit type conversion from unsigned char to signed long.
 @item @ref{W0248} An implicit type conversion from unsigned short to signed int.
 @item @ref{W0249} An implicit type conversion from unsigned short to signed long.
@@ -13264,7 +13331,7 @@ void bar(unsigned char a)
 
 @subsection Message body
 
-An implicit type conversion from unsigned char to int.
+Implicit conversion from `unsigned char' to `signed int'.
 
 @subsection Content
 
@@ -13328,7 +13395,7 @@ void bar(unsigned char a)
 
 @itemize
 @item @ref{W0245} An implicit type conversion from unsigned char to signed short.
-@item @ref{W0246} An implicit type conversion from unsigned char to signed int.
+@item @ref{W0246} Implicit conversion from `unsigned char' to `signed int'.
 @item @ref{W0248} An implicit type conversion from unsigned short to signed int.
 @item @ref{W0249} An implicit type conversion from unsigned short to signed long.
 @item @ref{W0250} An implicit type conversion from unsigned int to signed long.
@@ -13370,7 +13437,7 @@ void bar(unsigned short a)
 
 @itemize
 @item @ref{W0245} An implicit type conversion from unsigned char to signed short.
-@item @ref{W0246} An implicit type conversion from unsigned char to signed int.
+@item @ref{W0246} Implicit conversion from `unsigned char' to `signed int'.
 @item @ref{W0247} An implicit type conversion from unsigned char to signed long.
 @item @ref{W0249} An implicit type conversion from unsigned short to signed long.
 @item @ref{W0250} An implicit type conversion from unsigned int to signed long.
@@ -13412,7 +13479,7 @@ void bar(unsigned short a)
 
 @itemize
 @item @ref{W0245} An implicit type conversion from unsigned char to signed short.
-@item @ref{W0246} An implicit type conversion from unsigned char to signed int.
+@item @ref{W0246} Implicit conversion from `unsigned char' to `signed int'.
 @item @ref{W0247} An implicit type conversion from unsigned char to signed long.
 @item @ref{W0248} An implicit type conversion from unsigned short to signed int.
 @item @ref{W0249} An implicit type conversion from unsigned short to signed long.
@@ -13454,7 +13521,7 @@ void bar(unsigned int a)
 
 @itemize
 @item @ref{W0245} An implicit type conversion from unsigned char to signed short.
-@item @ref{W0246} An implicit type conversion from unsigned char to signed int.
+@item @ref{W0246} Implicit conversion from `unsigned char' to `signed int'.
 @item @ref{W0247} An implicit type conversion from unsigned char to signed long.
 @item @ref{W0248} An implicit type conversion from unsigned short to signed int.
 @item @ref{W0249} An implicit type conversion from unsigned short to signed long.
@@ -13496,7 +13563,7 @@ void bar(unsigned char a)
 
 @itemize
 @item @ref{W0245} An implicit type conversion from unsigned char to signed short.
-@item @ref{W0246} An implicit type conversion from unsigned char to signed int.
+@item @ref{W0246} Implicit conversion from `unsigned char' to `signed int'.
 @item @ref{W0247} An implicit type conversion from unsigned char to signed long.
 @item @ref{W0248} An implicit type conversion from unsigned short to signed int.
 @item @ref{W0249} An implicit type conversion from unsigned short to signed long.
@@ -13538,7 +13605,7 @@ void bar(unsigned short a)
 
 @itemize
 @item @ref{W0245} An implicit type conversion from unsigned char to signed short.
-@item @ref{W0246} An implicit type conversion from unsigned char to signed int.
+@item @ref{W0246} Implicit conversion from `unsigned char' to `signed int'.
 @item @ref{W0247} An implicit type conversion from unsigned char to signed long.
 @item @ref{W0248} An implicit type conversion from unsigned short to signed int.
 @item @ref{W0249} An implicit type conversion from unsigned short to signed long.
@@ -13581,7 +13648,7 @@ void bar(unsigned int a)
 
 @itemize
 @item @ref{W0245} An implicit type conversion from unsigned char to signed short.
-@item @ref{W0246} An implicit type conversion from unsigned char to signed int.
+@item @ref{W0246} Implicit conversion from `unsigned char' to `signed int'.
 @item @ref{W0247} An implicit type conversion from unsigned char to signed long.
 @item @ref{W0248} An implicit type conversion from unsigned short to signed int.
 @item @ref{W0249} An implicit type conversion from unsigned short to signed long.
@@ -13623,7 +13690,7 @@ void bar(unsigned long a)
 
 @itemize
 @item @ref{W0245} An implicit type conversion from unsigned char to signed short.
-@item @ref{W0246} An implicit type conversion from unsigned char to signed int.
+@item @ref{W0246} Implicit conversion from `unsigned char' to `signed int'.
 @item @ref{W0247} An implicit type conversion from unsigned char to signed long.
 @item @ref{W0248} An implicit type conversion from unsigned short to signed int.
 @item @ref{W0249} An implicit type conversion from unsigned short to signed long.
@@ -22002,7 +22069,7 @@ if (x > 0)
 @subsection Related message
 
 @itemize
-@item @ref{W0414} The body of control statement is in a line. It unenclosed by curly brace `@{@}' block.
+@item @ref{W0414} Body of the controlling statement in a line is not enclosed by `@{@}'.
 @end itemize
 
 @subsection Since
@@ -22015,7 +22082,7 @@ if (x > 0)
 
 @subsection Message body
 
-The body of control statement is in a line. It unenclosed by curly brace `@{@}' block.
+Body of the controlling statement in a line is not enclosed by `@{@}'.
 
 @subsection Content
 
@@ -22039,10 +22106,11 @@ if (x > 0) x++; /* W0414 */
 
 @node W0421
 @section W0421
+@cindex W0421
 
 @subsection Message body
 
-Indirect reference is being made to the pointer which its value will be NULL.
+Value of the dereferencing pointer must be NULL.
 
 @subsection Content
 
@@ -22078,7 +22146,7 @@ None.
 
 @subsection Message body
 
-Indirect reference is being made to the pointer which its value might be NULL.
+Value of the dereferencing pointer may be NULL.
 
 @subsection Content
 
@@ -23238,7 +23306,7 @@ void func(int a, int b, int c)
 @item @ref{W0499} The different operator of same priority in the binary operator except '+','-', '*','/' is used. It had better clear the coupling by using `()'.
 @item @ref{W0500} The operator of different priority in the binary operator '+','-','*','/' is used. It had better clear the coupling by using `()'.
 @item @ref{W0501} A ternary operator is used with binary operator. It had better clear the coupling by using `()'.
-@item @ref{W0502} A binary operator except '+', '-', '*', '/', '%%' is used with the different priority of binary operator. It had better clear the coupling by using `()'.
+@item @ref{W0502} A binary operator other than `+', `-', `*', `/' and `%%' appears with binary operator which has different precedence without expression grouping.
 @end itemize
 
 @subsection Since
@@ -23275,7 +23343,7 @@ void func(int a, int b, int c, int d, int e)
 @item @ref{W0499} The different operator of same priority in the binary operator except '+','-', '*','/' is used. It had better clear the coupling by using `()'.
 @item @ref{W0500} The operator of different priority in the binary operator '+','-','*','/' is used. It had better clear the coupling by using `()'.
 @item @ref{W0501} A ternary operator is used with binary operator. It had better clear the coupling by using `()'.
-@item @ref{W0502} A binary operator except '+', '-', '*', '/', '%%' is used with the different priority of binary operator. It had better clear the coupling by using `()'.
+@item @ref{W0502} A binary operator other than `+', `-', `*', `/' and `%%' appears with binary operator which has different precedence without expression grouping.
 @end itemize
 
 @subsection Since
@@ -23312,7 +23380,7 @@ void func(int a, int b, int c)
 @item @ref{W0499} The different operator of same priority in the binary operator except '+','-', '*','/' is used. It had better clear the coupling by using `()'.
 @item @ref{W0500} The operator of different priority in the binary operator '+','-','*','/' is used. It had better clear the coupling by using `()'.
 @item @ref{W0501} A ternary operator is used with binary operator. It had better clear the coupling by using `()'.
-@item @ref{W0502} A binary operator except '+', '-', '*', '/', '%%' is used with the different priority of binary operator. It had better clear the coupling by using `()'.
+@item @ref{W0502} A binary operator other than `+', `-', `*', `/' and `%%' appears with binary operator which has different precedence without expression grouping.
 @end itemize
 
 @subsection Since
@@ -23349,7 +23417,7 @@ void func(int a, int b, int c)
 @item @ref{W0499} The different operator of same priority in the binary operator except '+','-', '*','/' is used. It had better clear the coupling by using `()'.
 @item @ref{W0500} The operator of different priority in the binary operator '+','-','*','/' is used. It had better clear the coupling by using `()'.
 @item @ref{W0501} A ternary operator is used with binary operator. It had better clear the coupling by using `()'.
-@item @ref{W0502} A binary operator except '+', '-', '*', '/', '%%' is used with the different priority of binary operator. It had better clear the coupling by using `()'.
+@item @ref{W0502} A binary operator other than `+', `-', `*', `/' and `%%' appears with binary operator which has different precedence without expression grouping.
 @end itemize
 
 @subsection Since
@@ -23386,7 +23454,7 @@ void func(int a, int b, int c)
 @item @ref{W0498} The different operator of same priority in the binary operator '+','-', '*','/' is used. It had better clear the coupling by using `()'.
 @item @ref{W0500} The operator of different priority in the binary operator '+','-','*','/' is used. It had better clear the coupling by using `()'.
 @item @ref{W0501} A ternary operator is used with binary operator. It had better clear the coupling by using `()'.
-@item @ref{W0502} A binary operator except '+', '-', '*', '/', '%%' is used with the different priority of binary operator. It had better clear the coupling by using `()'.
+@item @ref{W0502} A binary operator other than `+', `-', `*', `/' and `%%' appears with binary operator which has different precedence without expression grouping.
 @end itemize
 
 @subsection Since
@@ -23423,7 +23491,7 @@ void func(int a, int b, int c)
 @item @ref{W0498} The different operator of same priority in the binary operator '+','-', '*','/' is used. It had better clear the coupling by using `()'.
 @item @ref{W0499} The different operator of same priority in the binary operator except '+','-', '*','/' is used. It had better clear the coupling by using `()'.
 @item @ref{W0501} A ternary operator is used with binary operator. It had better clear the coupling by using `()'.
-@item @ref{W0502} A binary operator except '+', '-', '*', '/', '%%' is used with the different priority of binary operator. It had better clear the coupling by using `()'.
+@item @ref{W0502} A binary operator other than `+', `-', `*', `/' and `%%' appears with binary operator which has different precedence without expression grouping.
 @end itemize
 
 @subsection Since
@@ -23460,7 +23528,7 @@ void func(int a, int b, int c)
 @item @ref{W0498} The different operator of same priority in the binary operator '+','-', '*','/' is used. It had better clear the coupling by using `()'.
 @item @ref{W0499} The different operator of same priority in the binary operator except '+','-', '*','/' is used. It had better clear the coupling by using `()'.
 @item @ref{W0500} The operator of different priority in the binary operator '+','-','*','/' is used. It had better clear the coupling by using `()'.
-@item @ref{W0502} A binary operator except '+', '-', '*', '/', '%%' is used with the different priority of binary operator. It had better clear the coupling by using `()'.
+@item @ref{W0502} A binary operator other than `+', `-', `*', `/' and `%%' appears with binary operator which has different precedence without expression grouping.
 @end itemize
 
 @subsection Since
@@ -23473,7 +23541,7 @@ void func(int a, int b, int c)
 
 @subsection Message body
 
-A binary operator except '+', '-', '*', '/', '%%' is used with the different priority of binary operator. It had better clear the coupling by using `()'.
+A binary operator other than `+', `-', `*', `/' and `%%' appears with binary operator which has different precedence without expression grouping.
 
 @subsection Content
 
@@ -24421,6 +24489,8 @@ void func(int a, int b)
 }
 @end verbatim
 
+@subsection Related message
+
 @itemize
 @item @ref{W0564} If this 'goto' statement jumps to `%s' label,local variable will not be initialized.
 @end itemize
@@ -24583,7 +24653,7 @@ int b = -5 << 1; /* W0568 */
 
 @itemize
 @item @ref{W0569} The result of left shift operation against the signed expression value is undefined.
-@item @ref{W0570} The result of left shift operation against the signed expression value might be undefined.
+@item @ref{W0570} This signed left shift operation may make undefined value.
 @end itemize
 
 @subsection Since
@@ -24623,7 +24693,7 @@ int func(int a)
 
 @itemize
 @item @ref{W0568} The result of left shift operation against the signed constant expression value is undefined.
-@item @ref{W0570} The result of left shift operation against the signed expression value might be undefined.
+@item @ref{W0570} This signed left shift operation may make undefined value.
 @end itemize
 
 @subsection Since
@@ -24636,7 +24706,7 @@ int func(int a)
 
 @subsection Message body
 
-The result of left shift operation against the signed expression value might be undefined.
+This signed left shift operation may make undefined value.
 
 @subsection Content
 
@@ -24694,7 +24764,7 @@ int func(int a)
 @subsection Related message
 
 @itemize
-@item @ref{W0572} The result of bit operation against the signed data is defined by implementation.
+@item @ref{W0572} Bitwise operation of signed value causes implementation-defined behavior.
 @end itemize
 
 @subsection Since
@@ -24707,7 +24777,7 @@ int func(int a)
 
 @subsection Message body
 
-The result of bit operation against the signed data is defined by implementation.
+Bitwise operation of signed value causes implementation-defined behavior.
 
 @subsection Content
 
@@ -25520,7 +25590,7 @@ void foo(int a, int b)
 
 @subsection Message body
 
-A 'break' statement is used more than once to finish the repetition statement.
+Multiple break-statements appear to break the same iteration.
 
 @subsection Content
 
@@ -25651,7 +25721,7 @@ void fuu(int a)
 
 @subsection Message body
 
-The result of this logical operation is always true.
+This logical expression always makes true.
 
 @subsection Content
 
@@ -25673,10 +25743,10 @@ void func(int a)
 @subsection Related message
 
 @itemize
-@item @ref{W0610} The result of this logical operation is always false.
+@item @ref{W0610} This logical expression always makes false.
 @item @ref{W0611} The value of this 'for' control expression is always true.
 @item @ref{W0612} The value of this 'if' conditional expression is always true.
-@item @ref{W0613} The value of this control expression is always false.
+@item @ref{W0613} This controlling expression always makes false.
 @item @ref{W0614} The value of this "do-while" control expression is always false. The body of repetition statement executed only once.
 @end itemize
 
@@ -25690,7 +25760,7 @@ void func(int a)
 
 @subsection Message body
 
-The result of this logical operation is always false.
+This logical expression always makes false.
 
 @subsection Content
 
@@ -25711,10 +25781,10 @@ void func(int a)
 @subsection Related message
 
 @itemize
-@item @ref{W0609} The result of this logical operation is always true.
+@item @ref{W0609} This logical expression always makes true.
 @item @ref{W0611} The value of this 'for' control expression is always true.
 @item @ref{W0612} The value of this 'if' conditional expression is always true.
-@item @ref{W0613} The value of this control expression is always false.
+@item @ref{W0613} This controlling expression always makes false.
 @item @ref{W0614} The value of this "do-while" control expression is always false. The body of repetition statement executed only once.
 @end itemize
 
@@ -25747,11 +25817,13 @@ void func(int a)
 }
 @end verbatim
 
+@subsection Related message
+
 @itemize
-@item @ref{W0609} The result of this logical operation is always true.
-@item @ref{W0610} The result of this logical operation is always false.
+@item @ref{W0609} This logical expression always makes true.
+@item @ref{W0610} This logical expression always makes false.
 @item @ref{W0612} The value of this 'if' conditional expression is always true.
-@item @ref{W0613} The value of this control expression is always false.
+@item @ref{W0613} This controlling expression always makes false.
 @item @ref{W0614} The value of this "do-while" control expression is always false. The body of repetition statement executed only once.
 @end itemize
 
@@ -25786,10 +25858,10 @@ for (i = 0; i < 10; i++) {
 @subsection Related message
 
 @itemize
-@item @ref{W0609} The result of this logical operation is always true.
-@item @ref{W0610} The result of this logical operation is always false.
+@item @ref{W0609} This logical expression always makes true.
+@item @ref{W0610} This logical expression always makes false.
 @item @ref{W0611} The value of this 'for' control expression is always true.
-@item @ref{W0613} The value of this control expression is always false.
+@item @ref{W0613} This controlling expression always makes false.
 @item @ref{W0614} The value of this "do-while" control expression is always false. The body of repetition statement executed only once.
 @end itemize
 
@@ -25803,7 +25875,7 @@ for (i = 0; i < 10; i++) {
 
 @subsection Message body
 
-The value of this control expression is always false.
+This controlling expression always makes false.
 
 @subsection Content
 
@@ -25824,8 +25896,8 @@ for (i = 0; i < 10; i++) {
 @subsection Related message
 
 @itemize
-@item @ref{W0609} The result of this logical operation is always true.
-@item @ref{W0610} The result of this logical operation is always false.
+@item @ref{W0609} This logical expression always makes true.
+@item @ref{W0610} This logical expression always makes false.
 @item @ref{W0611} The value of this 'for' control expression is always true.
 @item @ref{W0612} The value of this 'if' conditional expression is always true.
 @item @ref{W0614} The value of this "do-while" control expression is always false. The body of repetition statement executed only once.
@@ -25862,11 +25934,11 @@ void func(int a)
 @subsection Related message
 
 @itemize
-@item @ref{W0609} The result of this logical operation is always true.
-@item @ref{W0610} The result of this logical operation is always false.
+@item @ref{W0609} This logical expression always makes true.
+@item @ref{W0610} This logical expression always makes false.
 @item @ref{W0611} The value of this 'for' control expression is always true.
 @item @ref{W0612} The value of this 'if' conditional expression is always true.
-@item @ref{W0613} The value of this control expression is always false.
+@item @ref{W0613} This controlling expression always makes false.
 @end itemize
 
 @subsection Since
@@ -26095,7 +26167,7 @@ int main(void)
 @subsection Related message
 
 @itemize
-@item @ref{W0629} A static function `%s()' is not used in this translation unit.
+@item @ref{W0629} `%s()' has internal-linkage, but it is never called in this translation-unit.
 @end itemize
 
 @subsection Since
@@ -26108,7 +26180,7 @@ int main(void)
 
 @subsection Message body
 
-A static function `%s()' is not used in this translation unit.
+`%s()' has internal-linkage, but it is never called in this translation-unit.
 
 @subsection Content
 
@@ -26247,8 +26319,6 @@ void func(int a)
 }
 @end verbatim
 
-Under construction.
-
 @subsection Related message
 
 @itemize
@@ -29273,7 +29343,7 @@ void func(void)
 
 @subsection Message body
 
-An array's index might be out of range.
+This non-constant array subscript may cause out-of-range access.
 
 @subsection Content
 
@@ -29310,7 +29380,7 @@ None.
 
 @subsection Message body
 
-An array's index is out of range.
+This constant array subscript must cause out-of-range access.
 
 @subsection Content
 
@@ -30492,7 +30562,7 @@ None.
 
 @subsection Message body
 
-The array's index points out of domain.
+This non-constant array subscript may cause out-of-range access.
 
 @subsection Content
 
@@ -31867,8 +31937,6 @@ Under construction.
 
 @subsection Sample code
 
-Under construction.
-
 @verbatim
 void func(float a, float b)
 {
@@ -31908,9 +31976,8 @@ void func(float a, float b)
 }
 @end verbatim
 
-Under construction.
-
 @subsection Related message
+
 @itemize
 @item @ref{W0777} An implicit type conversion from compound expression of float to double.
 @item @ref{W0779} An implicit type conversion from compound expression of to long double.
@@ -31934,8 +32001,6 @@ Under construction.
 
 @subsection Sample code
 
-Under construction.
-
 @verbatim
 void func(double a, double b)
 {
@@ -32414,7 +32479,7 @@ None.
 
 @subsection Message body
 
-Left shift operation to signed operand.
+Left shift operation of signed value causes implementation-defined behavior.
 
 @subsection Content
 
@@ -33249,7 +33314,7 @@ After 2.0.0 (planned)
 
 @subsection Message body
 
-A string literal is used directly.
+String literal is specified directly.
 
 @subsection Content
 
@@ -33264,9 +33329,9 @@ func("Apple, Banana, Chocolate"); /* W0947 */
 @subsection Related message
 
 @itemize
-@item @ref{W0948} A character constant `%s' is used directly.
+@item @ref{W0948} Character constant %s is specified directly.
 @item @ref{W0949} A value `%s' is used directly for size definition of bit field.
-@item @ref{W0950} A value `%s' is used directly for size definition of the array.
+@item @ref{W0950} Integer constant `%s' is specified directly as an array size.
 @end itemize
 
 @subsection Since
@@ -33279,7 +33344,7 @@ func("Apple, Banana, Chocolate"); /* W0947 */
 
 @subsection Message body
 
-A character constant `%s' is used directly.
+Character constant %s is specified directly.
 
 @subsection Content
 
@@ -33294,9 +33359,9 @@ func('a'); /* W0948 */
 @subsection Related message
 
 @itemize
-@item @ref{W0947} A string literal is used directly.
+@item @ref{W0947} String literal is specified directly.
 @item @ref{W0949} A value `%s' is used directly for size definition of bit field.
-@item @ref{W0950} A value `%s' is used directly for size definition of the array.
+@item @ref{W0950} Integer constant `%s' is specified directly as an array size.
 @end itemize
 
 @subsection Since
@@ -33328,9 +33393,9 @@ struct ST {
 @subsection Related message
 
 @itemize
-@item @ref{W0947} A string literal is used directly.
-@item @ref{W0948} A character constant `%s' is used directly.
-@item @ref{W0950} A value `%s' is used directly for size definition of the array.
+@item @ref{W0947} String literal is specified directly.
+@item @ref{W0948} Character constant %s is specified directly.
+@item @ref{W0950} Integer constant `%s' is specified directly as an array size.
 @end itemize
 
 @subsection Since
@@ -33343,7 +33408,7 @@ struct ST {
 
 @subsection Message body
 
-A value `%s' is used directly for size definition of the array.
+Integer constant `%s' is specified directly as an array size.
 
 @subsection Content
 
@@ -33358,8 +33423,8 @@ int a[10]; /* W0950 */
 @subsection Related message
 
 @itemize
-@item @ref{W0947} A string literal is used directly.
-@item @ref{W0948} A character constant `%s' is used directly.
+@item @ref{W0947} String literal is specified directly.
+@item @ref{W0948} Character constant %s is specified directly.
 @item @ref{W0949} A value `%s' is used directly for size definition of bit field.
 @end itemize
 
@@ -35032,7 +35097,7 @@ None.
 
 @subsection Message body
 
-A return value of function `%s' is not used.。
+Return value of the function `%s' is discarded.
 
 @subsection Content
 
@@ -35132,7 +35197,7 @@ None.
 
 @subsection Message body
 
-`%s' is defined as internal-linkage, but it has no forward declaration.
+`%s' has internal-linkage without any prototype declarations.
 
 @subsection Content
 
@@ -35186,7 +35251,7 @@ None.
 
 @subsection Message body
 
-This statement doesn't reach the control.
+Control never reaches to this statement.
 
 @subsection Content
 
@@ -35678,6 +35743,7 @@ MET,FN_PARA,bar,"int bar(int,long,char *)",test.c,6,5,3
 @cindex FN_UNUV
 
 @subsection Metric name
+
 Number of not use /not reuse variables
 
 @subsection Content
@@ -35803,7 +35869,7 @@ Number of @code{goto} statement
 
 @subsection Content
 
-The number of  @code{goto} statement in a function.
+The number of @code{goto} statement in a function.
 
 @subsection Sample code
 
@@ -35846,7 +35912,7 @@ Number of return point in a function
 
 @subsection Content
 
-The number of executable @code{return} statements and implicit @code{return} statements
+The number of executable return-statements and implicit return-statements
 at the end of a function.
 
 @subsection Sample code
@@ -35907,11 +35973,11 @@ MET,FN_RETN,bar,int bar(int),test.c,20,5,3
 @cindex FN_UELS
 
 @subsection Metric name
-Number of @code{`if'} statement without @code{`else'} clause
+Number of if-statement without else-clause
 
 @subsection Content
 
-The number of @code{`if'} statements which have no explicit @code{else} clause.
+The number of if-statements which have no explicit else-clause.
 
 @subsection Sample code
 
@@ -36183,6 +36249,7 @@ It was developed by McCabe.
 calculating formula is
 @verb{.(the number of edges of the graph) - (the number of nodes of the graph) + 2.}.
 It equals the number of branch in a function + 1.
+
 @subsection Sample code
 
 @verbatim