RubyGems - adlint - Versions diffs - 2.6.0 → 2.6.2 - Mend

adlint 2.6.0 → 2.6.2

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (37) hide show

data/ChangeLog +122 -0
data/MANIFEST +1 -0
data/NEWS +23 -4
data/README +1 -1
data/Rakefile +1 -1
data/etc/mesg.d/c_builtin/en_US/messages.yml +8 -8
data/etc/mesg.d/c_builtin/ja_JP/messages.yml +8 -8
data/etc/mesg.d/core/en_US/messages.yml +1 -1
data/etc/mesg.d/core/ja_JP/messages.yml +1 -1
data/features/code_check/W0599.feature +71 -0
data/lib/adlint/c/builtin.rb +1 -1
data/lib/adlint/c/const.rb +60 -60
data/lib/adlint/c/conv.rb +3 -3
data/lib/adlint/c/ctrlexpr.rb +278 -357
data/lib/adlint/c/expr.rb +1232 -1637
data/lib/adlint/c/format.rb +26 -26
data/lib/adlint/c/interp.rb +339 -391
data/lib/adlint/c/mediator.rb +1 -2
data/lib/adlint/c/object.rb +8 -9
data/lib/adlint/c/seqp.rb +1 -1
data/lib/adlint/c/syntax.rb +6 -6
data/lib/adlint/c/type.rb +8 -8
data/lib/adlint/cpp/eval.rb +1 -1
data/lib/adlint/cpp/macro.rb +4 -4
data/lib/adlint/cpp/util.rb +1 -1
data/lib/adlint/exam/c_builtin/c_check.rb +93 -95
data/lib/adlint/exam/c_builtin/ld_check.rb +4 -4
data/lib/adlint/traits.rb +7 -16
data/lib/adlint/util.rb +12 -0
data/lib/adlint/version.rb +2 -2
data/share/doc/developers_guide_ja.html +3 -3
data/share/doc/developers_guide_ja.texi +1 -1
data/share/doc/users_guide_en.html +32 -32
data/share/doc/users_guide_en.texi +30 -30
data/share/doc/users_guide_ja.html +32 -32
data/share/doc/users_guide_ja.texi +30 -30
metadata +4 -3

data/lib/adlint/version.rb CHANGED Viewed

@@ -33,8 +33,8 @@ module AdLint #:nodoc:
   MAJOR_VERSION = 2
   MINOR_VERSION = 6
-  PATCH_VERSION = 0
-  RELEASE_DATE  = "2012-10-22"
+  PATCH_VERSION = 2
+  RELEASE_DATE  = "2012-10-31"
   TRAITS_SCHEMA_VERSION = "2.4.0"

data/share/doc/developers_guide_ja.html CHANGED Viewed

@@ -1,8 +1,8 @@
 <html lang="ja">
 <head>
-<title>AdLint 2.6.0 開発者ガイド</title>
+<title>AdLint 2.6.2 開発者ガイド</title>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
-<meta name="description" content="AdLint 2.6.0 開発者ガイド">
+<meta name="description" content="AdLint 2.6.2 開発者ガイド">
 <meta name="generator" content="makeinfo 4.13">
 <link title="Top" rel="top" href="#Top">
 <link href="http://www.gnu.org/software/texinfo/" rel="generator-home" title="Texinfo Homepage">
@@ -44,7 +44,7 @@ td { border: 1px solid black; }
 --></style>
 </head>
 <body>
-<h1 class="settitle">AdLint 2.6.0 開発者ガイド</h1>
+<h1 class="settitle">AdLint 2.6.2 開発者ガイド</h1>
 <div class="contents">
 <h2>Table of Contents</h2>
 <ul>

data/share/doc/developers_guide_ja.texi CHANGED Viewed

@@ -2,7 +2,7 @@
 @setfilename developers_guide_ja.info
 @documentlanguage ja
 @documentencoding utf-8
-@settitle AdLint 2.6.0 開発者ガイド
+@settitle AdLint 2.6.2 開発者ガイド
 @copying
 Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.

data/share/doc/users_guide_en.html CHANGED Viewed

@@ -1,8 +1,8 @@
 <html lang="en">
 <head>
-<title>AdLint 2.6.0 User's Guide</title>
+<title>AdLint 2.6.2 User's Guide</title>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
-<meta name="description" content="AdLint 2.6.0 User's Guide">
+<meta name="description" content="AdLint 2.6.2 User's Guide">
 <meta name="generator" content="makeinfo 4.13">
 <link title="Top" rel="top" href="#Top">
 <link href="http://www.gnu.org/software/texinfo/" rel="generator-home" title="Texinfo Homepage">
@@ -44,7 +44,7 @@ td { border: 1px solid black; }
 --></style>
 </head>
 <body>
-<h1 class="settitle">AdLint 2.6.0 User's Guide</h1>
+<h1 class="settitle">AdLint 2.6.2 User's Guide</h1>
 <div class="node">
 <a name="Top"></a>
 <p><hr>
@@ -1468,7 +1468,7 @@ examination package, message category and message severity to the <a href="#Mess
 </td><td valign="top" width="10%">
 array of string
 </td><td valign="top" width="0%">
-<b>This item has no effect on AdLint 2.6.0, yet.</b>
+<b>This item has no effect on AdLint 2.6.2, yet.</b>
 <p>If a directory path is specified, AdLint will output warning messages about
 source files located under the specified directory.
@@ -1480,7 +1480,7 @@ the target source files such as system headers or 3rd-party library headers.
 </td><td valign="top" width="10%">
 array of string
 </td><td valign="top" width="0%">
-<b>This item has no effect on AdLint 2.6.0, yet.</b>
+<b>This item has no effect on AdLint 2.6.2, yet.</b>
 <p>If a directory path is specified, AdLint will suppress warning messages about
 source files located under the specified directory.
@@ -1490,7 +1490,7 @@ source files located under the specified directory.
 </td><td valign="top" width="10%">
 boolean
 </td><td valign="top" width="0%">
-<b>This item has no effect on AdLint 2.6.0, yet.</b>
+<b>This item has no effect on AdLint 2.6.2, yet.</b>
 <p>This item enables code check selection by annotations in the target source
 files.
@@ -1502,7 +1502,7 @@ files.
 </td><td valign="top" width="10%">
 array of string
 </td><td valign="top" width="0%">
-<b>This item has no effect on AdLint 2.6.0, yet.</b>
+<b>This item has no effect on AdLint 2.6.2, yet.</b>
 <p>This item represents excluding code checks by its message categories.
 <br></td></tr><tr align="left"><td valign="top" width="1%">7
@@ -1511,7 +1511,7 @@ array of string
 </td><td valign="top" width="10%">
 regexp string
 </td><td valign="top" width="0%">
-<b>This item has no effect on AdLint 2.6.0, yet.</b>
+<b>This item has no effect on AdLint 2.6.2, yet.</b>
 <p>This item represents excluding code checks by its message severities.
 <br></td></tr><tr align="left"><td valign="top" width="1%">8
@@ -1520,7 +1520,7 @@ regexp string
 </td><td valign="top" width="10%">
 map of Message ID and string
 </td><td valign="top" width="0%">
-<b>This item has no effect on AdLint 2.6.0, yet.</b>
+<b>This item has no effect on AdLint 2.6.2, yet.</b>
 <p>This item represents excluding code checks by its message ID.
@@ -1532,7 +1532,7 @@ also specify the name of the examination package including the message.
 </td><td valign="top" width="10%">
 map of Message ID and string
 </td><td valign="top" width="0%">
-<b>This item has no effect on AdLint 2.6.0, yet.</b>
+<b>This item has no effect on AdLint 2.6.2, yet.</b>
 <p>This item represents messages which is excluded by settings of <code>exclusion</code>
 section but will be used by AdLint.
@@ -2359,7 +2359,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
 <li><a href="#W0079">W0079</a>: This array cannot keep final character `\0' which initial value of string literal.
 <li><a href="#W0080">W0080</a>: A global object which const qualified is defined without explicitly initialized.
 <li><a href="#W0081">W0081</a>: A monadic operator`-' becomes unsigned type if it use 'unsigned int' type, 'unsigned long' type or 'unsigned long' type operand.
-<li><a href="#W0082">W0082</a>: A monadic operator `-' is used operand which the latency type is a unsigned operand.
+<li><a href="#W0082">W0082</a>: Unary operator `-' is applied to an operand whose underlying type `%s' is unsigned.
 <li><a href="#W0084">W0084</a>: Left operand of this comma operator`,' doesn't described the statement which has side-effects.
 <li><a href="#W0085">W0085</a>: This statement doesn't have side-effects. It is highly possible that it having error.
 <li><a href="#W0086">W0086</a>: Second or third operand is verbose statement which doesn't have side-effects in ternary operator (conditional operator).
@@ -2765,8 +2765,8 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
 <li><a href="#W0575">W0575</a>: The character except for basic source character is used in the string literal.
 <li><a href="#W0576">W0576</a>: The character except for basic source character is used in the comment of source file `%s'.
 <li><a href="#W0577">W0577</a>: The character except for basic source character is used in preprocessing directive of source file `%s'.
-<li><a href="#W0578">W0578</a>: An implicit type conversion from volatile integer type of compound expression to bigger type.
-<li><a href="#W0579">W0579</a>: Cast from compound expression of volatile integer type to bigger type.
+<li><a href="#W0578">W0578</a>: A generic integer value of the compound expression typed `%s' is implicitly converted into a new value of bigger type `%s'.
+<li><a href="#W0579">W0579</a>: A generic integer value of the compound expression typed `%s' is explicitly converted into a new value of bigger type `%s'.
 <li><a href="#W0580">W0580</a>: An address of local static variable is substituted for a pointer which has a wider scope.
 <li><a href="#W0581">W0581</a>: The number or type of actual argument is different from the past.
 <li><a href="#W0582">W0582</a>: The number or type of actual argument is different from the function prototype declaration at the following.
@@ -2815,7 +2815,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
 <li><a href="#W0645">W0645</a>: 'void' type cannot use in the type of formal argument.
 <li><a href="#W0646">W0646</a>: A normal string literal and a wide string literal are contiguous.
 <li><a href="#W0649">W0649</a>: A right operand value of shift operand is negative constant value. This result is undefined.
-<li><a href="#W0650">W0650</a>: A right operand value of shift operator is much bigger than the bit size represented in left operand type. This result is undefined.
+<li><a href="#W0650">W0650</a>: A value of the right operand in a shift expression is bigger than the bit size of the left operand type `%s'. This result is undefined.
 <li><a href="#W0653">W0653</a>: The initial value of an array, structure or union is not enclosed by `{}'.
 <li><a href="#W0654">W0654</a>: The initializer of structure or union must the value of the same structure type or union type.
 <li><a href="#W0655">W0655</a>: This is bit field statement which the size is undefined.
@@ -2877,7 +2877,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
 <li><a href="#W0716">W0716</a>: A bit operator or both sides operand of arithmetic operator is a substantive 'boolean' expression.
 <li><a href="#W0717">W0717</a>: A bit operator or left side operand of arithmetic operator is a substantive 'boolean' expression.
 <li><a href="#W0718">W0718</a>: A bit operator or right side operand of arithmetic operator is a substantive 'boolean' expression.
-<li><a href="#W0719">W0719</a>: A right operand of shift operator is a constant value of the above bit field of latency type.
+<li><a href="#W0719">W0719</a>: A value of the right operand in a shift expression is bigger than the bit size of the left operand underlying type `%s'.
 <li><a href="#W0720">W0720</a>: The value with floating-point type doesn't fit in the range of converted type.
 <li><a href="#W0721">W0721</a>: This volatile integer type doesn't have enough size to keep pointer value.
 <li><a href="#W0722">W0722</a>: A value of signed statement is overflow.
@@ -3000,8 +3000,8 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
 <li><a href="#W1048">W1048</a>: The multi byte string literal is an implementation defined value.
 <li><a href="#W1049">W1049</a>: The result of conversion to signed integer type in integer expression might not be expressed by a signed type.
 <li><a href="#W1050">W1050</a>: The result of conversion to signed integer type in integer expression is not express by a signed type.
-<li><a href="#W1051">W1051</a>: The result of arithmetic operation in unsigned type is going around 0 by overflow.
-<li><a href="#W1052">W1052</a>: The result of arithmetic operation in unsigned type can be going around by overflow.
+<li><a href="#W1051">W1051</a>: The result of unsigned arithmetic expression typed `%s' is going around 0 by overflow.
+<li><a href="#W1052">W1052</a>: The result of unsigned arithmetic expression typed `%s' can be going around by overflow.
 <li><a href="#W1053">W1053</a>: A numeric constants is passed to an actual argument which formal argument is enumeration type.
 <li><a href="#W1054">W1054</a>: A non enumeration type expression is substituted for the enumeration type.
 <li><a href="#W1055">W1055</a>: A non enumeration type expression is returned from the function which return value is enumeration type.
@@ -5852,7 +5852,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.74.1 Message body</h4>
-<p>A monadic operator `-' is used operand which the latency type is a unsigned operand.
+<p>Unary operator `-' is applied to an operand whose underlying type `%s' is unsigned.
 <h4 class="subsection">6.74.2 Content</h4>
@@ -28677,7 +28677,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.480.1 Message body</h4>
-<p>An implicit type conversion from volatile integer type of compound expression to bigger type.
+<p>A generic integer value of the compound expression typed `%s' is implicitly converted into a new value of bigger type `%s'.
 <h4 class="subsection">6.480.2 Content</h4>
@@ -28714,7 +28714,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.481.1 Message body</h4>
-<p>Cast from compound expression of volatile integer type to bigger type.
+<p>A generic integer value of the compound expression typed `%s' is explicitly converted into a new value of bigger type `%s'.
 <h4 class="subsection">6.481.2 Content</h4>
@@ -30824,7 +30824,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.529.4 Related message</h4>
      <ul>
-<li><a href="#W0650">W0650</a> A right operand value of shift operator is much bigger than the bit size represented in left operand type. This result is undefined.
+<li><a href="#W0650">W0650</a> A value of the right operand in a shift expression is bigger than the bit size of the left operand type `%s'. This result is undefined.
 </ul>
 <h4 class="subsection">6.529.5 Since</h4>
@@ -30846,7 +30846,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.530.1 Message body</h4>
-<p>A right operand value of shift operator is much bigger than the bit size represented in left operand type. This result is undefined.
+<p>A value of the right operand in a shift expression is bigger than the bit size of the left operand type `%s'. This result is undefined.
 <h4 class="subsection">6.530.2 Content</h4>
@@ -34308,7 +34308,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.592.1 Message body</h4>
-<p>A right operand of shift operator is a constant value of the above bit field of latency type.
+<p>A value of the right operand in a shift expression is bigger than the bit size of the left operand underlying type `%s'.
 <h4 class="subsection">6.592.2 Content</h4>
@@ -39689,8 +39689,8 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
      <ul>
 <li><a href="#W1050">W1050</a> The result of conversion to signed integer type in integer expression is not express by a signed type.
-<li><a href="#W1051">W1051</a> The result of arithmetic operation in unsigned type is going around 0 by overflow.
-<li><a href="#W1052">W1052</a> The result of arithmetic operation in unsigned type can be going around by overflow.
+<li><a href="#W1051">W1051</a> The result of unsigned arithmetic expression typed `%s' is going around 0 by overflow.
+<li><a href="#W1052">W1052</a> The result of unsigned arithmetic expression typed `%s' can be going around by overflow.
 </ul>
 <h4 class="subsection">6.713.5 Since</h4>
@@ -39742,8 +39742,8 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
      <ul>
 <li><a href="#W1049">W1049</a> The result of conversion to signed integer type in integer expression might not be expressed by a signed type.
-<li><a href="#W1051">W1051</a> The result of arithmetic operation in unsigned type is going around 0 by overflow.
-<li><a href="#W1052">W1052</a> The result of arithmetic operation in unsigned type can be going around by overflow.
+<li><a href="#W1051">W1051</a> The result of unsigned arithmetic expression typed `%s' is going around 0 by overflow.
+<li><a href="#W1052">W1052</a> The result of unsigned arithmetic expression typed `%s' can be going around by overflow.
 </ul>
 <h4 class="subsection">6.714.5 Since</h4>
@@ -39765,7 +39765,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.715.1 Message body</h4>
-<p>The result of arithmetic operation in unsigned type is going around 0 by overflow.
+<p>The result of unsigned arithmetic expression typed `%s' is going around 0 by overflow.
 <h4 class="subsection">6.715.2 Content</h4>
@@ -39788,7 +39788,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
      <ul>
 <li><a href="#W1049">W1049</a> The result of conversion to signed integer type in integer expression might not be expressed by a signed type.
 <li><a href="#W1050">W1050</a> The result of conversion to signed integer type in integer expression is not express by a signed type.
-<li><a href="#W1052">W1052</a> The result of arithmetic operation in unsigned type can be going around by overflow.
+<li><a href="#W1052">W1052</a> The result of unsigned arithmetic expression typed `%s' can be going around by overflow.
 </ul>
 <h4 class="subsection">6.715.5 Since</h4>
@@ -39810,7 +39810,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.716.1 Message body</h4>
-<p>The result of arithmetic operation in unsigned type can be going around by overflow.
+<p>The result of unsigned arithmetic expression typed `%s' can be going around by overflow.
 <h4 class="subsection">6.716.2 Content</h4>
@@ -39833,7 +39833,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
      <ul>
 <li><a href="#W1049">W1049</a> The result of conversion to signed integer type in integer expression might not be expressed by a signed type.
 <li><a href="#W1050">W1050</a> The result of conversion to signed integer type in integer expression is not express by a signed type.
-<li><a href="#W1051">W1051</a> The result of arithmetic operation in unsigned type is going around 0 by overflow.
+<li><a href="#W1051">W1051</a> The result of unsigned arithmetic expression typed `%s' is going around 0 by overflow.
 </ul>
 <h4 class="subsection">6.716.5 Since</h4>
@@ -41074,7 +41074,7 @@ void func(void)
             return; /* W9001: Control never reaches here! */
         }
         /*
-         * ISO standard saids;
+         * ISO standard says;
          *   Usual Arithmetic Conversion performed before evaluating
          *   the expression "i &lt; ui".
          * Usual Arithmetic Conversion makes "i &lt; ui" into

data/share/doc/users_guide_en.texi CHANGED Viewed

@@ -2,7 +2,7 @@
 @setfilename users_guide_en.info
 @documentlanguage en
 @documentencoding utf-8
-@settitle AdLint 2.6.0 User's Guide
+@settitle AdLint 2.6.2 User's Guide
 @copying
 Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
@@ -1407,7 +1407,7 @@ File, message file}.
 @tab
 array of string
 @tab
-@b{This item has no effect on AdLint 2.6.0, yet.}
+@b{This item has no effect on AdLint 2.6.2, yet.}
 If a directory path is specified, AdLint will output warning messages about
 source files located under the specified directory.
@@ -1421,7 +1421,7 @@ the target source files such as system headers or 3rd-party library headers.
 @tab
 array of string
 @tab
-@b{This item has no effect on AdLint 2.6.0, yet.}
+@b{This item has no effect on AdLint 2.6.2, yet.}
 If a directory path is specified, AdLint will suppress warning messages about
 source files located under the specified directory.
@@ -1433,7 +1433,7 @@ source files located under the specified directory.
 @tab
 boolean
 @tab
-@b{This item has no effect on AdLint 2.6.0, yet.}
+@b{This item has no effect on AdLint 2.6.2, yet.}
 This item enables code check selection by annotations in the target source
 files.
@@ -1447,7 +1447,7 @@ 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.0, yet.}
+@b{This item has no effect on AdLint 2.6.2, yet.}
 This item represents excluding code checks by its message categories.
 @item 7
@@ -1458,7 +1458,7 @@ This item represents excluding code checks by its message categories.
 @tab
 regexp string
 @tab
-@b{This item has no effect on AdLint 2.6.0, yet.}
+@b{This item has no effect on AdLint 2.6.2, yet.}
 This item represents excluding code checks by its message severities.
 @item 8
@@ -1469,7 +1469,7 @@ 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.0, yet.}
+@b{This item has no effect on AdLint 2.6.2, yet.}
 This item represents excluding code checks by its message ID.
@@ -1483,7 +1483,7 @@ 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.0, yet.}
+@b{This item has no effect on AdLint 2.6.2, yet.}
 This item represents messages which is excluded by settings of @code{exclusion}
 section but will be used by AdLint.
@@ -2391,7 +2391,7 @@ context_line (in case of @ref{message_traits:message_with_class, message_with_cl
 * W0079::This array cannot keep final character `\0' which initial value of string literal.
 * W0080::A global object which const qualified is defined without explicitly initialized.
 * W0081::A monadic operator`-' becomes unsigned type if it use 'unsigned int' type, 'unsigned long' type or 'unsigned long' type operand.
-* W0082::A monadic operator `-' is used operand which the latency type is a unsigned operand.
+* W0082::Unary operator `-' is applied to an operand whose underlying type `%s' is unsigned.
 * W0084::Left operand of this comma operator`,' doesn't described the statement which has side-effects.
 * W0085::This statement doesn't have side-effects. It is highly possible that it having error.
 * W0086::Second or third operand is verbose statement which doesn't have side-effects in ternary operator (conditional operator).
@@ -2797,8 +2797,8 @@ context_line (in case of @ref{message_traits:message_with_class, message_with_cl
 * W0575::The character except for basic source character is used in the string literal.
 * W0576::The character except for basic source character is used in the comment of source file `%s'.
 * W0577::The character except for basic source character is used in preprocessing directive of source file `%s'.
-* W0578::An implicit type conversion from volatile integer type of compound expression to bigger type.
-* W0579::Cast from compound expression of volatile integer type to bigger type.
+* W0578::A generic integer value of the compound expression typed `%s' is implicitly converted into a new value of bigger type `%s'.
+* W0579::A generic integer value of the compound expression typed `%s' is explicitly converted into a new value of bigger type `%s'.
 * W0580::An address of local static variable is substituted for a pointer which has a wider scope.
 * W0581::The number or type of actual argument is different from the past.
 * W0582::The number or type of actual argument is different from the function prototype declaration at the following.
@@ -2847,7 +2847,7 @@ context_line (in case of @ref{message_traits:message_with_class, message_with_cl
 * W0645::'void' type cannot use in the type of formal argument.
 * W0646::A normal string literal and a wide string literal are contiguous.
 * W0649::A right operand value of shift operand is negative constant value. This result is undefined.
-* W0650::A right operand value of shift operator is much bigger than the bit size represented in left operand type. This result is undefined.
+* W0650::A value of the right operand in a shift expression is bigger than the bit size of the left operand type `%s'. This result is undefined.
 * W0653::The initial value of an array, structure or union is not enclosed by `@{@}'.
 * W0654::The initializer of structure or union must the value of the same structure type or union type.
 * W0655::This is bit field statement which the size is undefined.
@@ -2909,7 +2909,7 @@ context_line (in case of @ref{message_traits:message_with_class, message_with_cl
 * W0716::A bit operator or both sides operand of arithmetic operator is a substantive 'boolean' expression.
 * W0717::A bit operator or left side operand of arithmetic operator is a substantive 'boolean' expression.
 * W0718::A bit operator or right side operand of arithmetic operator is a substantive 'boolean' expression.
-* W0719::A right operand of shift operator is a constant value of the above bit field of latency type.
+* W0719::A value of the right operand in a shift expression is bigger than the bit size of the left operand underlying type `%s'.
 * W0720::The value with floating-point type doesn't fit in the range of converted type.
 * W0721::This volatile integer type doesn't have enough size to keep pointer value.
 * W0722::A value of signed statement is overflow.
@@ -3032,8 +3032,8 @@ context_line (in case of @ref{message_traits:message_with_class, message_with_cl
 * W1048::The multi byte string literal is an implementation defined value.
 * W1049::The result of conversion to signed integer type in integer expression might not be expressed by a signed type.
 * W1050::The result of conversion to signed integer type in integer expression is not express by a signed type.
-* W1051::The result of arithmetic operation in unsigned type is going around 0 by overflow.
-* W1052::The result of arithmetic operation in unsigned type can be going around by overflow.
+* W1051::The result of unsigned arithmetic expression typed `%s' is going around 0 by overflow.
+* W1052::The result of unsigned arithmetic expression typed `%s' can be going around by overflow.
 * W1053::A numeric constants is passed to an actual argument which formal argument is enumeration type.
 * W1054::A non enumeration type expression is substituted for the enumeration type.
 * W1055::A non enumeration type expression is returned from the function which return value is enumeration type.
@@ -5296,7 +5296,7 @@ None.
 @subsection Message body
-A monadic operator `-' is used operand which the latency type is a unsigned operand.
+Unary operator `-' is applied to an operand whose underlying type `%s' is unsigned.
 @subsection Content
@@ -24893,7 +24893,7 @@ Under construction.
 @subsection Message body
-An implicit type conversion from volatile integer type of compound expression to bigger type.
+A generic integer value of the compound expression typed `%s' is implicitly converted into a new value of bigger type `%s'.
 @subsection Content
@@ -24922,7 +24922,7 @@ None.
 @subsection Message body
-Cast from compound expression of volatile integer type to bigger type.
+A generic integer value of the compound expression typed `%s' is explicitly converted into a new value of bigger type `%s'.
 @subsection Content
@@ -26657,7 +26657,7 @@ int foo(int i)
 @subsection Related message
 @itemize
-@item @ref{W0650} A right operand value of shift operator is much bigger than the bit size represented in left operand type. This result is undefined.
+@item @ref{W0650} A value of the right operand in a shift expression is bigger than the bit size of the left operand type `%s'. This result is undefined.
 @end itemize
 @subsection Since
@@ -26670,7 +26670,7 @@ int foo(int i)
 @subsection Message body
-A right operand value of shift operator is much bigger than the bit size represented in left operand type. This result is undefined.
+A value of the right operand in a shift expression is bigger than the bit size of the left operand type `%s'. This result is undefined.
 @subsection Content
@@ -29640,7 +29640,7 @@ int func(int a, int b, int c)
 @subsection Message body
-A right operand of shift operator is a constant value of the above bit field of latency type.
+A value of the right operand in a shift expression is bigger than the bit size of the left operand underlying type `%s'.
 @subsection Content
@@ -34062,8 +34062,8 @@ void func(unsigned int ui)
 @itemize
 @item @ref{W1050} The result of conversion to signed integer type in integer expression is not express by a signed type.
-@item @ref{W1051} The result of arithmetic operation in unsigned type is going around 0 by overflow.
-@item @ref{W1052} The result of arithmetic operation in unsigned type can be going around by overflow.
+@item @ref{W1051} The result of unsigned arithmetic expression typed `%s' is going around 0 by overflow.
+@item @ref{W1052} The result of unsigned arithmetic expression typed `%s' can be going around by overflow.
 @end itemize
 @subsection Since
@@ -34108,8 +34108,8 @@ void func(unsigned int ui)
 @itemize
 @item @ref{W1049} The result of conversion to signed integer type in integer expression might not be expressed by a signed type.
-@item @ref{W1051} The result of arithmetic operation in unsigned type is going around 0 by overflow.
-@item @ref{W1052} The result of arithmetic operation in unsigned type can be going around by overflow.
+@item @ref{W1051} The result of unsigned arithmetic expression typed `%s' is going around 0 by overflow.
+@item @ref{W1052} The result of unsigned arithmetic expression typed `%s' can be going around by overflow.
 @end itemize
 @subsection Since
@@ -34122,7 +34122,7 @@ void func(unsigned int ui)
 @subsection Message body
-The result of arithmetic operation in unsigned type is going around 0 by overflow.
+The result of unsigned arithmetic expression typed `%s' is going around 0 by overflow.
 @subsection Content
@@ -34146,7 +34146,7 @@ unsigned int func(unsigned int ui)
 @itemize
 @item @ref{W1049} The result of conversion to signed integer type in integer expression might not be expressed by a signed type.
 @item @ref{W1050} The result of conversion to signed integer type in integer expression is not express by a signed type.
-@item @ref{W1052} The result of arithmetic operation in unsigned type can be going around by overflow.
+@item @ref{W1052} The result of unsigned arithmetic expression typed `%s' can be going around by overflow.
 @end itemize
 @subsection Since
@@ -34159,7 +34159,7 @@ unsigned int func(unsigned int ui)
 @subsection Message body
-The result of arithmetic operation in unsigned type can be going around by overflow.
+The result of unsigned arithmetic expression typed `%s' can be going around by overflow.
 @subsection Content
@@ -34183,7 +34183,7 @@ unsigned int func(unsigned int a, unsigned int b)
 @itemize
 @item @ref{W1049} The result of conversion to signed integer type in integer expression might not be expressed by a signed type.
 @item @ref{W1050} The result of conversion to signed integer type in integer expression is not express by a signed type.
-@item @ref{W1051} The result of arithmetic operation in unsigned type is going around 0 by overflow.
+@item @ref{W1051} The result of unsigned arithmetic expression typed `%s' is going around 0 by overflow.
 @end itemize
 @subsection Since
@@ -35217,7 +35217,7 @@ void func(void)
             return; /* W9001: Control never reaches here! */
         }
         /*
-         * ISO standard saids;
+         * ISO standard says;
          *   Usual Arithmetic Conversion performed before evaluating
          *   the expression "i < ui".
          * Usual Arithmetic Conversion makes "i < ui" into