RubyGems - adlint - Versions diffs - 1.14.0 → 1.16.0 - Mend

adlint 1.14.0 → 1.16.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 (70) hide show

data/ChangeLog +265 -0
data/MANIFEST +15 -0
data/NEWS +30 -4
data/etc/conf.d/noarch/adlint_all_bat.erb +1 -1
data/etc/mesg.d/en_US/messages.yml +3 -3
data/etc/mesg.d/ja_JP/messages.yml +3 -3
data/features/message_detection/W0001.feature +2 -0
data/features/message_detection/W0007.feature +8 -0
data/features/message_detection/W0010.feature +4 -1
data/features/message_detection/W0013.feature +8 -0
data/features/message_detection/W0093.feature +3 -0
data/features/message_detection/W0104.feature +7 -0
data/features/message_detection/W0643.feature +80 -0
data/features/message_detection/W0646.feature +115 -0
data/features/message_detection/W0691.feature +100 -0
data/features/message_detection/W0692.feature +32 -0
data/features/message_detection/W0694.feature +128 -0
data/features/message_detection/W0716.feature +3 -0
data/features/message_detection/W0717.feature +3 -0
data/features/message_detection/W0718.feature +3 -0
data/features/message_detection/W0723.feature +2 -0
data/features/message_detection/W0732.feature +3 -0
data/features/message_detection/W0733.feature +3 -0
data/features/message_detection/W0734.feature +8 -0
data/features/message_detection/W0735.feature +8 -0
data/features/message_detection/W0805.feature +92 -0
data/features/message_detection/W0811.feature +79 -0
data/features/message_detection/W1031.feature +7 -0
data/features/message_detection/W1040.feature +89 -0
data/features/message_detection/W1041.feature +15 -0
data/features/message_detection/W1046.feature +60 -0
data/features/message_detection/W1052.feature +3 -0
data/features/message_detection/W1066.feature +3 -0
data/features/message_detection/W1067.feature +3 -0
data/features/message_detection/W1068.feature +3 -0
data/features/message_detection/W1069.feature +5 -0
data/features/message_detection/W1070.feature +6 -0
data/features/message_detection/W1072.feature +1 -0
data/features/message_detection/W1073.feature +145 -0
data/features/message_detection/W1074.feature +139 -0
data/features/message_detection/W1075.feature +86 -0
data/features/message_detection/W1076.feature +66 -0
data/features/message_detection/W1077.feature +105 -0
data/features/message_detection/W9003.feature +4 -0
data/lib/adlint/c/ctrlexpr.rb +3 -0
data/lib/adlint/c/interp.rb +11 -5
data/lib/adlint/c/lexer.rb +14 -3
data/lib/adlint/c/message.rb +192 -0
data/lib/adlint/c/parser.rb +19 -3
data/lib/adlint/c/parser.y +18 -2
data/lib/adlint/c/phase.rb +19 -6
data/lib/adlint/c/syntax.rb +6 -0
data/lib/adlint/c/type.rb +5 -1
data/lib/adlint/cpp/constexpr.rb +3 -3
data/lib/adlint/cpp/constexpr.y +3 -3
data/lib/adlint/cpp/eval.rb +60 -86
data/lib/adlint/cpp/lexer.rb +82 -28
data/lib/adlint/cpp/macro.rb +64 -35
data/lib/adlint/cpp/message.rb +137 -4
data/lib/adlint/cpp/phase.rb +8 -0
data/lib/adlint/cpp/syntax.rb +25 -0
data/lib/adlint/lang.rb +2 -1
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 +102 -85
data/share/doc/users_guide_en.texi +85 -69
data/share/doc/users_guide_ja.html +102 -94
data/share/doc/users_guide_ja.texi +85 -77
metadata +17 -2

data/lib/adlint/cpp/phase.rb CHANGED Viewed

@@ -111,18 +111,26 @@ module Cpp #:nodoc:
         W0632.new(context),
         W0633.new(context),
         W0634.new(context),
+        W0643.new(context),
         W0687.new(context),
         W0688.new(context),
         W0689.new(context),
         W0690.new(context),
+        W0691.new(context),
+        W0692.new(context),
         W0695.new(context),
         W0696.new(context),
         W0804.new(context),
+        W0805.new(context),
         W0806.new(context),
         W0807.new(context),
         W0808.new(context),
+        W0811.new(context),
         W0831.new(context),
         W0832.new(context),
+        W1040.new(context),
+        W1041.new(context),
+        W1046.new(context),
         W9002.new(context)
       ]
     end

data/lib/adlint/cpp/syntax.rb CHANGED Viewed

@@ -497,6 +497,22 @@ module Cpp #:nodoc:
     end
   end
+  class UnknownDirective < GroupPart
+    def initialize(token)
+      @token = token
+    end
+    attr_reader :token
+    def location
+      @token.location
+    end
+    def inspect(indent = 0)
+      " " * indent + "#{short_class_name} (#{@token.inspect})"
+    end
+  end
   class AsmSection < GroupPart
     def initialize(asm_line, endasm_line)
       @asm_line = asm_line
@@ -1003,6 +1019,9 @@ module Cpp #:nodoc:
     def visit_null_directive(node)
     end
+    def visit_unknown_directive(node)
+    end
     def visit_asm_section(node)
     end
@@ -1138,6 +1157,8 @@ module Cpp #:nodoc:
     def_plugin :leave_text_line
     def_plugin :enter_null_directive
     def_plugin :leave_null_directive
+    def_plugin :enter_unknown_directive
+    def_plugin :leave_unknown_directive
     def_plugin :enter_pp_tokens
     def_plugin :leave_pp_tokens
     def_plugin :enter_error_expression
@@ -1271,6 +1292,10 @@ module Cpp #:nodoc:
       visit_with_notifying(__method__, node) { super }
     end
+    def visit_unknown_directive(node)
+      visit_with_notifying(__method__, node) { super }
+    end
     def visit_pp_tokens(node)
       visit_with_notifying(__method__, node) { super }
     end

data/lib/adlint/lang.rb CHANGED Viewed

@@ -69,10 +69,10 @@ module AdLint #:nodoc:
         def single_module_phases
           [
             AdLint::Cpp::Prepare1Phase,
-            AdLint::C::Prepare1Phase,
             AdLint::Cpp::Prepare2Phase,
             AdLint::Cpp::EvalPhase,
             AdLint::Cpp::SubstPhase,
+            AdLint::C::Prepare1Phase,
             AdLint::C::ParsePhase,
             AdLint::C::ResolvePhase,
             AdLint::C::Prepare2Phase,
@@ -89,6 +89,7 @@ module AdLint #:nodoc:
             AdLint::Cpp::Prepare1Phase,
             AdLint::Cpp::EvalPhase,
             AdLint::Cpp::SubstPhase,
+            AdLint::C::Prepare1Phase,
             AdLint::C::ParsePhase
           ].freeze
         end

data/lib/adlint/version.rb CHANGED Viewed

@@ -32,9 +32,9 @@
 module AdLint #:nodoc:
   MAJOR_VERSION = 1
-  MINOR_VERSION = 14
+  MINOR_VERSION = 16
   PATCH_VERSION = 0
-  RELEASE_DATE  = "2012-07-04"
+  RELEASE_DATE  = "2012-07-18"
   TRAITS_SCHEMA_VERSION = "1.0.0"

data/share/doc/developers_guide_ja.html CHANGED Viewed

@@ -1,8 +1,8 @@
 <html lang="ja">
 <head>
-<title>AdLint 1.14.0 開発者ガイド</title>
+<title>AdLint 1.16.0 開発者ガイド</title>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
-<meta name="description" content="AdLint 1.14.0 開発者ガイド">
+<meta name="description" content="AdLint 1.16.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.14.0 開発者ガイド</h1>
+<h1 class="settitle">AdLint 1.16.0 開発者ガイド</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 1.14.0 開発者ガイド
+@settitle AdLint 1.16.0 開発者ガイド
 @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 1.14.0 User's Guide</title>
+<title>AdLint 1.16.0 User's Guide</title>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
-<meta name="description" content="AdLint 1.14.0 User's Guide">
+<meta name="description" content="AdLint 1.16.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.14.0 User's Guide</h1>
+<h1 class="settitle">AdLint 1.16.0 User's Guide</h1>
 <div class="node">
 <a name="Top"></a>
 <p><hr>
@@ -2654,7 +2654,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
 <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="#W0692">W0692</a>: A function-like macro `%s' 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.
 <li><a href="#W0694">W0694</a>: 'assert' macro is inhibited to call the function named `assert'. This result is undefined.
 <li><a href="#W0695">W0695</a>: If #undef the 'assert' macro, and enable to call its name function, the result is undefined.
@@ -2790,7 +2790,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
 <li><a href="#W1037">W1037</a>: `%s' which has external coupling is declared more than one, this is incompatible.
 <li><a href="#W1039">W1039</a>: `ll' is used in conversion specifier.
 <li><a href="#W1040">W1040</a>: An unrecognizable string is described after preprocessing directive.
-<li><a href="#W1041">W1041</a>: `#%s' is not official preprocessing directive of ISO C standards.
+<li><a href="#W1041">W1041</a>: `%s' is not official preprocessing directive of ISO C standards.
 <li><a href="#W1042">W1042</a>: 'sizeof' operator is using in preprocessing directive. This is the language extension.
 <li><a href="#W1043">W1043</a>: `@ address' is not supported ISO C standards. It will be considered as language extension.
 <li><a href="#W1044">W1044</a>: An expression which includes the statement is not supported ISO C standards. It will be considered as language extension.
@@ -30445,13 +30445,12 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.525.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.525.3 Sample code</h4>
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">#define MACRO(x) #x
+const char *str = MACRO(foo\); /* W0643 */
 </pre>
 <h4 class="subsection">6.525.4 Related message</h4>
@@ -30465,7 +30464,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.525.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.16.0
 <div class="node">
 <a name="W0644"></a>
@@ -30573,13 +30572,11 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.528.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.528.3 Sample code</h4>
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">static const char *str = "foo" L"bar"; /* W0646 */
 </pre>
 <h4 class="subsection">6.528.4 Related message</h4>
@@ -30593,7 +30590,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.528.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.16.0
 <div class="node">
 <a name="W0649"></a>
@@ -33174,13 +33171,13 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.569.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.569.3 Sample code</h4>
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">#define MACRO(a, b) a ## b
+double d = (double) MACRO(-, 123); /* W0691 */
 </pre>
 <h4 class="subsection">6.569.4 Related message</h4>
@@ -33194,7 +33191,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.569.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.16.0
 <div class="node">
 <a name="W0692"></a>
@@ -33211,17 +33208,17 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.570.1 Message body</h4>
-<p>A function-like macro doesn't given an actual argument.
+<p>A function-like macro `%s' doesn't given an actual argument.
 <h4 class="subsection">6.570.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.570.3 Sample code</h4>
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">#define MACRO(a) #a
+const char *s = (char *) MACRO(); /* W0692 */
 </pre>
 <h4 class="subsection">6.570.4 Related message</h4>
@@ -33232,7 +33229,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.570.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.16.0
 <div class="node">
 <a name="W0693"></a>
@@ -33265,7 +33262,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.571.4 Related message</h4>
      <ul>
-<li><a href="#W0692">W0692</a> A function-like macro doesn't given an actual argument.
+<li><a href="#W0692">W0692</a> A function-like macro `%s' doesn't given an actual argument.
 </ul>
 <h4 class="subsection">6.571.5 Since</h4>
@@ -33291,13 +33288,17 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.572.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.572.3 Sample code</h4>
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">#undef assert
+extern void assert(int);
+void foo(void)
+{
+    assert("should not be reached" == ""); /* W0694 */
+}
 </pre>
 <h4 class="subsection">6.572.4 Related message</h4>
@@ -33306,7 +33307,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.572.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.16.0
 <div class="node">
 <a name="W0695"></a>
@@ -37886,13 +37887,13 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.673.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.673.3 Sample code</h4>
-<pre class="verbatim">#if defined() /* W0805 */
+<pre class="verbatim">#if defined "foo" /* W0805 */
+int i = 0;
+#endif
 </pre>
 <h4 class="subsection">6.673.4 Related message</h4>
@@ -37903,7 +37904,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.673.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.16.0
 <div class="node">
 <a name="W0806"></a>
@@ -38123,13 +38124,15 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.679.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.679.3 Sample code</h4>
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">#define COND defined(FOO)
+#if COND /* W0811 */
+int i = 0;
+#endif
 </pre>
 <h4 class="subsection">6.679.4 Related message</h4>
@@ -38138,7 +38141,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.679.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.16.0
 <div class="node">
 <a name="W0827"></a>
@@ -39147,25 +39150,33 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.705.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.705.3 Sample code</h4>
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">#define TEST
+#ifdef TEST
+#if defined(CASE_1)
+int i = 1;
+#elif defined(CASE_2)
+int i = 2;
+#endif CASE /* W1040 */
+#else
+int i = 0;
+#endif TEST /* W1040 */
 </pre>
 <h4 class="subsection">6.705.4 Related message</h4>
      <ul>
-<li><a href="#W1041">W1041</a> `#%s' is not official preprocessing directive of ISO C standards.
+<li><a href="#W1041">W1041</a> `%s' is not official preprocessing directive of ISO C standards.
 <li><a href="#W1042">W1042</a> 'sizeof' operator is using in preprocessing directive. This is the language extension.
 </ul>
 <h4 class="subsection">6.705.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.16.0
 <div class="node">
 <a name="W1041"></a>
@@ -39182,17 +39193,15 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.706.1 Message body</h4>
-<p>`#%s' is not official preprocessing directive of ISO C standards.
+<p>`%s' is not official preprocessing directive of ISO C standards.
 <h4 class="subsection">6.706.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.706.3 Sample code</h4>
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">#compiler_specific_extension 1 2.3 "4" /* W1041 */
 </pre>
 <h4 class="subsection">6.706.4 Related message</h4>
@@ -39204,7 +39213,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.706.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.16.0
 <div class="node">
 <a name="W1042"></a>
@@ -39238,7 +39247,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
      <ul>
 <li><a href="#W1040">W1040</a> An unrecognizable string is described after preprocessing directive.
-<li><a href="#W1041">W1041</a> `#%s' is not official preprocessing directive of ISO C standards.
+<li><a href="#W1041">W1041</a> `%s' is not official preprocessing directive of ISO C standards.
 </ul>
 <h4 class="subsection">6.707.5 Since</h4>
@@ -39381,13 +39390,14 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.711.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.711.3 Sample code</h4>
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">#define FOO(a, b)   /* OK */    \
+    (               /* W1046 */ \
+        (a) + (b)   /* W1046 */ \
+    )
 </pre>
 <h4 class="subsection">6.711.4 Related message</h4>
@@ -39396,7 +39406,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.711.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.16.0
 <div class="node">
 <a name="W1047"></a>
@@ -40683,13 +40693,19 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.738.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.738.3 Sample code</h4>
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">extern int bar(void);
+static void foo(void)
+{
+    int i;
+    int j;
+    for (i = 0, bar(); i &lt; 10; i++) { /* W1073 */
+        j = bar(); /* OK */
+    }
+}
 </pre>
 <h4 class="subsection">6.738.4 Related message</h4>
@@ -40698,7 +40714,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.738.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.16.0
 <div class="node">
 <a name="W1074"></a>
@@ -40719,13 +40735,21 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.739.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.739.3 Sample code</h4>
-<pre class="verbatim">int i = sizeof(data++); /* W1074 */
+<pre class="verbatim">static int foo(void)
+{
+    int i = 0;
+    if (sizeof(i++) == 4) { /* W1074 */
+        return 0;
+    }
+    else {
+        return 1;
+    }
+}
 </pre>
 <h4 class="subsection">6.739.4 Related message</h4>
@@ -40734,7 +40758,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.739.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.16.0
 <div class="node">
 <a name="W1075"></a>
@@ -40755,9 +40779,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.740.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.740.3 Sample code</h4>
@@ -40774,7 +40796,7 @@ int func(void) /* W1075 */
 <h4 class="subsection">6.740.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.16.0
 <div class="node">
 <a name="W1076"></a>
@@ -40795,16 +40817,13 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.741.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.741.3 Sample code</h4>
 <pre class="verbatim">static int func(void) /* W1076 */
 {
-    ...
-    return ret;
+    return 0;
 }
 </pre>
@@ -40814,7 +40833,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.741.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.16.0
 <div class="node">
 <a name="W1077"></a>
@@ -40835,13 +40854,11 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.742.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.742.3 Sample code</h4>
-<pre class="verbatim">extern int array[]; /* W1077 */
+<pre class="verbatim">extern int a[]; /* W1077 */
 </pre>
 <h4 class="subsection">6.742.4 Related message</h4>
@@ -40850,7 +40867,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.742.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.16.0
 <div class="node">
 <a name="W9001"></a>