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

adlint 1.6.0 → 1.8.0

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 (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>