adlint 1.2.0 → 1.4.0

data/share/demo/incomplete_type/incomplete_type.c

@@ -18,6 +18,8 @@ static int a6[3]();
 static int a7[3](int);
 static int (*a8[3])(long);
 
+extern enum Baz baz1;
+
 void foo(const union Bar *p1, const union Bar * const p2)
 {
     *p1 = *p2;
@@ -46,4 +48,5 @@ void baz(void)
     const void v2;
     int i1;
     const int i2;
+    const enum Baz baz2;
 }

data/share/demo/overflow/overflow.c

@@ -1,7 +1,6 @@
-extern long foo(void);
-extern unsigned long bar(void);
+extern int rand(void);
 
-static void baz(void)
+static void foo(void)
 {
     const int i = rand();
 
@@ -28,10 +27,65 @@ static void baz(void)
     }
 }
 
+extern void *alloc(void);
+
+static void bar(void)
+{
+    const signed char sc1 = (signed char) 127.5;
+    const signed char sc2 = (signed char) 128.5;
+
+    const signed char sc3 = (signed char) -128.5;
+    const signed char sc4 = (signed char) -129.5;
+
+    const unsigned char uc1 = (unsigned char) 255.5;
+    const unsigned char uc2 = (unsigned char) 256.5;
+
+    const unsigned char uc3 = (unsigned char) 0.5;
+    const unsigned char uc4 = (unsigned char) -1.5;
+
+    const int si1 = (int) 1.5e9;
+    const int si2 = (int) 1.5e10;
+
+    const int si3 = (int) -1.5e9;
+    const int si3 = (int) -1.5e10;
+
+    int *data_ptr = (int *) alloc();
+    int (*func_ptr)(void) = (int (*)(void)) alloc();
+
+    const unsigned char uc5 = (unsigned char) data_ptr;
+    const unsigned char uc6 = (unsigned char) func_ptr;
+
+    const unsigned short us1 = (unsigned short) data_ptr;
+    const unsigned short us2 = (unsigned short) func_ptr;
+
+    const unsigned int ui1 = (unsigned int) data_ptr;
+    const unsigned int ui2 = (unsigned int) func_ptr;
+
+    const unsigned long ul1 = (unsigned long) data_ptr;
+    const unsigned long ul2 = (unsigned long) func_ptr;
+
+    const unsigned char uc7 = 255;
+    const unsigned char uc8 = 256;
+
+    const unsigned int ui3 = 4294967295;
+    const unsigned int ui4 = 4294967296;
+
+    const unsigned char a[] = { 255, 256 };
+
+    const signed char sc5 = 127;
+    const signed char sc6 = 128;
+
+    const int si4 = 2147483647;
+    const int si5 = 2147483648;
+}
+
+extern long baz(void);
+extern unsigned long qux(void);
+
 int main(void)
 {
-    const long l = foo();
-    const unsigned long ul = bar();
+    const long l = baz();
+    const unsigned long ul = qux();
     long r;
 
     r = 0x1FFFFFFFL << 1;

data/share/demo/union_type/union_type.c

@@ -11,6 +11,19 @@ union foo {
     unsigned short s;
 };
 
+union bar {
+    unsigned int a;
+    float b;
+};
+
+struct baz {
+    union {
+	unsigned long a;
+	double b;
+    } u;
+    unsigned long a;
+};
+
 int main(void)
 {
     struct event e1;

data/share/demo/unnamed_member/unnamed_member.c

@@ -0,0 +1,13 @@
+struct foo {
+    unsigned int b0:1;
+    unsigned int :1;
+    unsigned int :1;
+    unsigned int b3:1;
+};
+
+struct bar {
+    int;
+    int :1;
+    long;
+    double;
+};

data/share/demo/various_fundef/various_fundef.c

@@ -34,3 +34,46 @@ qux
 {
     return (struct hoge *) i;
 }
+
+extern const int ansi_qualified_func_1(const int);
+const int ansi_qualified_func_1(const int i)
+{
+    return i * 2;
+}
+
+extern const int kandr_qualified_func_1();
+const int kandr_qualified_func_1(i)
+    const int i;
+{
+    return i * 2;
+}
+
+static volatile ansi_qualified_func_2(const int);
+static volatile ansi_qualified_func_2(const int i)
+{
+    return i * 2;
+}
+
+static volatile kandr_qualified_func_2();
+static volatile kandr_qualified_func_2(i)
+    const int i;
+{
+    return i * 2;
+}
+
+const int *ansi_func(const int);
+const int *ansi_func(const int i)
+{
+    static int j;
+    j = i;
+    return &j;
+}
+
+const int *kandr_func();
+const int *kandr_func(i)
+    const int i;
+{
+    static int j;
+    j = i;
+    return &j;
+}

data/share/demo/wrap_around/wrap_around.c

@@ -1,38 +1,112 @@
-static void foo(const unsigned int ui)
+static void foo(const int i, const unsigned int ui)
 {
-    unsigned int r;
+    {
+        int r;
 
-    if (ui > 3000000000U) {
-        r = ui * 5U;
-        r = ui + ui;
+        if (i > 2000000000) {
+            r = i * 5;
+            r = i + i;
+        }
     }
-    else {
-        r = ui - 4000000000U;
+
+    {
+        unsigned int r;
+
+        if (ui > 3000000000U) {
+            r = ui * 5U;
+            r = ui + ui;
+        }
+        else {
+            r = ui - 4000000000U;
+        }
     }
 }
 
-static void bar(const unsigned int ui)
+static void bar(const int i, const unsigned int ui)
 {
-    unsigned int r;
+    {
+        int r;
 
-    if (ui > 1000U) {
-        r = ui * 5U;
-        r = ui + ui;
+        if (i > 1000) {
+            r = i * 5;
+            r = i + i;
+        }
     }
-    else {
-        r = ui - 1000U;
+
+    {
+        unsigned int r;
+
+        if (ui > 1000U) {
+            r = ui * 5U;
+            r = ui + ui;
+        }
+        else {
+            r = ui - 1000U;
+        }
     }
 }
 
-static void baz(const char uc)
+static void baz(const signed char c, const unsigned char uc)
 {
-    unsigned char r;
+    {
+        signed char r;
+
+        if (c > 125) {
+            r = c * 5;
+            r = c + c;
+        }
+    }
 
-    if (uc > 128U) {
-        r = uc * 5U;
-        r = uc + ui;
+    {
+        unsigned char r;
+
+        if (uc > 128U) {
+            r = uc * 5U;
+            r = uc + uc;
+        }
+        else {
+            r = uc - 128U;
+        }
     }
-    else {
-        r = uc - 128U;
+}
+
+static void qux(const unsigned int ui)
+{
+    {
+        const unsigned int ui1 = 3U - 1U;
+        const unsigned int ui2 = 3U - 3U;
+        const unsigned int ui3 = 3U - 5U;
+
+        unsigned int ui4;
+
+        ui4 = 3U - 1U;
+        ui4 = 3U - 3U;
+        ui4 = 3U - 5U;
+
+        ui4 = ui - 1U;
+    }
+
+    {
+        const unsigned int ui1 = 4294967294U + 1U;
+        const unsigned int ui2 = 4294967295U + 1U;
+
+        unsigned int ui3;
+
+        ui3 = 4294967294U + 1U;
+        ui3 = 4294967295U + 1U;
+
+        ui3 = ui + 1U;
+    }
+
+    {
+        const unsigned int ui1 = 2000000000U * 2U;
+        const unsigned int ui2 = 3000000000U * 2U;
+
+        unsigned int ui3;
+
+        ui3 = 2000000000U * 2U;
+        ui3 = 3000000000U * 2U;
+
+        ui3 = ui * 2U;
     }
 }

data/share/doc/developers_guide_ja.html

@@ -1,8 +1,8 @@
 <html lang="ja">
 <head>
-<title>AdLint 1.2.0 開発者ガイド</title>
+<title>AdLint 1.4.0 開発者ガイド</title>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
-<meta name="description" content="AdLint 1.2.0 開発者ガイド">
+<meta name="description" content="AdLint 1.4.0 開発者ガイド">
 <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.2.0 開発者ガイド</h1>
+<h1 class="settitle">AdLint 1.4.0 開発者ガイド</h1>
 <div class="contents">
 <h2>Table of Contents</h2>
 <ul>

data/share/doc/developers_guide_ja.texi

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

data/share/doc/users_guide_en.html

@@ -1,8 +1,8 @@
 <html lang="en">
 <head>
-<title>AdLint 1.2.0 User's Guide</title>
+<title>AdLint 1.4.0 User's Guide</title>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
-<meta name="description" content="AdLint 1.2.0 User's Guide">
+<meta name="description" content="AdLint 1.4.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.2.0 User's Guide</h1>
+<h1 class="settitle">AdLint 1.4.0 User's Guide</h1>
 <div class="node">
 <a name="Top"></a>
 <p><hr>
@@ -2682,7 +2682,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
 <li><a href="#W0722">W0722</a>: A value of signed statement is overflow. 
 <li><a href="#W0723">W0723</a>: A value of signed statement might be overflow. 
 <li><a href="#W0724">W0724</a>: An unrecognized preprocessing directive is ignored by conditional include directive. 
-<li><a href="#W0726">W0726</a>: A function `%s()' which return value is declared as qualified void type , `return statement;' is found. 
+<li><a href="#W0726">W0726</a>: A function `%s()' which return value is declared as qualified void type, `return expression;' is found. 
 <li><a href="#W0727">W0727</a>: The value not part of the enumeration type is used. 
 <li><a href="#W0728">W0728</a>: Other enumeration literal of enumeration type is passed to enumeration literal of formal argument as actual argument. 
 <li><a href="#W0729">W0729</a>: An enumeration literal of the other enumeration type is substituted for enumeration type object. 
@@ -29240,13 +29240,14 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.497.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.497.3 Sample code</h4>
 
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">union UNI { /* W0606 */
+    float a;
+    int b;
+};
 </pre>
 
 <h4 class="subsection">6.497.4 Related message</h4>
@@ -29255,7 +29256,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.497.5 Since</h4>
 
-<p>2.0.0 (planned)
+<p>1.4.0
 
 <div class="node">
 <a name="W0607"></a>
@@ -32975,9 +32976,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.565.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.565.3 Sample code</h4>
 
@@ -32995,7 +32994,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.565.5 Since</h4>
 
-<p>2.0.0 (planned)
+<p>1.4.0
 
 <div class="node">
 <a name="W0688"></a>
@@ -33290,16 +33289,12 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.573.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.573.3 Sample code</h4>
 
 <pre class="verbatim">#undef assert /* W0695 */
-void assert(int a)
-{
-}
+extern void assert(int a);
 </pre>
 
 <h4 class="subsection">6.573.4 Related message</h4>
@@ -33308,7 +33303,7 @@ void assert(int a)
 
 <h4 class="subsection">6.573.5 Since</h4>
 
-<p>2.0.0 (planned)
+<p>1.4.0
 
 <div class="node">
 <a name="W0696"></a>
@@ -33419,13 +33414,14 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.576.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.576.3 Sample code</h4>
 
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">int func(void)
+{
+    return; /* W0698 */
+}
 </pre>
 
 <h4 class="subsection">6.576.4 Related message</h4>
@@ -33438,7 +33434,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.576.5 Since</h4>
 
-<p>2.0.0 (planned)
+<p>1.4.0
 
 <div class="node">
 <a name="W0699"></a>
@@ -33459,13 +33455,14 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.577.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.577.3 Sample code</h4>
 
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">extern func(void)
+{
+    return; /* W0699 */
+}
 </pre>
 
 <h4 class="subsection">6.577.4 Related message</h4>
@@ -33478,7 +33475,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.577.5 Since</h4>
 
-<p>2.0.0 (planned)
+<p>1.4.0
 
 <div class="node">
 <a name="W0700"></a>
@@ -34105,13 +34102,15 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.593.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.593.3 Sample code</h4>
 
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">signed char sc1 = (signed char) 127.5; /* OK */
+signed char sc2 = (signed char) 128.5; /* W0720 */
+
+signed char sc3 = (signed char) -128.5; /* OK */
+signed char sc4 = (signed char) -129.5; /* W0720 */
 </pre>
 
 <h4 class="subsection">6.593.4 Related message</h4>
@@ -34120,7 +34119,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.593.5 Since</h4>
 
-<p>2.0.0 (planned)
+<p>1.4.0
 
 <div class="node">
 <a name="W0721"></a>
@@ -34141,14 +34140,15 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.594.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.594.3 Sample code</h4>
 
-<pre class="verbatim">unsigned char* p;
-unsigned short us = (unsigned short) p; /* W0721 */
+<pre class="verbatim">void func(int *p)
+{
+    /* when short is 16 bit long and pointer is 32 bit long */
+    unsigned short us = (unsigned short) p; /* W0721 */
+}
 </pre>
 
 <h4 class="subsection">6.594.4 Related message</h4>
@@ -34157,7 +34157,7 @@ unsigned short us = (unsigned short) p; /* W0721 */
 
 <h4 class="subsection">6.594.5 Since</h4>
 
-<p>2.0.0 (planned)
+<p>1.4.0
 
 <div class="node">
 <a name="W0722"></a>
@@ -34178,16 +34178,18 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.595.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.595.3 Sample code</h4>
 
-<pre class="verbatim">int func(int a) /* int type is 32 bit long */
+<pre class="verbatim">int func(int a)
 {
-    if (a > 0 &amp;&amp; a &lt; 2147483647) {
-        return a + 1;
+    /* when int is 32 bit long */
+    if (a &lt; 0) {
+        return a + 1; /* OK */
+    }
+    else if (a &lt; 2147483647) {
+        return a + 1; /* OK */
     }
 
     return a + 1; /* W0722 */
@@ -34202,7 +34204,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.595.5 Since</h4>
 
-<p>2.0.0 (planned)
+<p>1.4.0
 
 <div class="node">
 <a name="W0723"></a>
@@ -34223,13 +34225,22 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.596.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.596.3 Sample code</h4>
 
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">int func(int a)
+{
+    /* when int is 32 bit long */
+    if (a &lt; 0) {
+        return a + 1; /* OK */
+    }
+    else if (a &lt; 2000000000) {
+        return a + 1; /* OK */
+    }
+
+    return a + 1; /* W0723 */
+}
 </pre>
 
 <h4 class="subsection">6.596.4 Related message</h4>
@@ -34240,7 +34251,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.596.5 Since</h4>
 
-<p>2.0.0 (planned)
+<p>1.4.0
 
 <div class="node">
 <a name="W0724"></a>
@@ -34293,19 +34304,17 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.598.1 Message body</h4>
 
-<p>A function `%s()' which return value is declared as qualified void type , `return statement;' is found.
+<p>A function `%s()' which return value is declared as qualified void type, `return expression;' is found.
 
 <h4 class="subsection">6.598.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.598.3 Sample code</h4>
 
-<pre class="verbatim">void func(int a)
+<pre class="verbatim">const void func(int a)
 {
-    if(a == 0) {
+    if (a == 0) {
         return 0; /* W0726 */
     }
 }
@@ -34317,7 +34326,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.598.5 Since</h4>
 
-<p>2.0.0 (planned)
+<p>1.4.0
 
 <div class="node">
 <a name="W0727"></a>
@@ -34338,17 +34347,17 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.599.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.599.3 Sample code</h4>
 
 <pre class="verbatim">enum Fruits {
-    apple = 1,
-    banana,
-    orange
+    APPLE = 1,
+    BANANA,
+    ORANGE
 };
+
+enum Fruits fruit = 5; /* W0727 */
 </pre>
 
 <h4 class="subsection">6.599.4 Related message</h4>
@@ -34362,7 +34371,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.599.5 Since</h4>
 
-<p>2.0.0 (planned)
+<p>1.4.0
 
 <div class="node">
 <a name="W0728"></a>
@@ -34383,13 +34392,19 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.600.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.600.3 Sample code</h4>
 
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">enum Color { RED, BLUE, GREEN };
+enum Fruits { APPLE, BANANA, ORANGE };
+
+extern void func1(enum Color);
+
+void func2(void)
+{
+    func1(ORANGE); /* W0728 */
+}
 </pre>
 
 <h4 class="subsection">6.600.4 Related message</h4>
@@ -34403,7 +34418,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.600.5 Since</h4>
 
-<p>2.0.0 (planned)
+<p>1.4.0
 
 <div class="node">
 <a name="W0729"></a>
@@ -34424,13 +34439,19 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.601.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.601.3 Sample code</h4>
 
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">enum Color { RED, BLUE, GREEN };
+enum Fruits { APPLE, BANANA, ORANGE };
+
+void func(void)
+{
+    enum Color c;
+    
+    c = ORANGE; /* W0729 */
+}
 </pre>
 
 <h4 class="subsection">6.601.4 Related message</h4>
@@ -34444,7 +34465,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.601.5 Since</h4>
 
-<p>2.0.0 (planned)
+<p>1.4.0
 
 <div class="node">
 <a name="W0730"></a>
@@ -34465,13 +34486,17 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.602.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.602.3 Sample code</h4>
 
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">enum Color { RED, BLUE, GREEN };
+enum Fruits { APPLE, BANANA, ORANGE };
+
+enum Color func(void)
+{
+    return ORANGE; /* W0730 */
+}
 </pre>
 
 <h4 class="subsection">6.602.4 Related message</h4>
@@ -34485,7 +34510,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.602.5 Since</h4>
 
-<p>2.0.0 (planned)
+<p>1.4.0
 
 <div class="node">
 <a name="W0731"></a>
@@ -34506,13 +34531,24 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.603.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.603.3 Sample code</h4>
 
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">enum Color { RED, BLUE, GREEN };
+enum Fruits { APPLE, BANANA, ORANGE, GRAPE };
+
+int func(enum Color c)
+{
+    switch (c) {
+    case RED:
+        return 1;
+    case GRAPE: /* W0731 */
+        return 2;
+    }
+
+    return 0;
+}
 </pre>
 
 <h4 class="subsection">6.603.4 Related message</h4>
@@ -34526,7 +34562,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.603.5 Since</h4>
 
-<p>2.0.0 (planned)
+<p>1.4.0
 
 <div class="node">
 <a name="W0732"></a>
@@ -34751,13 +34787,11 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.609.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.609.3 Sample code</h4>
 
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">extern enum Foo foo; /* W0737 */
 </pre>
 
 <h4 class="subsection">6.609.4 Related message</h4>
@@ -34766,7 +34800,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.609.5 Since</h4>
 
-<p>2.0.0 (planned)
+<p>1.4.0
 
 <div class="node">
 <a name="W0738"></a>
@@ -34787,13 +34821,17 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.610.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.610.3 Sample code</h4>
 
-<pre class="verbatim">unsigned char uc = 500; /* W0738 */
+<pre class="verbatim">/* when char is 8 bit long */
+const unsigned char uc1 = 255; /* OK */
+const unsigned char uc2 = 256; /* W0738 */
+
+/* when int is 32 bit long */
+const unsigned int ui1 = 4294967295; /* OK */
+const unsigned int ui2 = 4294967296; /* W0738 */
 </pre>
 
 <h4 class="subsection">6.610.4 Related message</h4>
@@ -34802,7 +34840,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.610.5 Since</h4>
 
-<p>2.0.0 (planned)
+<p>1.4.0
 
 <div class="node">
 <a name="W0739"></a>
@@ -34823,13 +34861,12 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.611.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.611.3 Sample code</h4>
 
-<pre class="verbatim">unsigned int ui = 5U - 10U; /* W0739 */
+<pre class="verbatim">const unsigned int ui1 = 3U - 3U; /* OK */
+const unsigned int ui2 = 3U - 5U; /* W0739 */
 </pre>
 
 <h4 class="subsection">6.611.4 Related message</h4>
@@ -34841,7 +34878,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.611.5 Since</h4>
 
-<p>2.0.0 (planned)
+<p>1.4.0
 
 <div class="node">
 <a name="W0740"></a>
@@ -34862,15 +34899,13 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.612.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.612.3 Sample code</h4>
 
-<pre class="verbatim">#define MACRO (255)
-
-unsigned char uc = MACRO + 10; /* W0740 */
+<pre class="verbatim">/* when int is 32 bit long */
+const unsigned int ui1 = 4294967294U + 1U; /* OK */
+const unsigned int ui2 = 4294967295U + 1U; /* W0740 */
 </pre>
 
 <h4 class="subsection">6.612.4 Related message</h4>
@@ -34882,7 +34917,7 @@ unsigned char uc = MACRO + 10; /* W0740 */
 
 <h4 class="subsection">6.612.5 Since</h4>
 
-<p>2.0.0 (planned)
+<p>1.4.0
 
 <div class="node">
 <a name="W0741"></a>
@@ -34903,13 +34938,13 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.613.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.613.3 Sample code</h4>
 
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">/* when int is 32 bit long */
+const unsigned int ui1 = 2000000000U * 2U; /* OK */
+const unsigned int ui2 = 3000000000U * 2U; /* W0741 */
 </pre>
 
 <h4 class="subsection">6.613.4 Related message</h4>
@@ -34921,7 +34956,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.613.5 Since</h4>
 
-<p>2.0.0 (planned)
+<p>1.4.0
 
 <div class="node">
 <a name="W0742"></a>
@@ -34980,17 +35015,17 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.615.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.615.3 Sample code</h4>
 
-<pre class="verbatim">#define MACRO (255)
+<pre class="verbatim">/* when char is 8 bit long */
+const signed char sc1 = 127; /* OK */
+const signed char sc2 = 128; /* W0743 */
 
-signed char sc;
-
-sc = MACRO + 150; /* W0743 */
+/* when int is 32 bit long */
+const int si1 = 2147483647; /* OK */
+const int si2 = 2147483648; /* W0743 */
 </pre>
 
 <h4 class="subsection">6.615.4 Related message</h4>
@@ -34999,7 +35034,7 @@ sc = MACRO + 150; /* W0743 */
 
 <h4 class="subsection">6.615.5 Since</h4>
 
-<p>2.0.0 (planned)
+<p>1.4.0
 
 <div class="node">
 <a name="W0744"></a>
@@ -37590,13 +37625,18 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.669.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.669.3 Sample code</h4>
 
-<pre class="verbatim">struct ST { /* W0801 */
+<pre class="verbatim">struct foo { /* W0801 */
+};
+
+struct bar { /* W0801 */
+    int;
+    int :1;
+    long;
+    double;
 };
 </pre>
 
@@ -37606,7 +37646,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.669.5 Since</h4>
 
-<p>2.0.0 (planned)
+<p>1.4.0
 
 <div class="node">
 <a name="W0802"></a>
@@ -37777,13 +37817,11 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.674.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.674.3 Sample code</h4>
 
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">#define defined !defined /* W0806 */
 </pre>
 
 <h4 class="subsection">6.674.4 Related message</h4>
@@ -37795,7 +37833,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.674.5 Since</h4>
 
-<p>2.0.0 (planned)
+<p>1.4.0
 
 <div class="node">
 <a name="W0807"></a>
@@ -38248,7 +38286,9 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.686.2 Content</h4>
 
-<p>Under construction.
+<p><b>This message will be supported in AdLint 2.0.0</b>
+
+   <p>Under construction.
 
 <h4 class="subsection">6.686.3 Sample code</h4>
 
@@ -38263,7 +38303,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.686.5 Since</h4>
 
-<p>1.0.0
+<p>2.0.0 (planned)
 
 <div class="node">
 <a name="W0835"></a>
@@ -38734,13 +38774,24 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.699.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.699.3 Sample code</h4>
 
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">extern const int func1(int); /* W1033 */
+
+const int func2(int i) /* W1033 */
+{
+    return i + 1;
+}
+
+const int *func3(int i) /* OK */
+{
+    static int j;
+
+    j = i;
+    return &amp;j;
+}
 </pre>
 
 <h4 class="subsection">6.699.4 Related message</h4>
@@ -38749,7 +38800,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.699.5 Since</h4>
 
-<p>2.0.0 (planned)
+<p>1.4.0
 
 <div class="node">
 <a name="W1034"></a>
@@ -40033,13 +40084,24 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.729.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.729.3 Sample code</h4>
 
-<p>Under construction.
+<pre class="verbatim">enum Color { RED, BLUE, GREEN };
+
+int func(enum Color c)
+{
+    switch (c) {
+    case RED: /* OK */
+        return 1;
+    case 1: /* W1064 */
+        return 2;
+    }
+
+    return 0;
+}
+</pre>
 
 <h4 class="subsection">6.729.4 Related message</h4>
 
@@ -40060,7 +40122,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.729.5 Since</h4>
 
-<p>2.0.0 (planned)
+<p>1.4.0
 
 <div class="node">
 <a name="W1065"></a>
@@ -40081,13 +40143,24 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.730.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.730.3 Sample code</h4>
 
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">enum Color { RED, BLUE, GREEN };
+enum Fruits { APPLE, BANANA, ORANGE, GRAPE };
+
+int func(enum Color c)
+{
+    switch (c) {
+    case RED: /* OK */
+        return 1;
+    case ORANGE: /* W1065 */
+        return 2;
+    }
+
+    return 0;
+}
 </pre>
 
 <h4 class="subsection">6.730.4 Related message</h4>
@@ -40109,7 +40182,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 
 <h4 class="subsection">6.730.5 Since</h4>
 
-<p>2.0.0 (planned)
+<p>1.4.0
 
 <div class="node">
 <a name="W9001"></a>