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

adlint 1.10.0 → 1.12.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 (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>