RubyGems - adlint - Versions diffs - 1.6.0 → 1.8.0 - Mend

adlint 1.6.0 → 1.8.0

Files changed (50) hide show

data/ChangeLog +389 -37
data/INSTALL +3 -0
data/MANIFEST +7 -0
data/NEWS +50 -10
data/etc/conf.d/i686-mingw/cinit-gcc_4.6.1.erb +1 -1
data/etc/mesg.d/en_US/messages.yml +7 -7
data/etc/mesg.d/ja_JP/messages.yml +4 -4
data/lib/adlint/c/branch.rb +4 -4
data/lib/adlint/c/code.rb +11 -13
data/lib/adlint/c/enum.rb +0 -2
data/lib/adlint/c/environ.rb +13 -7
data/lib/adlint/c/expr.rb +5 -1
data/lib/adlint/c/interp.rb +10 -6
data/lib/adlint/c/mediator.rb +1 -0
data/lib/adlint/c/message.rb +294 -111
data/lib/adlint/c/message_shima.rb +63 -0
data/lib/adlint/c/metric.rb +25 -13
data/lib/adlint/c/object.rb +168 -31
data/lib/adlint/c/parser.rb +3 -3
data/lib/adlint/c/phase.rb +20 -3
data/lib/adlint/c/syntax.rb +175 -17
data/lib/adlint/c/value.rb +199 -126
data/lib/adlint/cpp/asm.rb +4 -4
data/lib/adlint/cpp/constexpr.rb +1 -1
data/lib/adlint/cpp/eval.rb +6 -4
data/lib/adlint/cpp/message.rb +100 -7
data/lib/adlint/cpp/phase.rb +12 -1
data/lib/adlint/cpp/source.rb +2 -2
data/lib/adlint/cpp/subst.rb +2 -4
data/lib/adlint/lang.rb +5 -3
data/lib/adlint/ld/metric.rb +1 -1
data/lib/adlint/version.rb +2 -2
data/share/demo/Makefile +5 -0
data/share/demo/bad_include/bad_include.c +13 -0
data/share/demo/bad_include/test'1'.h +0 -0
data/share/demo/bad_include/test'2'.h +0 -0
data/share/demo/incomplete_ifelse/incomplete_ifelse.c +29 -0
data/share/demo/inline_asm/inline_asm.c +25 -0
data/share/demo/invalid_call/invalid_call.c +12 -4
data/share/demo/logical_expr/logical_expr.c +73 -0
data/share/demo/register_vars/register_vars.c +12 -0
data/share/demo/typedef_each_src/typedef_each_src.c +9 -0
data/share/demo/wrap_around/wrap_around.c +17 -0
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 +137 -102
data/share/doc/users_guide_en.texi +121 -86
data/share/doc/users_guide_ja.html +118 -91
data/share/doc/users_guide_ja.texi +103 -76
metadata +10 -3

data/share/doc/users_guide_en.html CHANGED Viewed

@@ -1,8 +1,8 @@
 <html lang="en">
 <head>
-<title>AdLint 1.6.0 User's Guide</title>
+<title>AdLint 1.8.0 User's Guide</title>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
-<meta name="description" content="AdLint 1.6.0 User's Guide">
+<meta name="description" content="AdLint 1.8.0 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 1.6.0 User's Guide</h1>
+<h1 class="settitle">AdLint 1.8.0 User's Guide</h1>
 <div class="node">
 <a name="Top"></a>
 <p><hr>
@@ -2533,7 +2533,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
 <li><a href="#W0535">W0535</a>: A comma operator is used in a 'for' statement.
 <li><a href="#W0538">W0538</a>: This 'default' label is not final label in this 'switch' statement.
 <li><a href="#W0540">W0540</a>: A function which the blank formal argument list is declared. `void' is omitted.
-<li><a href="#W0541">W0541</a>: This function mixed weaves C code with inline assembly code.
+<li><a href="#W0541">W0541</a>: Inline assembly code should be encapsulated by macro.
 <li><a href="#W0542">W0542</a>: There are identifiers in the part of formal argument in a function declaration.
 <li><a href="#W0543">W0543</a>: The identifier of formal argument in this function declaration is different from the past declaration of it.
 <li><a href="#W0544">W0544</a>: The identifier of formal argument in the function declaration is different from the declaration of function pointer.
@@ -2598,8 +2598,8 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
 <li><a href="#W0627">W0627</a>: There is a dead letter (only `;') in the following other code.
 <li><a href="#W0628">W0628</a>: A function `%s' is defined, but this is not used in this project.
 <li><a href="#W0629">W0629</a>: A static function `%s()' is not used in this translation unit.
-<li><a href="#W0632">W0632</a>: If `'' or `/*' use in `#include &lt;%s&gt;', it will unspecify behavior.
-<li><a href="#W0633">W0633</a>: If `'' or `/*' use in `#include "%s"', it will unspecify behavior.
+<li><a href="#W0632">W0632</a>: Using ' or " characters in `#include &lt;%s&gt;' directive makes undefined behavior.
+<li><a href="#W0633">W0633</a>: Using ' character in `#include "%s"' directive makes undefined behavior.
 <li><a href="#W0634">W0634</a>: `\' is used in `#include' line. `/' is recommended for the path delimiter.
 <li><a href="#W0635">W0635</a>: The type doesn't match with %sth conversion specifier and the corresponding actual argument.
 <li><a href="#W0636">W0636</a>: An actual argument doesn't exist correspond to %sth conversion specifier.
@@ -2650,9 +2650,9 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
 <li><a href="#W0685">W0685</a>: A character preceding the `-' in scanset o `[]' is bigger than a character following the `-'.
 <li><a href="#W0686">W0686</a>: The same characters are described in scanset (characters enclosed by `[]').
 <li><a href="#W0687">W0687</a>: #undef is using to delete #defined operator.
-<li><a href="#W0688">W0688</a>: There is no line number in 1 to 32767 ranges after '#line'.
-<li><a href="#W0689">W0689</a>: #line command syntax doesn't match `#line volatile integer constant value "string"'.
-<li><a href="#W0690">W0690</a>: This is not line number after '#line' value'.
+<li><a href="#W0688">W0688</a>: There is no line number in 1 to 32767 ranges after #line directive.
+<li><a href="#W0689">W0689</a>: #line directive syntax doesn't match `#line integer constant \"string\"'.
+<li><a href="#W0690">W0690</a>: No line number after #line directive.
 <li><a href="#W0691">W0691</a>: The result of `##' operator is not valid preprocessing token.
 <li><a href="#W0692">W0692</a>: A function-like macro doesn't given an actual argument.
 <li><a href="#W0693">W0693</a>: A function-like macro is called by actual argument which its definition is smaller.
@@ -27187,7 +27187,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.449.1 Message body</h4>
-<p>This function mixed weaves C code with inline assembly code.
+<p>Inline assembly code should be encapsulated by macro.
 <h4 class="subsection">6.449.2 Content</h4>
@@ -27195,7 +27195,9 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.449.3 Sample code</h4>
-<pre class="verbatim">void foo(int arg1, int *arg2, int arg3)
+<pre class="verbatim">#define ASM_CODE asm("movl %ecx, %eax")
+void foo(int arg1, int *arg2, int arg3)
 {
     asm("movl %ecx, %eax"); /* W0541 */
     __asm__("movl %ecx, (%eax)"); /* W0541 */
@@ -27204,6 +27206,8 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
         xorl eax, eax
     }
+    ASM_CODE; /* OK */
     __asm__ volatile ( /* W0541 */
             "int $0x80"
             : "=a" (r)
@@ -29288,16 +29292,15 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.498.2 Content</h4>
-<p><b>This message will be supported in AdLint 2.0.0</b>
-   <p>Under construction.
+<p>Under construction.
 <h4 class="subsection">6.498.3 Sample code</h4>
-<pre class="verbatim">int a = func();
-if (a &lt; 0) {
-    unsigned int b = a; /* W0607 */
+<pre class="verbatim">void func(int a)
+{
+    if (a &lt; 0) {
+        unsigned int b = (unsigned int) a; /* W0607 */
+    }
 }
 </pre>
@@ -29309,7 +29312,7 @@ if (a &lt; 0) {
 <h4 class="subsection">6.498.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.8.0
 <div class="node">
 <a name="W0608"></a>
@@ -29330,13 +29333,18 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.499.2 Content</h4>
-<p><b>This message will be supported in AdLint 2.0.0</b>
-   <p>Under construction.
+<p>Under construction.
 <h4 class="subsection">6.499.3 Sample code</h4>
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">void fuu(int a)
+{
+    unsigned char b;
+    if (a &lt; 256) {
+        b = (unsigned char) a; /* W0608 */
+    }
+}
 </pre>
 <h4 class="subsection">6.499.4 Related message</h4>
@@ -29347,7 +29355,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.499.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.8.0
 <div class="node">
 <a name="W0609"></a>
@@ -29762,13 +29770,18 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.509.2 Content</h4>
-<p><b>This message will be supported in AdLint 2.0.0</b>
-   <p>Under construction.
+<p>Under construction.
 <h4 class="subsection">6.509.3 Sample code</h4>
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">typedef int *INT_PTR; /* W0625 */
+extern INT_PTR func(void);
+INT_PTR func(void)
+{
+    return 0;
+}
 </pre>
 <h4 class="subsection">6.509.4 Related message</h4>
@@ -29777,7 +29790,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.509.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.8.0
 <div class="node">
 <a name="W0626"></a>
@@ -29963,29 +29976,27 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.514.1 Message body</h4>
-<p>If `&rdquo; or `/*' use in `#include &lt;%s&gt;', it will unspecify behavior.
+<p>Using ' or " characters in `<code>#include &lt;%s&gt;</code>' directive makes undefined behavior.
 <h4 class="subsection">6.514.2 Content</h4>
-<p><b>This message will be supported in AdLint 2.0.0</b>
-   <p>Under construction.
+<p>Under construction.
 <h4 class="subsection">6.514.3 Sample code</h4>
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">#include &lt;NG'_header.h> /* W0632 */
 </pre>
 <h4 class="subsection">6.514.4 Related message</h4>
      <ul>
-<li><a href="#W0633">W0633</a> If `&rdquo; or `/*' use in `#include "%s"', it will unspecify behavior.
+<li><a href="#W0633">W0633</a> Using ' character in `#include "%s"' directive makes undefined behavior.
 <li><a href="#W0634">W0634</a> `\' is used in `#include' line. `/' is recommended for the path delimiter.
 </ul>
 <h4 class="subsection">6.514.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.8.0
 <div class="node">
 <a name="W0633"></a>
@@ -30002,29 +30013,27 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.515.1 Message body</h4>
-<p>If `&rdquo; or `/*' use in `#include \"%s\"', it will unspecify behavior.
+<p>Using ' character in `<code>#include "%s"</code>' directive makes undefined behavior.
 <h4 class="subsection">6.515.2 Content</h4>
-<p><b>This message will be supported in AdLint 2.0.0</b>
-   <p>Under construction.
+<p>Under construction.
 <h4 class="subsection">6.515.3 Sample code</h4>
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">#include "NG'_header.h" /* W0633 */
 </pre>
 <h4 class="subsection">6.515.4 Related message</h4>
      <ul>
-<li><a href="#W0632">W0632</a> If `&rdquo; or `/*' use in `#include &lt;%s&gt;', it will unspecify behavior.
+<li><a href="#W0632">W0632</a> Using ' or " characters in `#include &lt;%s&gt;' directive makes undefined behavior.
 <li><a href="#W0634">W0634</a> `\' is used in `#include' line. `/' is recommended for the path delimiter.
 </ul>
 <h4 class="subsection">6.515.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.8.0
 <div class="node">
 <a name="W0634"></a>
@@ -30045,25 +30054,24 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.516.2 Content</h4>
-<p><b>This message will be supported in AdLint 2.0.0</b>
-   <p>Under construction.
+<p>Under construction.
 <h4 class="subsection">6.516.3 Sample code</h4>
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">#include "..\ng\header.h" /* W0634 */
+#include "..\\ng\\header.h" /* W0634 */
 </pre>
 <h4 class="subsection">6.516.4 Related message</h4>
      <ul>
-<li><a href="#W0632">W0632</a> If `&rdquo; or `/*' use in `#include &lt;%s&gt;', it will unspecify behavior.
-<li><a href="#W0633">W0633</a> If `&rdquo; or `/*' use in `#include "%s"', it will unspecify behavior.
+<li><a href="#W0632">W0632</a> Using ' or " characters in `#include &lt;%s&gt;' directive makes undefined behavior.
+<li><a href="#W0633">W0633</a> Using ' character in `#include "%s"' directive makes undefined behavior.
 </ul>
 <h4 class="subsection">6.516.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.8.0
 <div class="node">
 <a name="W0635"></a>
@@ -30375,14 +30383,17 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.524.2 Content</h4>
-<p><b>This message will be supported in AdLint 2.0.0</b>
-   <p>Under construction.
+<p>Under construction.
 <h4 class="subsection">6.524.3 Sample code</h4>
-<pre class="verbatim">register int arr1[3]; /* W0642 */
-int* p = arr1;
+<pre class="verbatim">void func(void)
+{
+    register int a[3];
+    int *p1 = a; /* W0642 */
+    int *p2 = &amp;a[1]; /* W0642 */
+}
 </pre>
 <h4 class="subsection">6.524.4 Related message</h4>
@@ -30396,7 +30407,7 @@ int* p = arr1;
 <h4 class="subsection">6.524.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.8.0
 <div class="node">
 <a name="W0643"></a>
@@ -32995,9 +33006,9 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.565.4 Related message</h4>
      <ul>
-<li><a href="#W0688">W0688</a> There is no line number in 1 to 32767 ranges after '#line'.
-<li><a href="#W0689">W0689</a> #line command syntax doesn't match `#line volatile integer constant value "string"'.
-<li><a href="#W0690">W0690</a> This is not line number after '#line' value'.
+<li><a href="#W0688">W0688</a> There is no line number in 1 to 32767 ranges after #line directive.
+<li><a href="#W0689">W0689</a> #line directive syntax doesn't match `#line integer constant \"string\"'.
+<li><a href="#W0690">W0690</a> No line number after #line directive.
 <li><a href="#W0691">W0691</a> The result of `##' operator is not valid preprocessing token.
 </ul>
@@ -33020,7 +33031,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.566.1 Message body</h4>
-<p>There is no line number in 1 to 32767 ranges after '#line'
+<p>There is no line number in 1 to 32767 ranges after #line directive.
 <h4 class="subsection">6.566.2 Content</h4>
@@ -33035,8 +33046,8 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
      <ul>
 <li><a href="#W0687">W0687</a> #undef is using to delete #defined operator.
-<li><a href="#W0689">W0689</a> #line command syntax doesn't match `#line volatile integer constant value "string"'.
-<li><a href="#W0690">W0690</a> This is not line number after '#line' value'.
+<li><a href="#W0689">W0689</a> #line directive syntax doesn't match `#line integer constant \"string\"'.
+<li><a href="#W0690">W0690</a> No line number after #line directive.
 <li><a href="#W0691">W0691</a> The result of `##' operator is not valid preprocessing token.
 </ul>
@@ -33059,7 +33070,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.567.1 Message body</h4>
-<p>#line command syntax doesn't match `#line volatile integer constant value \"string\"'.
+<p>#line directive syntax doesn't match `#line integer constant \"string\"'.
 <h4 class="subsection">6.567.2 Content</h4>
@@ -33077,8 +33088,8 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
      <ul>
 <li><a href="#W0687">W0687</a> #undef is using to delete #defined operator.
-<li><a href="#W0688">W0688</a> There is no line number in 1 to 32767 ranges after '#line'.
-<li><a href="#W0690">W0690</a> This is not line number after '#line' value'.
+<li><a href="#W0688">W0688</a> There is no line number in 1 to 32767 ranges after #line directive.
+<li><a href="#W0690">W0690</a> No line number after #line directive.
 <li><a href="#W0691">W0691</a> The result of `##' operator is not valid preprocessing token.
 </ul>
@@ -33101,7 +33112,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.568.1 Message body</h4>
-<p>This is not line number after '#line' value.'
+<p>No line number after #line directive.
 <h4 class="subsection">6.568.2 Content</h4>
@@ -33117,8 +33128,8 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
      <ul>
 <li><a href="#W0687">W0687</a> #undef is using to delete #defined operator.
-<li><a href="#W0688">W0688</a> There is no line number in 1 to 32767 ranges after '#line'.
-<li><a href="#W0689">W0689</a> #line command syntax doesn't match `#line volatile integer constant value "string"'.
+<li><a href="#W0688">W0688</a> There is no line number in 1 to 32767 ranges after #line directive.
+<li><a href="#W0689">W0689</a> #line directive syntax doesn't match `#line integer constant \"string\"'.
 <li><a href="#W0691">W0691</a> The result of `##' operator is not valid preprocessing token.
 </ul>
@@ -33158,9 +33169,9 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
      <ul>
 <li><a href="#W0687">W0687</a> #undef is using to delete #defined operator.
-<li><a href="#W0688">W0688</a> There is no line number in 1 to 32767 ranges after '#line'.
-<li><a href="#W0689">W0689</a> #line command syntax doesn't match `#line volatile integer constant value "string"'.
-<li><a href="#W0690">W0690</a> This is not line number after '#line' value'.
+<li><a href="#W0688">W0688</a> There is no line number in 1 to 32767 ranges after #line directive.
+<li><a href="#W0689">W0689</a> #line directive syntax doesn't match `#line integer constant \"string\"'.
+<li><a href="#W0690">W0690</a> No line number after #line directive.
 </ul>
 <h4 class="subsection">6.569.5 Since</h4>
@@ -33752,13 +33763,14 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.584.2 Content</h4>
-<p><b>This message will be supported in AdLint 2.0.0</b>
-   <p>Under construction.
+<p>Under construction.
 <h4 class="subsection">6.584.3 Sample code</h4>
-<pre class="verbatim">x = (a + b) > (c > d); /* W0711 */
+<pre class="verbatim">int func(int a, int b, int c, int d)
+{
+    return (a + b) > (c > d); /* W0711 */
+}
 </pre>
 <h4 class="subsection">6.584.4 Related message</h4>
@@ -33770,7 +33782,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.584.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.8.0
 <div class="node">
 <a name="W0712"></a>
@@ -33791,13 +33803,14 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.585.2 Content</h4>
-<p><b>This message will be supported in AdLint 2.0.0</b>
-   <p>Under construction.
+<p>Under construction.
 <h4 class="subsection">6.585.3 Sample code</h4>
-<pre class="verbatim">x = (a > b) > (c + d); /* W0712 */
+<pre class="verbatim">int func(int a, int b, int c, int d)
+{
+    return (a > b) > (c + d); /* W0712 */
+}
 </pre>
 <h4 class="subsection">6.585.4 Related message</h4>
@@ -33809,7 +33822,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.585.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.8.0
 <div class="node">
 <a name="W0713"></a>
@@ -33830,13 +33843,14 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.586.2 Content</h4>
-<p><b>This message will be supported in AdLint 2.0.0</b>
-   <p>Under construction.
+<p>Under construction.
 <h4 class="subsection">6.586.3 Sample code</h4>
-<pre class="verbatim">x = (a > b) > (c > d); /* W0713 */
+<pre class="verbatim">int func(int a, int b, int c, int d)
+{
+    return (a > b) > (c > d); /* W0713 */
+}
 </pre>
 <h4 class="subsection">6.586.4 Related message</h4>
@@ -33848,7 +33862,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.586.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.8.0
 <div class="node">
 <a name="W0714"></a>
@@ -33869,13 +33883,14 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.587.2 Content</h4>
-<p><b>This message will be supported in AdLint 2.0.0</b>
-   <p>Under construction.
+<p>Under construction.
 <h4 class="subsection">6.587.3 Sample code</h4>
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">int func(int a, int b, int c, int d)
+{
+    return (a > b) &amp; (c > d); /* W0714 */
+}
 </pre>
 <h4 class="subsection">6.587.4 Related message</h4>
@@ -33889,7 +33904,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.587.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.8.0
 <div class="node">
 <a name="W0715"></a>
@@ -33910,13 +33925,14 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.588.2 Content</h4>
-<p><b>This message will be supported in AdLint 2.0.0</b>
-   <p>Under construction.
+<p>Under construction.
 <h4 class="subsection">6.588.3 Sample code</h4>
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">int func(int a, int b, int c, int d)
+{
+    return (a > b) | (c > d); /* W0715 */
+}
 </pre>
 <h4 class="subsection">6.588.4 Related message</h4>
@@ -33930,7 +33946,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.588.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.8.0
 <div class="node">
 <a name="W0716"></a>
@@ -34458,7 +34474,7 @@ enum Fruits { APPLE, BANANA, ORANGE };
 void func(void)
 {
     enum Color c;
     c = ORANGE; /* W0729 */
 }
 </pre>
@@ -38254,13 +38270,32 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.684.2 Content</h4>
-<p><b>This message will be supported in AdLint 2.0.0</b>
-   <p>Under construction.
+<p>Under construction.
 <h4 class="subsection">6.684.3 Sample code</h4>
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">#define ASM_CODE asm("movl %ecx, %eax")
+void foo(int arg1, int *arg2, int arg3)
+{
+    asm("movl %ecx, %eax"); /* W0832 */
+    __asm__("movl %ecx, (%eax)"); /* W0832 */
+    asm { /* W0832 */
+        xorl eax, eax
+    }
+    ASM_CODE; /* W0832 */
+    __asm__ volatile ( /* W0832 */
+            "int $0x80"
+            : "=a" (r)
+              "+b" (arg1),
+              "+c" (arg2),
+              "+d" (arg3)
+            : "a" (128)
+            : "memory", "cc");
+}
 </pre>
 <h4 class="subsection">6.684.4 Related message</h4>
@@ -38271,7 +38306,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.684.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.8.0
 <div class="node">
 <a name="W0833"></a>