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

adlint 2.6.0 → 2.6.2

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