RubyGems - adlint - Versions diffs - 1.10.0 → 1.12.0 - Mend

adlint 1.10.0 → 1.12.0

Files changed (49) hide show

data/ChangeLog +197 -4
data/MANIFEST +17 -0
data/NEWS +23 -4
data/etc/mesg.d/en_US/messages.yml +14 -1
data/etc/mesg.d/ja_JP/messages.yml +14 -1
data/features/message_detection/W0093.feature +87 -0
data/features/message_detection/W0687.feature +25 -0
data/features/message_detection/W0688.feature +63 -0
data/features/message_detection/W0689.feature +46 -0
data/features/message_detection/W0690.feature +35 -0
data/features/message_detection/W0698.feature +3 -2
data/features/message_detection/W0703.feature +1 -0
data/features/message_detection/W0723.feature +34 -0
data/features/message_detection/W0732.feature +158 -0
data/features/message_detection/W0733.feature +158 -0
data/features/message_detection/W0734.feature +322 -0
data/features/message_detection/W0735.feature +322 -0
data/features/message_detection/W1052.feature +66 -0
data/features/message_detection/W9001.feature +33 -0
data/features/message_detection/W9003.feature +131 -0
data/lib/adlint/c/ctrlexpr.rb +51 -50
data/lib/adlint/c/domain.rb +237 -223
data/lib/adlint/c/expr.rb +6 -8
data/lib/adlint/c/interp.rb +8 -11
data/lib/adlint/c/message.rb +20 -0
data/lib/adlint/c/message_shima.rb +63 -0
data/lib/adlint/c/object.rb +5 -4
data/lib/adlint/c/operator.rb +99 -0
data/lib/adlint/c/parser.rb +2 -2
data/lib/adlint/c/parser.y +2 -2
data/lib/adlint/c/phase.rb +6 -1
data/lib/adlint/c/syntax.rb +442 -30
data/lib/adlint/c/type.rb +449 -363
data/lib/adlint/c/value.rb +96 -25
data/lib/adlint/c.rb +1 -0
data/lib/adlint/prelude.rb +16 -18
data/lib/adlint/version.rb +2 -2
data/share/doc/developers_guide_ja.html +11 -5
data/share/doc/developers_guide_ja.texi +9 -3
data/share/doc/users_guide_en.html +697 -131
data/share/doc/users_guide_en.texi +491 -41
data/share/doc/users_guide_ja.html +709 -139
data/share/doc/users_guide_ja.texi +499 -45
data/spec/adlint/c/ctrlexpr_spec.rb +168 -0
data/spec/adlint/c/domain_spec.rb +835 -0
data/spec/adlint/c/operator_spec.rb +406 -0
data/spec/adlint/c/syntax_spec.rb +717 -0
data/spec/adlint/c/type_spec.rb +55 -30
metadata +19 -2

data/share/doc/users_guide_en.html CHANGED Viewed

@@ -1,8 +1,8 @@
 <html lang="en">
 <head>
-<title>AdLint 1.10.0 User's Guide</title>
+<title>AdLint 1.12.0 User's Guide</title>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
-<meta name="description" content="AdLint 1.10.0 User's Guide">
+<meta name="description" content="AdLint 1.12.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.10.0 User's Guide</h1>
+<h1 class="settitle">AdLint 1.12.0 User's Guide</h1>
 <div class="node">
 <a name="Top"></a>
 <p><hr>
@@ -2815,8 +2815,21 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
 <li><a href="#W1063">W1063</a>: The return value returned from enumeration type function to non constant expression.
 <li><a href="#W1064">W1064</a>: A integer constant is used in switch statement where case label is enumeration type.
 <li><a href="#W1065">W1065</a>: A value of different enumeration type is used in switch statement  where case label is an enumeration type.
+<li><a href="#W1066">W1066</a>: A value of the `float' typed compound expression is explicitly converted into a `double' value.
+<li><a href="#W1067">W1067</a>: A value of the `float' typed compound expression is explicitly converted into a `long double' value.
+<li><a href="#W1068">W1068</a>: A value of the `double' typed compound expression is explicitly converted into a `long double' value.
+<li><a href="#W1069">W1069</a>: No trailing `else' clause is found in this `if-else-if' statements chain.
+<li><a href="#W1070">W1070</a>: This `switch' statement can be translated into `if-else' statement because there are only 2 execution paths.
+<li><a href="#W1071">W1071</a>: Function `%s' has multiple termination points.
+<li><a href="#W1072">W1072</a>: `A `goto' statement is found.
+<li><a href="#W1073">W1073</a>: A return value of function `%s' is not used.。
+<li><a href="#W1074">W1074</a>: Side-effects in `sizeof' operand will not be recorded because the operand will not be executed actually.
+<li><a href="#W1075">W1075</a>: This declaration has no `static' storage-class-specifier while the declaring object has internal-linkage.
+<li><a href="#W1076">W1076</a>: `%s' is defined as internal-linkage, but it has no forward declaration.
+<li><a href="#W1077">W1077</a>: Declaring array object without a size.
 <li><a href="#W9001">W9001</a>: This statement doesn't reach the control.
 <li><a href="#W9002">W9002</a>: There is no line feed character at the end of file.
+<li><a href="#W9003">W9003</a>: An object typed `%s' is implicitly converted into an object of other type.
 <li><a href="#C0001">C0001</a>: A warning is detected in external identifier name `%s'.
 </ul>
@@ -33239,7 +33252,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.571.2 Content</h4>
-<p><b>This message will be supported in AdLint 2.0.0</b>
+<p><b>This message will be supported after AdLint 2.0.0</b>
    <p>Under construction.
@@ -33256,7 +33269,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.571.5 Since</h4>
-<p>2.0.0 (planned)
+<p>After 2.0.0 (planned)
 <div class="node">
 <a name="W0694"></a>
@@ -34304,7 +34317,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.597.2 Content</h4>
-<p><b>This message will be supported in AdLint 2.0.0</b>
+<p><b>This message will be supported after AdLint 2.0.0</b>
    <p>Under construction.
@@ -34319,7 +34332,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.597.5 Since</h4>
-<p>2.0.0 (planned)
+<p>After 2.0.0 (planned)
 <div class="node">
 <a name="W0726"></a>
@@ -34615,13 +34628,19 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.604.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.604.3 Sample code</h4>
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">extern void func(unsigned int a, unsigned int b,unsigned int c, unsigned int d)
+{
+    int r;
+    r = (a + b) &amp;&amp; (c - d); /* W0732 */
+    r = (a * b) &amp;&amp; (c / d); /* W0732 */
+    r = (a &lt;&lt; b) &amp;&amp; (c &lt;&lt; d); /* W0732 */
+    r = (a >> b) &amp;&amp; (c >> d); /* W0732 */
+}
 </pre>
 <h4 class="subsection">6.604.4 Related message</h4>
@@ -34634,7 +34653,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.604.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.12.0
 <div class="node">
 <a name="W0733"></a>
@@ -34655,13 +34674,19 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.605.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.605.3 Sample code</h4>
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">extern void func(unsigned int a, unsigned int b,unsigned int c, unsigned int d)
+{
+    int r;
+    r = (a + b) || (c - d); /* W0733 */
+    r = (a * b) || (c / d); /* W0733 */
+    r = (a &lt;&lt; b) || (c &lt;&lt; d); /* W0733 */
+    r = (a >> b) || (c >> d); /* W0733 */
+}
 </pre>
 <h4 class="subsection">6.605.4 Related message</h4>
@@ -34674,7 +34699,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.605.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.12.0
 <div class="node">
 <a name="W0734"></a>
@@ -34695,13 +34720,19 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.606.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.606.3 Sample code</h4>
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">extern void func(unsigned int a, unsigned int b, unsigned int c)
+{
+    int r;
+    r = (a + b) &amp;&amp; c; /* W0734 */
+    r = (a - b) &amp;&amp; c; /* W0734 */
+    r = (a &lt;&lt; b) || c; /* W0734 */
+    r = (a >> b) || c; /* W0734 */
+}
 </pre>
 <h4 class="subsection">6.606.4 Related message</h4>
@@ -34714,7 +34745,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.606.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.12.0
 <div class="node">
 <a name="W0735"></a>
@@ -34735,13 +34766,19 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.607.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.607.3 Sample code</h4>
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">extern void func(unsigned int a, unsigned int b, unsigned int c)
+{
+    int r;
+    r = a &amp;&amp; (b + c); /* W0735 */
+    r = a &amp;&amp; (b - c); /* W0735 */
+    r = a || (b >> c); /* W0735 */
+    r = a || (b &lt;&lt; c); /* W0735 */
+}
 </pre>
 <h4 class="subsection">6.607.4 Related message</h4>
@@ -34754,7 +34791,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.607.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.12.0
 <div class="node">
 <a name="W0736"></a>
@@ -36977,7 +37014,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.652.2 Content</h4>
-<p><b>This message will be supported in AdLint 2.0.0</b>
+<p><b>This message will be supported after AdLint 2.0.0</b>
    <p>Under construction.
@@ -36992,7 +37029,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.652.5 Since</h4>
-<p>2.0.0 (planned)
+<p>After 2.0.0 (planned)
 <div class="node">
 <a name="W0785"></a>
@@ -37738,7 +37775,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.670.2 Content</h4>
-<p><b>This message will be supported in AdLint 2.0.0</b>
+<p><b>This message will be supported after AdLint 2.0.0</b>
    <p>Under construction.
@@ -37756,7 +37793,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.670.5 Since</h4>
-<p>2.0.0 (planned)
+<p>After 2.0.0 (planned)
 <div class="node">
 <a name="W0803"></a>
@@ -37777,7 +37814,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.671.2 Content</h4>
-<p><b>This message will be supported in AdLint 2.0.0</b>
+<p><b>This message will be supported after AdLint 2.0.0</b>
    <p>Under construction.
@@ -37792,7 +37829,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.671.5 Since</h4>
-<p>2.0.0 (planned)
+<p>After 2.0.0 (planned)
 <div class="node">
 <a name="W0804"></a>
@@ -38410,7 +38447,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.687.2 Content</h4>
-<p><b>This message will be supported in AdLint 2.0.0</b>
+<p><b>This message will be supported after AdLint 2.0.0</b>
    <p>Under construction.
@@ -38425,7 +38462,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.687.5 Since</h4>
-<p>2.0.0 (planned)
+<p>After 2.0.0 (planned)
 <div class="node">
 <a name="W0947"></a>
@@ -38958,7 +38995,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.701.2 Content</h4>
-<p><b>This message will be supported in AdLint 2.0.0</b>
+<p><b>This message will be supported after AdLint 2.0.0</b>
    <p>Under construction.
@@ -38975,7 +39012,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.701.5 Since</h4>
-<p>2.0.0 (planned)
+<p>After 2.0.0 (planned)
 <div class="node">
 <a name="W1036"></a>
@@ -38996,7 +39033,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.702.2 Content</h4>
-<p><b>This message will be supported in AdLint 2.0.0</b>
+<p><b>This message will be supported after AdLint 2.0.0</b>
    <p>Under construction.
@@ -39013,7 +39050,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.702.5 Since</h4>
-<p>2.0.0 (planned)
+<p>After 2.0.0 (planned)
 <div class="node">
 <a name="W1037"></a>
@@ -39189,7 +39226,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.707.2 Content</h4>
-<p><b>This message will be supported in AdLint 2.0.0</b>
+<p><b>This message will be supported after AdLint 2.0.0</b>
    <p>Under construction.
@@ -39207,7 +39244,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.707.5 Since</h4>
-<p>2.0.0 (planned)
+<p>After 2.0.0 (planned)
 <div class="node">
 <a name="W1043"></a>
@@ -39228,7 +39265,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.708.2 Content</h4>
-<p><b>This message will be supported in AdLint 2.0.0</b>
+<p><b>This message will be supported after AdLint 2.0.0</b>
    <p>Under construction.
@@ -39246,7 +39283,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.708.5 Since</h4>
-<p>2.0.0 (planned)
+<p>After 2.0.0 (planned)
 <div class="node">
 <a name="W1044"></a>
@@ -39306,7 +39343,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.710.2 Content</h4>
-<p><b>This message will be supported in AdLint 2.0.0</b>
+<p><b>This message will be supported after AdLint 2.0.0</b>
    <p>Under construction.
@@ -39324,7 +39361,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.710.5 Since</h4>
-<p>2.0.0 (planned)
+<p>After 2.0.0 (planned)
 <div class="node">
 <a name="W1046"></a>
@@ -39417,7 +39454,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.713.2 Content</h4>
-<p><b>This message will be supported in AdLint 2.0.0</b>
+<p><b>This message will be supported after AdLint 2.0.0</b>
    <p>Under construction.
@@ -39432,7 +39469,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.713.5 Since</h4>
-<p>2.0.0 (planned)
+<p>After 2.0.0 (planned)
 <div class="node">
 <a name="W1049"></a>
@@ -40277,7 +40314,7 @@ int func(enum Color c)
 <div class="node">
 <a name="W1065"></a>
 <p><hr>
-Next:&nbsp;<a rel="next" accesskey="n" href="#W9001">W9001</a>,
+Next:&nbsp;<a rel="next" accesskey="n" href="#W1066">W1066</a>,
 Previous:&nbsp;<a rel="previous" accesskey="p" href="#W1064">W1064</a>,
 Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
@@ -40335,26 +40372,498 @@ int func(enum Color c)
 <p>1.4.0
 <div class="node">
-<a name="W9001"></a>
+<a name="W1066"></a>
 <p><hr>
-Next:&nbsp;<a rel="next" accesskey="n" href="#W9002">W9002</a>,
+Next:&nbsp;<a rel="next" accesskey="n" href="#W1067">W1067</a>,
 Previous:&nbsp;<a rel="previous" accesskey="p" href="#W1065">W1065</a>,
 Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 </div>
-<h3 class="section">6.731 W9001</h3>
+<h3 class="section">6.731 W1066</h3>
+<p><a name="index-W1066-766"></a>
 <h4 class="subsection">6.731.1 Message body</h4>
-<p>This statement doesn't reach the control.
+<p>A value of the `float' typed compound expression is explicitly converted into a `double' value.
 <h4 class="subsection">6.731.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.731.3 Sample code</h4>
+<pre class="verbatim">void func(float a)
+{
+    double b = (double) (a * a);
+}
+</pre>
+<h4 class="subsection">6.731.4 Related message</h4>
+     <ul>
+<li><a href="#W1067">W1067</a> A value of the `float' typed compound expression is explicitly converted into a `long double' value.
+<li><a href="#W1068">W1068</a> A value of the `double' typed compound expression is explicitly converted into a `long double' value.
+</ul>
+<h4 class="subsection">6.731.5 Since</h4>
+<p>2.0.0 (planned)
+<div class="node">
+<a name="W1067"></a>
+<p><hr>
+Next:&nbsp;<a rel="next" accesskey="n" href="#W1068">W1068</a>,
+Previous:&nbsp;<a rel="previous" accesskey="p" href="#W1066">W1066</a>,
+Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
+</div>
+<h3 class="section">6.732 W1067</h3>
+<p><a name="index-W1067-767"></a>
+<h4 class="subsection">6.732.1 Message body</h4>
+<p>A value of the `float' typed compound expression is explicitly converted into a `long double' value.
+<h4 class="subsection">6.732.2 Content</h4>
+<p><b>This message will be supported in AdLint 2.0.0</b>
+   <p>Under construction.
+<h4 class="subsection">6.732.3 Sample code</h4>
+<pre class="verbatim">void func(float a)
+{
+    long double b = (long double) (a * a);
+}
+</pre>
+<h4 class="subsection">6.732.4 Related message</h4>
+     <ul>
+<li><a href="#W1066">W1066</a> A value of the `float' typed compound expression is explicitly converted into a `double' value.
+<li><a href="#W1068">W1068</a> A value of the `double' typed compound expression is explicitly converted into a `long double' value.
+</ul>
+<h4 class="subsection">6.732.5 Since</h4>
+<p>2.0.0 (planned)
+<div class="node">
+<a name="W1068"></a>
+<p><hr>
+Next:&nbsp;<a rel="next" accesskey="n" href="#W1069">W1069</a>,
+Previous:&nbsp;<a rel="previous" accesskey="p" href="#W1067">W1067</a>,
+Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
+</div>
+<h3 class="section">6.733 W1068</h3>
+<p><a name="index-W1068-768"></a>
+<h4 class="subsection">6.733.1 Message body</h4>
+<p>A value of the `double' typed compound expression is explicitly converted into a `long double' value.
+<h4 class="subsection">6.733.2 Content</h4>
+<p><b>This message will be supported in AdLint 2.0.0</b>
+   <p>Under construction.
+<h4 class="subsection">6.733.3 Sample code</h4>
+<pre class="verbatim">void func(double a)
+{
+    long double b = (long double) (a * a);
+}
+</pre>
+<h4 class="subsection">6.733.4 Related message</h4>
+     <ul>
+<li><a href="#W1066">W1066</a> A value of the `float' typed compound expression is explicitly converted into a `double' value.
+<li><a href="#W1067">W1067</a> A value of the `float' typed compound expression is explicitly converted into a `long double' value.
+</ul>
+<h4 class="subsection">6.733.5 Since</h4>
+<p>2.0.0 (planned)
+<div class="node">
+<a name="W1069"></a>
+<p><hr>
+Next:&nbsp;<a rel="next" accesskey="n" href="#W1070">W1070</a>,
+Previous:&nbsp;<a rel="previous" accesskey="p" href="#W1068">W1068</a>,
+Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
+</div>
+<h3 class="section">6.734 W1069</h3>
+<p><a name="index-W1069-769"></a>
+<h4 class="subsection">6.734.1 Message body</h4>
+<p>No trailing `else' clause is found in this `if-else-if' statements chain.
+<h4 class="subsection">6.734.2 Content</h4>
+<p><b>This message will be supported in AdLint 2.0.0</b>
+   <p>Under construction.
+<h4 class="subsection">6.734.3 Sample code</h4>
+<pre class="verbatim">/* will be added */
+</pre>
+<h4 class="subsection">6.734.4 Related message</h4>
+<p>None.
+<h4 class="subsection">6.734.5 Since</h4>
+<p>2.0.0 (planned)
+<div class="node">
+<a name="W1070"></a>
+<p><hr>
+Next:&nbsp;<a rel="next" accesskey="n" href="#W1071">W1071</a>,
+Previous:&nbsp;<a rel="previous" accesskey="p" href="#W1069">W1069</a>,
+Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
+</div>
+<h3 class="section">6.735 W1070</h3>
+<p><a name="index-W1070-770"></a>
+<h4 class="subsection">6.735.1 Message body</h4>
+<p>This `switch' statement can be translated into `if-else' statement because there are only 2 execution paths.
+<h4 class="subsection">6.735.2 Content</h4>
+<p><b>This message will be supported in AdLint 2.0.0</b>
+   <p>Under construction.
+<h4 class="subsection">6.735.3 Sample code</h4>
+<pre class="verbatim">switch (x) {
+case 1:
+    ...
+    break;
+default:
+    ...
+}
+</pre>
+<h4 class="subsection">6.735.4 Related message</h4>
+<p>None.
+<h4 class="subsection">6.735.5 Since</h4>
+<p>2.0.0 (planned)
+<div class="node">
+<a name="W1071"></a>
+<p><hr>
+Next:&nbsp;<a rel="next" accesskey="n" href="#W1072">W1072</a>,
+Previous:&nbsp;<a rel="previous" accesskey="p" href="#W1070">W1070</a>,
+Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
+</div>
+<h3 class="section">6.736 W1071</h3>
+<p><a name="index-W1071-771"></a>
+<h4 class="subsection">6.736.1 Message body</h4>
+<p>Function `%s' has multiple termination points.
+<h4 class="subsection">6.736.2 Content</h4>
+<p><b>This message will be supported in AdLint 2.0.0</b>
+   <p>Under construction.
+<h4 class="subsection">6.736.3 Sample code</h4>
+<pre class="verbatim">int func(int a)
+{
+    if( a == 0 ) {
+        return 0;
+    }
+    else {
+        return 1; /* W1071 */
+    }
+}
+</pre>
+<h4 class="subsection">6.736.4 Related message</h4>
+<p>None.
+<h4 class="subsection">6.736.5 Since</h4>
+<p>2.0.0 (planned)
+<div class="node">
+<a name="W1072"></a>
+<p><hr>
+Next:&nbsp;<a rel="next" accesskey="n" href="#W1073">W1073</a>,
+Previous:&nbsp;<a rel="previous" accesskey="p" href="#W1071">W1071</a>,
+Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
+</div>
+<h3 class="section">6.737 W1072</h3>
+<p><a name="index-W1072-772"></a>
+<h4 class="subsection">6.737.1 Message body</h4>
+<p>`A `goto' statement is found.
+<h4 class="subsection">6.737.2 Content</h4>
+<p><b>This message will be supported in AdLint 2.0.0</b>
+   <p>Under construction.
+<h4 class="subsection">6.737.3 Sample code</h4>
+<pre class="verbatim">/* will be added */
+</pre>
+<h4 class="subsection">6.737.4 Related message</h4>
+<p>None.
+<h4 class="subsection">6.737.5 Since</h4>
+<p>2.0.0 (planned)
+<div class="node">
+<a name="W1073"></a>
+<p><hr>
+Next:&nbsp;<a rel="next" accesskey="n" href="#W1074">W1074</a>,
+Previous:&nbsp;<a rel="previous" accesskey="p" href="#W1072">W1072</a>,
+Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
+</div>
+<h3 class="section">6.738 W1073</h3>
+<p><a name="index-W1073-773"></a>
+<h4 class="subsection">6.738.1 Message body</h4>
+<p>A return value of function `%s' is not used.。
+<h4 class="subsection">6.738.2 Content</h4>
+<p><b>This message will be supported in AdLint 2.0.0</b>
+   <p>Under construction.
+<h4 class="subsection">6.738.3 Sample code</h4>
+<pre class="verbatim">/* will be added */
+</pre>
+<h4 class="subsection">6.738.4 Related message</h4>
+<p>None.
+<h4 class="subsection">6.738.5 Since</h4>
+<p>2.0.0 (planned)
+<div class="node">
+<a name="W1074"></a>
+<p><hr>
+Next:&nbsp;<a rel="next" accesskey="n" href="#W1075">W1075</a>,
+Previous:&nbsp;<a rel="previous" accesskey="p" href="#W1073">W1073</a>,
+Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
+</div>
+<h3 class="section">6.739 W1074</h3>
+<p><a name="index-W1074-774"></a>
+<h4 class="subsection">6.739.1 Message body</h4>
+<p>Side-effects in `sizeof' operand will not be recorded because the operand will not be executed actually.
+<h4 class="subsection">6.739.2 Content</h4>
+<p><b>This message will be supported in AdLint 2.0.0</b>
+   <p>Under construction.
+<h4 class="subsection">6.739.3 Sample code</h4>
+<pre class="verbatim">int i = sizeof(data++); /* W1074 */
+</pre>
+<h4 class="subsection">6.739.4 Related message</h4>
+<p>None.
+<h4 class="subsection">6.739.5 Since</h4>
+<p>2.0.0 (planned)
+<div class="node">
+<a name="W1075"></a>
+<p><hr>
+Next:&nbsp;<a rel="next" accesskey="n" href="#W1076">W1076</a>,
+Previous:&nbsp;<a rel="previous" accesskey="p" href="#W1074">W1074</a>,
+Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
+</div>
+<h3 class="section">6.740 W1075</h3>
+<p><a name="index-W1075-775"></a>
+<h4 class="subsection">6.740.1 Message body</h4>
+<p>This declaration has no `static' storage-class-specifier while the declaring object has internal-linkage.
+<h4 class="subsection">6.740.2 Content</h4>
+<p><b>This message will be supported in AdLint 2.0.0</b>
+   <p>Under construction.
+<h4 class="subsection">6.740.3 Sample code</h4>
+<pre class="verbatim">static int func(void);
+int func(void) /* W1075 */
+{
+    ...
+}
+</pre>
+<h4 class="subsection">6.740.4 Related message</h4>
+<p>None.
+<h4 class="subsection">6.740.5 Since</h4>
+<p>2.0.0 (planned)
+<div class="node">
+<a name="W1076"></a>
+<p><hr>
+Next:&nbsp;<a rel="next" accesskey="n" href="#W1077">W1077</a>,
+Previous:&nbsp;<a rel="previous" accesskey="p" href="#W1075">W1075</a>,
+Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
+</div>
+<h3 class="section">6.741 W1076</h3>
+<p><a name="index-W1076-776"></a>
+<h4 class="subsection">6.741.1 Message body</h4>
+<p>`%s' is defined as internal-linkage, but it has no forward declaration.
+<h4 class="subsection">6.741.2 Content</h4>
+<p><b>This message will be supported in AdLint 2.0.0</b>
+   <p>Under construction.
+<h4 class="subsection">6.741.3 Sample code</h4>
+<pre class="verbatim">static int func(void) /* W1076 */
+{
+    ...
+    return ret;
+}
+</pre>
+<h4 class="subsection">6.741.4 Related message</h4>
+<p>None.
+<h4 class="subsection">6.741.5 Since</h4>
+<p>2.0.0 (planned)
+<div class="node">
+<a name="W1077"></a>
+<p><hr>
+Next:&nbsp;<a rel="next" accesskey="n" href="#W9001">W9001</a>,
+Previous:&nbsp;<a rel="previous" accesskey="p" href="#W1076">W1076</a>,
+Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
+</div>
+<h3 class="section">6.742 W1077</h3>
+<p><a name="index-W1077-777"></a>
+<h4 class="subsection">6.742.1 Message body</h4>
+<p>Declaring array object without a size.
+<h4 class="subsection">6.742.2 Content</h4>
+<p><b>This message will be supported in AdLint 2.0.0</b>
+   <p>Under construction.
+<h4 class="subsection">6.742.3 Sample code</h4>
+<pre class="verbatim">extern int array[]; /* W1077 */
+</pre>
+<h4 class="subsection">6.742.4 Related message</h4>
+<p>None.
+<h4 class="subsection">6.742.5 Since</h4>
+<p>2.0.0 (planned)
+<div class="node">
+<a name="W9001"></a>
+<p><hr>
+Next:&nbsp;<a rel="next" accesskey="n" href="#W9002">W9002</a>,
+Previous:&nbsp;<a rel="previous" accesskey="p" href="#W1077">W1077</a>,
+Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
+</div>
+<h3 class="section">6.743 W9001</h3>
+<h4 class="subsection">6.743.1 Message body</h4>
+<p>This statement doesn't reach the control.
+<h4 class="subsection">6.743.2 Content</h4>
+<p>Under construction.
+<h4 class="subsection">6.743.3 Sample code</h4>
 <pre class="verbatim">extern int all_possible_values_of_int(void);
 extern unsigned int zero_if_succeeded(void);
@@ -40390,81 +40899,125 @@ void func(void)
 }
 </pre>
-<h4 class="subsection">6.731.4 Related message</h4>
+<h4 class="subsection">6.743.4 Related message</h4>
 <p>None.
-<h4 class="subsection">6.731.5 Since</h4>
+<h4 class="subsection">6.743.5 Since</h4>
 <p>1.0.0
 <div class="node">
 <a name="W9002"></a>
 <p><hr>
-Next:&nbsp;<a rel="next" accesskey="n" href="#C0001">C0001</a>,
+Next:&nbsp;<a rel="next" accesskey="n" href="#W9003">W9003</a>,
 Previous:&nbsp;<a rel="previous" accesskey="p" href="#W9001">W9001</a>,
 Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 </div>
-<h3 class="section">6.732 W9002</h3>
+<h3 class="section">6.744 W9002</h3>
-<p><a name="index-W9002-766"></a>
+<p><a name="index-W9002-778"></a>
-<h4 class="subsection">6.732.1 Message body</h4>
+<h4 class="subsection">6.744.1 Message body</h4>
 <p>There is no line feed character at the end of file.
-<h4 class="subsection">6.732.2 Content</h4>
+<h4 class="subsection">6.744.2 Content</h4>
 <p>Under construction.
-<h4 class="subsection">6.732.3 Sample code</h4>
+<h4 class="subsection">6.744.3 Sample code</h4>
 <p>Under construction.
-<h4 class="subsection">6.732.4 Related message</h4>
+<h4 class="subsection">6.744.4 Related message</h4>
 <p>None.
-<h4 class="subsection">6.732.5 Since</h4>
+<h4 class="subsection">6.744.5 Since</h4>
 <p>1.0.0
 <div class="node">
-<a name="C0001"></a>
+<a name="W9003"></a>
 <p><hr>
+Next:&nbsp;<a rel="next" accesskey="n" href="#C0001">C0001</a>,
 Previous:&nbsp;<a rel="previous" accesskey="p" href="#W9002">W9002</a>,
 Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 </div>
-<h3 class="section">6.733 C0001</h3>
+<h3 class="section">6.745 W9003</h3>
-<p><a name="index-C0001-767"></a>
+<p><a name="index-W9003-779"></a>
-<h4 class="subsection">6.733.1 Message body</h4>
+<h4 class="subsection">6.745.1 Message body</h4>
+<p>An object typed `%s' is implicitly converted into an object of other type.
+<h4 class="subsection">6.745.2 Content</h4>
+<p>This message indicates that an implicit conversion from or to an object of the
+non-standard type will occur.
+<h4 class="subsection">6.745.3 Sample code</h4>
+<pre class="verbatim">enum Color { RED, BLUE, GREEN };
+enum Fruit { APPLE, BANANA, ORANGE };
+extern void foo(enum Color);
+static void bar(void)
+{
+    int i = RED; /* W9003 */
+    foo(ORANGE); /* W9003 */
+}
+</pre>
+<h4 class="subsection">6.745.4 Related message</h4>
+<p>None.
+<h4 class="subsection">6.745.5 Since</h4>
+<p>1.12.0
+<div class="node">
+<a name="C0001"></a>
+<p><hr>
+Previous:&nbsp;<a rel="previous" accesskey="p" href="#W9003">W9003</a>,
+Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
+</div>
+<h3 class="section">6.746 C0001</h3>
+<p><a name="index-C0001-780"></a>
+<h4 class="subsection">6.746.1 Message body</h4>
 <p>A warning is detected in external identifier name `%s'.
-<h4 class="subsection">6.733.2 Content</h4>
+<h4 class="subsection">6.746.2 Content</h4>
 <p>Under construction.
-<h4 class="subsection">6.733.3 Sample code</h4>
+<h4 class="subsection">6.746.3 Sample code</h4>
 <pre class="verbatim">int very_long_long_long_long_long_long_long_identifier_1 = 0; /* C0001 */
 int very_long_long_long_long_long_long_long_identifier_2 = 1; /* W0052 */
 </pre>
-<h4 class="subsection">6.733.4 Related message</h4>
+<h4 class="subsection">6.746.4 Related message</h4>
      <ul>
 <li><a href="#W0051">W0051</a> An external identifier name cannot distinguish other identifier name (ex:`%s') from the range of number of characters defined in linker property.
 <li><a href="#W0052">W0052</a> A identifier name cannot distinguish other identifier name (ex:`%s') from the range of number of characters defined in compile property.
 </ul>
-<h4 class="subsection">6.733.5 Since</h4>
+<h4 class="subsection">6.746.5 Since</h4>
 <p>1.0.0
@@ -40508,7 +41061,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 <h3 class="section">7.1 FL_STMT</h3>
-<p><a name="index-FL_005fSTMT-768"></a>
+<p><a name="index-FL_005fSTMT-781"></a>
 <h4 class="subsection">7.1.1 Metric name</h4>
@@ -40579,7 +41132,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 <h3 class="section">7.2 FL_FUNC</h3>
-<p><a name="index-FL_005fFUNC-769"></a>
+<p><a name="index-FL_005fFUNC-782"></a>
 <h4 class="subsection">7.2.1 Metric name</h4>
@@ -40624,7 +41177,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 <h3 class="section">7.3 FN_STMT</h3>
-<p><a name="index-FN_005fSTMT-770"></a>
+<p><a name="index-FN_005fSTMT-783"></a>
 <h4 class="subsection">7.3.1 Metric name</h4>
@@ -40696,7 +41249,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 <h3 class="section">7.4 FN_UNRC</h3>
-<p><a name="index-FN_005fUNRC-771"></a>
+<p><a name="index-FN_005fUNRC-784"></a>
 <h4 class="subsection">7.4.1 Metric name</h4>
@@ -40775,7 +41328,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 <h3 class="section">7.5 FN_LINE</h3>
-<p><a name="index-FN_005fLINE-772"></a>
+<p><a name="index-FN_005fLINE-785"></a>
 <h4 class="subsection">7.5.1 Metric name</h4>
@@ -40834,7 +41387,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 <h3 class="section">7.6 FN_PARA</h3>
-<p><a name="index-FN_005fPARA-773"></a>
+<p><a name="index-FN_005fPARA-786"></a>
 <h4 class="subsection">7.6.1 Metric name</h4>
@@ -40880,7 +41433,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 <h3 class="section">7.7 FN_UNUV</h3>
-<p><a name="index-FN_005fUNUV-774"></a>
+<p><a name="index-FN_005fUNUV-787"></a>
 <h4 class="subsection">7.7.1 Metric name</h4>
@@ -40930,7 +41483,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 <h3 class="section">7.8 FN_CSUB</h3>
-<p><a name="index-FN_005fCSUB-775"></a>
+<p><a name="index-FN_005fCSUB-788"></a>
 <h4 class="subsection">7.8.1 Metric name</h4>
@@ -41023,7 +41576,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 <h3 class="section">7.10 FN_GOTO</h3>
-<p><a name="index-FN_005fGOTO-776"></a>
+<p><a name="index-FN_005fGOTO-789"></a>
 <h4 class="subsection">7.10.1 Metric name</h4>
@@ -41074,7 +41627,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 <h3 class="section">7.11 FN_RETN</h3>
-<p><a name="index-FN_005fRETN-777"></a>
+<p><a name="index-FN_005fRETN-790"></a>
 <h4 class="subsection">7.11.1 Metric name</h4>
@@ -41147,7 +41700,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 <h3 class="section">7.12 FN_UELS</h3>
-<p><a name="index-FN_005fUELS-778"></a>
+<p><a name="index-FN_005fUELS-791"></a>
 <h4 class="subsection">7.12.1 Metric name</h4>
@@ -41207,7 +41760,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 <h3 class="section">7.13 FN_NEST</h3>
-<p><a name="index-FN_005fNEST-779"></a>
+<p><a name="index-FN_005fNEST-792"></a>
 <h4 class="subsection">7.13.1 Metric name</h4>
@@ -41278,7 +41831,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 <h3 class="section">7.14 FN_PATH</h3>
-<p><a name="index-FN_005fPATH-780"></a>
+<p><a name="index-FN_005fPATH-793"></a>
 <h4 class="subsection">7.14.1 Metric name</h4>
@@ -41435,7 +41988,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 <h3 class="section">7.15 FN_CYCM</h3>
-<p><a name="index-FN_005fCYCM-781"></a>
+<p><a name="index-FN_005fCYCM-794"></a>
 <h4 class="subsection">7.15.1 Metric name</h4>
@@ -41576,7 +42129,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 <h3 class="section">8.1 VER</h3>
-<p><a name="index-VER-782"></a>
+<p><a name="index-VER-795"></a>
 <h4 class="subsection">8.1.1 Code structure information name</h4>
@@ -41606,7 +42159,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 <h3 class="section">8.2 DCL(T)</h3>
-<p><a name="index-DCL_0028T_0029-783"></a>
+<p><a name="index-DCL_0028T_0029-796"></a>
 <h4 class="subsection">8.2.1 Code structure information name</h4>
@@ -41636,7 +42189,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 <h3 class="section">8.3 DCL(V)</h3>
-<p><a name="index-DCL_0028V_0029-784"></a>
+<p><a name="index-DCL_0028V_0029-797"></a>
 <h4 class="subsection">8.3.1 Code structure information name</h4>
@@ -41666,7 +42219,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 <h3 class="section">8.4 DCL(F)</h3>
-<p><a name="index-DCL_0028F_0029-785"></a>
+<p><a name="index-DCL_0028F_0029-798"></a>
 <h4 class="subsection">8.4.1 Code structure information name</h4>
@@ -41696,7 +42249,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 <h3 class="section">8.5 DEF(V)</h3>
-<p><a name="index-DEF_0028V_0029-786"></a>
+<p><a name="index-DEF_0028V_0029-799"></a>
 <h4 class="subsection">8.5.1 Code structure information name</h4>
@@ -41726,7 +42279,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 <h3 class="section">8.6 DEF(F)</h3>
-<p><a name="index-DEF_0028F_0029-787"></a>
+<p><a name="index-DEF_0028F_0029-800"></a>
 <h4 class="subsection">8.6.1 Code structure information name</h4>
@@ -41756,7 +42309,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 <h3 class="section">8.7 DEF(M)</h3>
-<p><a name="index-DEF_0028M_0029-788"></a>
+<p><a name="index-DEF_0028M_0029-801"></a>
 <h4 class="subsection">8.7.1 Code structure information name</h4>
@@ -41786,7 +42339,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 <h3 class="section">8.8 DEF(L)</h3>
-<p><a name="index-DEF_0028L_0029-789"></a>
+<p><a name="index-DEF_0028L_0029-802"></a>
 <h4 class="subsection">8.8.1 Code structure information name</h4>
@@ -41815,7 +42368,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 <h3 class="section">8.9 INI</h3>
-<p><a name="index-INI-790"></a>
+<p><a name="index-INI-803"></a>
 <h4 class="subsection">8.9.1 Code structure information name</h4>
@@ -41844,7 +42397,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 <h3 class="section">8.10 ASN</h3>
-<p><a name="index-ASN-791"></a>
+<p><a name="index-ASN-804"></a>
 <h4 class="subsection">8.10.1 Code structure information name</h4>
@@ -41874,7 +42427,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 <h3 class="section">8.11 DEP(I)</h3>
-<p><a name="index-DEP_0028I_0029-792"></a>
+<p><a name="index-DEP_0028I_0029-805"></a>
 <h4 class="subsection">8.11.1 Code structure information name</h4>
@@ -41904,7 +42457,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 <h3 class="section">8.12 DEP(C)</h3>
-<p><a name="index-DEP_0028C_0029-793"></a>
+<p><a name="index-DEP_0028C_0029-806"></a>
 <h4 class="subsection">8.12.1 Code structure information name</h4>
@@ -41934,7 +42487,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 <h3 class="section">8.13 DEP(X)</h3>
-<p><a name="index-DEP_0028X_0029-794"></a>
+<p><a name="index-DEP_0028X_0029-807"></a>
 <h4 class="subsection">8.13.1 Code structure information name</h4>
@@ -41963,7 +42516,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 <h3 class="section">8.14 LIT</h3>
-<p><a name="index-LIT-795"></a>
+<p><a name="index-LIT-808"></a>
 <h4 class="subsection">8.14.1 Code structure information name</h4>
@@ -41991,7 +42544,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 <h3 class="section">8.15 PRE</h3>
-<p><a name="index-PRE-796"></a>
+<p><a name="index-PRE-809"></a>
 <h4 class="subsection">8.15.1 Code structure information name</h4>
@@ -42468,8 +43021,8 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
 <h2 class="unnumbered">Index</h2>
 <ul class="index-cp" compact>
-<li><a href="#index-ASN-791">ASN</a>: <a href="#ASN">ASN</a></li>
-<li><a href="#index-C0001-767">C0001</a>: <a href="#C0001">C0001</a></li>
+<li><a href="#index-ASN-804">ASN</a>: <a href="#ASN">ASN</a></li>
+<li><a href="#index-C0001-780">C0001</a>: <a href="#C0001">C0001</a></li>
 <li><a href="#index-compiler_005ftraits-9">compiler_traits</a>: <a href="#Compiler-Traits">Compiler Traits</a></li>
 <li><a href="#index-compiler_005ftraits_003aarbitrary_005fsubstitution-35">compiler_traits:arbitrary_substitution</a>: <a href="#Compiler-Traits">Compiler Traits</a></li>
 <li><a href="#index-compiler_005ftraits_003aarithmetic_003alogical_005fright_005fshift-33">compiler_traits:arithmetic:logical_right_shift</a>: <a href="#Compiler-Traits">Compiler Traits</a></li>
@@ -42498,16 +43051,16 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
 <li><a href="#index-compiler_005ftraits_003astandard_005ftype_003along_005fsize-17">compiler_traits:standard_type:long_size</a>: <a href="#Compiler-Traits">Compiler Traits</a></li>
 <li><a href="#index-compiler_005ftraits_003astandard_005ftype_003ashort_005falignment-14">compiler_traits:standard_type:short_alignment</a>: <a href="#Compiler-Traits">Compiler Traits</a></li>
 <li><a href="#index-compiler_005ftraits_003astandard_005ftype_003ashort_005fsize-13">compiler_traits:standard_type:short_size</a>: <a href="#Compiler-Traits">Compiler Traits</a></li>
-<li><a href="#index-DCL_0028F_0029-785">DCL(F)</a>: <a href="#DCL_0028F_0029">DCL(F)</a></li>
-<li><a href="#index-DCL_0028T_0029-783">DCL(T)</a>: <a href="#DCL_0028T_0029">DCL(T)</a></li>
-<li><a href="#index-DCL_0028V_0029-784">DCL(V)</a>: <a href="#DCL_0028V_0029">DCL(V)</a></li>
-<li><a href="#index-DEF_0028F_0029-787">DEF(F)</a>: <a href="#DEF_0028F_0029">DEF(F)</a></li>
-<li><a href="#index-DEF_0028L_0029-789">DEF(L)</a>: <a href="#DEF_0028L_0029">DEF(L)</a></li>
-<li><a href="#index-DEF_0028M_0029-788">DEF(M)</a>: <a href="#DEF_0028M_0029">DEF(M)</a></li>
-<li><a href="#index-DEF_0028V_0029-786">DEF(V)</a>: <a href="#DEF_0028V_0029">DEF(V)</a></li>
-<li><a href="#index-DEP_0028C_0029-793">DEP(C)</a>: <a href="#DEP_0028C_0029">DEP(C)</a></li>
-<li><a href="#index-DEP_0028I_0029-792">DEP(I)</a>: <a href="#DEP_0028I_0029">DEP(I)</a></li>
-<li><a href="#index-DEP_0028X_0029-794">DEP(X)</a>: <a href="#DEP_0028X_0029">DEP(X)</a></li>
+<li><a href="#index-DCL_0028F_0029-798">DCL(F)</a>: <a href="#DCL_0028F_0029">DCL(F)</a></li>
+<li><a href="#index-DCL_0028T_0029-796">DCL(T)</a>: <a href="#DCL_0028T_0029">DCL(T)</a></li>
+<li><a href="#index-DCL_0028V_0029-797">DCL(V)</a>: <a href="#DCL_0028V_0029">DCL(V)</a></li>
+<li><a href="#index-DEF_0028F_0029-800">DEF(F)</a>: <a href="#DEF_0028F_0029">DEF(F)</a></li>
+<li><a href="#index-DEF_0028L_0029-802">DEF(L)</a>: <a href="#DEF_0028L_0029">DEF(L)</a></li>
+<li><a href="#index-DEF_0028M_0029-801">DEF(M)</a>: <a href="#DEF_0028M_0029">DEF(M)</a></li>
+<li><a href="#index-DEF_0028V_0029-799">DEF(V)</a>: <a href="#DEF_0028V_0029">DEF(V)</a></li>
+<li><a href="#index-DEP_0028C_0029-806">DEP(C)</a>: <a href="#DEP_0028C_0029">DEP(C)</a></li>
+<li><a href="#index-DEP_0028I_0029-805">DEP(I)</a>: <a href="#DEP_0028I_0029">DEP(I)</a></li>
+<li><a href="#index-DEP_0028X_0029-807">DEP(X)</a>: <a href="#DEP_0028X_0029">DEP(X)</a></li>
 <li><a href="#index-E0004-47">E0004</a>: <a href="#E0004">E0004</a></li>
 <li><a href="#index-E0007-48">E0007</a>: <a href="#E0007">E0007</a></li>
 <li><a href="#index-E0008-49">E0008</a>: <a href="#E0008">E0008</a></li>
@@ -42517,29 +43070,29 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
 <li><a href="#index-E0014-53">E0014</a>: <a href="#E0014">E0014</a></li>
 <li><a href="#index-E0015-54">E0015</a>: <a href="#E0015">E0015</a></li>
 <li><a href="#index-E0016-55">E0016</a>: <a href="#E0016">E0016</a></li>
-<li><a href="#index-FL_005fFUNC-769">FL_FUNC</a>: <a href="#FL_005fFUNC">FL_FUNC</a></li>
-<li><a href="#index-FL_005fSTMT-768">FL_STMT</a>: <a href="#FL_005fSTMT">FL_STMT</a></li>
-<li><a href="#index-FN_005fCSUB-775">FN_CSUB</a>: <a href="#FN_005fCSUB">FN_CSUB</a></li>
-<li><a href="#index-FN_005fCYCM-781">FN_CYCM</a>: <a href="#FN_005fCYCM">FN_CYCM</a></li>
-<li><a href="#index-FN_005fGOTO-776">FN_GOTO</a>: <a href="#FN_005fGOTO">FN_GOTO</a></li>
-<li><a href="#index-FN_005fLINE-772">FN_LINE</a>: <a href="#FN_005fLINE">FN_LINE</a></li>
-<li><a href="#index-FN_005fNEST-779">FN_NEST</a>: <a href="#FN_005fNEST">FN_NEST</a></li>
-<li><a href="#index-FN_005fPARA-773">FN_PARA</a>: <a href="#FN_005fPARA">FN_PARA</a></li>
-<li><a href="#index-FN_005fPATH-780">FN_PATH</a>: <a href="#FN_005fPATH">FN_PATH</a></li>
-<li><a href="#index-FN_005fRETN-777">FN_RETN</a>: <a href="#FN_005fRETN">FN_RETN</a></li>
-<li><a href="#index-FN_005fSTMT-770">FN_STMT</a>: <a href="#FN_005fSTMT">FN_STMT</a></li>
-<li><a href="#index-FN_005fUELS-778">FN_UELS</a>: <a href="#FN_005fUELS">FN_UELS</a></li>
-<li><a href="#index-FN_005fUNRC-771">FN_UNRC</a>: <a href="#FN_005fUNRC">FN_UNRC</a></li>
-<li><a href="#index-FN_005fUNUV-774">FN_UNUV</a>: <a href="#FN_005fUNUV">FN_UNUV</a></li>
-<li><a href="#index-INI-790">INI</a>: <a href="#INI">INI</a></li>
+<li><a href="#index-FL_005fFUNC-782">FL_FUNC</a>: <a href="#FL_005fFUNC">FL_FUNC</a></li>
+<li><a href="#index-FL_005fSTMT-781">FL_STMT</a>: <a href="#FL_005fSTMT">FL_STMT</a></li>
+<li><a href="#index-FN_005fCSUB-788">FN_CSUB</a>: <a href="#FN_005fCSUB">FN_CSUB</a></li>
+<li><a href="#index-FN_005fCYCM-794">FN_CYCM</a>: <a href="#FN_005fCYCM">FN_CYCM</a></li>
+<li><a href="#index-FN_005fGOTO-789">FN_GOTO</a>: <a href="#FN_005fGOTO">FN_GOTO</a></li>
+<li><a href="#index-FN_005fLINE-785">FN_LINE</a>: <a href="#FN_005fLINE">FN_LINE</a></li>
+<li><a href="#index-FN_005fNEST-792">FN_NEST</a>: <a href="#FN_005fNEST">FN_NEST</a></li>
+<li><a href="#index-FN_005fPARA-786">FN_PARA</a>: <a href="#FN_005fPARA">FN_PARA</a></li>
+<li><a href="#index-FN_005fPATH-793">FN_PATH</a>: <a href="#FN_005fPATH">FN_PATH</a></li>
+<li><a href="#index-FN_005fRETN-790">FN_RETN</a>: <a href="#FN_005fRETN">FN_RETN</a></li>
+<li><a href="#index-FN_005fSTMT-783">FN_STMT</a>: <a href="#FN_005fSTMT">FN_STMT</a></li>
+<li><a href="#index-FN_005fUELS-791">FN_UELS</a>: <a href="#FN_005fUELS">FN_UELS</a></li>
+<li><a href="#index-FN_005fUNRC-784">FN_UNRC</a>: <a href="#FN_005fUNRC">FN_UNRC</a></li>
+<li><a href="#index-FN_005fUNUV-787">FN_UNUV</a>: <a href="#FN_005fUNUV">FN_UNUV</a></li>
+<li><a href="#index-INI-803">INI</a>: <a href="#INI">INI</a></li>
 <li><a href="#index-linker_005ftraits-37">linker_traits</a>: <a href="#Linker-Traits">Linker Traits</a></li>
 <li><a href="#index-linker_005ftraits_003aidentifier_005fignore_005fcase-39">linker_traits:identifier_ignore_case</a>: <a href="#Linker-Traits">Linker Traits</a></li>
 <li><a href="#index-linker_005ftraits_003aidentifier_005fmax-38">linker_traits:identifier_max</a>: <a href="#Linker-Traits">Linker Traits</a></li>
-<li><a href="#index-LIT-795">LIT</a>: <a href="#LIT">LIT</a></li>
+<li><a href="#index-LIT-808">LIT</a>: <a href="#LIT">LIT</a></li>
 <li><a href="#index-message_005ftraits-40">message_traits</a>: <a href="#Message-Traits">Message Traits</a></li>
 <li><a href="#index-message_005ftraits_003achange_005flist-42">message_traits:change_list</a>: <a href="#Message-Traits">Message Traits</a></li>
 <li><a href="#index-message_005ftraits_003alanguage-41">message_traits:language</a>: <a href="#Message-Traits">Message Traits</a></li>
-<li><a href="#index-PRE-796">PRE</a>: <a href="#PRE">PRE</a></li>
+<li><a href="#index-PRE-809">PRE</a>: <a href="#PRE">PRE</a></li>
 <li><a href="#index-project_005ftraits-1">project_traits</a>: <a href="#Project-Traits">Project Traits</a></li>
 <li><a href="#index-project_005ftraits_003acoding_005fstyle_003aindent_005fstyle-5">project_traits:coding_style:indent_style</a>: <a href="#Project-Traits">Project Traits</a></li>
 <li><a href="#index-project_005ftraits_003acoding_005fstyle_003aindent_005fwidth-7">project_traits:coding_style:indent_width</a>: <a href="#Project-Traits">Project Traits</a></li>
@@ -42548,7 +43101,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
 <li><a href="#index-project_005ftraits_003ainclude_005fpath-3">project_traits:include_path</a>: <a href="#Project-Traits">Project Traits</a></li>
 <li><a href="#index-project_005ftraits_003ainitial_005fheader-4">project_traits:initial_header</a>: <a href="#Project-Traits">Project Traits</a></li>
 <li><a href="#index-project_005ftraits_003aproject_005fname-2">project_traits:project_name</a>: <a href="#Project-Traits">Project Traits</a></li>
-<li><a href="#index-VER-782">VER</a>: <a href="#VER">VER</a></li>
+<li><a href="#index-VER-795">VER</a>: <a href="#VER">VER</a></li>
 <li><a href="#index-W0001-56">W0001</a>: <a href="#W0001">W0001</a></li>
 <li><a href="#index-W0002-57">W0002</a>: <a href="#W0002">W0002</a></li>
 <li><a href="#index-W0003-58">W0003</a>: <a href="#W0003">W0003</a></li>
@@ -43259,7 +43812,20 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
 <li><a href="#index-W1063-763">W1063</a>: <a href="#W1063">W1063</a></li>
 <li><a href="#index-W1064-764">W1064</a>: <a href="#W1064">W1064</a></li>
 <li><a href="#index-W1065-765">W1065</a>: <a href="#W1065">W1065</a></li>
-<li><a href="#index-W9002-766">W9002</a>: <a href="#W9002">W9002</a></li>
+<li><a href="#index-W1066-766">W1066</a>: <a href="#W1066">W1066</a></li>
+<li><a href="#index-W1067-767">W1067</a>: <a href="#W1067">W1067</a></li>
+<li><a href="#index-W1068-768">W1068</a>: <a href="#W1068">W1068</a></li>
+<li><a href="#index-W1069-769">W1069</a>: <a href="#W1069">W1069</a></li>
+<li><a href="#index-W1070-770">W1070</a>: <a href="#W1070">W1070</a></li>
+<li><a href="#index-W1071-771">W1071</a>: <a href="#W1071">W1071</a></li>
+<li><a href="#index-W1072-772">W1072</a>: <a href="#W1072">W1072</a></li>
+<li><a href="#index-W1073-773">W1073</a>: <a href="#W1073">W1073</a></li>
+<li><a href="#index-W1074-774">W1074</a>: <a href="#W1074">W1074</a></li>
+<li><a href="#index-W1075-775">W1075</a>: <a href="#W1075">W1075</a></li>
+<li><a href="#index-W1076-776">W1076</a>: <a href="#W1076">W1076</a></li>
+<li><a href="#index-W1077-777">W1077</a>: <a href="#W1077">W1077</a></li>
+<li><a href="#index-W9002-778">W9002</a>: <a href="#W9002">W9002</a></li>
+<li><a href="#index-W9003-779">W9003</a>: <a href="#W9003">W9003</a></li>
 <li><a href="#index-X0001-43">X0001</a>: <a href="#X0001">X0001</a></li>
 <li><a href="#index-X0002-44">X0002</a>: <a href="#X0002">X0002</a></li>
 <li><a href="#index-X0003-45">X0003</a>: <a href="#X0003">X0003</a></li>