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

adlint 1.12.0 → 1.14.0

Files changed (32) hide show

data/ChangeLog +133 -34
data/MANIFEST +10 -0
data/NEWS +22 -4
data/etc/mesg.d/en_US/messages.yml +1 -1
data/etc/mesg.d/ja_JP/messages.yml +1 -1
data/features/message_detection/W0093.feature +3 -3
data/features/message_detection/W0104.feature +111 -0
data/features/message_detection/W0606.feature +1 -1
data/features/message_detection/W0645.feature +142 -0
data/features/message_detection/W0697.feature +183 -0
data/features/message_detection/W0699.feature +1 -0
data/features/message_detection/W0700.feature +56 -0
data/features/message_detection/W1031.feature +18 -18
data/features/message_detection/W1066.feature +88 -0
data/features/message_detection/W1067.feature +88 -0
data/features/message_detection/W1068.feature +88 -0
data/features/message_detection/W1069.feature +120 -0
data/features/message_detection/W1070.feature +145 -0
data/features/message_detection/W1072.feature +32 -0
data/lib/adlint/c/interp.rb +17 -10
data/lib/adlint/c/mediator.rb +1 -0
data/lib/adlint/c/message_shima.rb +222 -0
data/lib/adlint/c/phase.rb +9 -0
data/lib/adlint/c/type.rb +13 -12
data/lib/adlint/version.rb +2 -2
data/share/doc/developers_guide_ja.html +3 -3
data/share/doc/developers_guide_ja.texi +1 -1
data/share/doc/users_guide_en.html +59 -50
data/share/doc/users_guide_en.texi +48 -40
data/share/doc/users_guide_ja.html +60 -52
data/share/doc/users_guide_ja.texi +49 -41
metadata +12 -2

data/share/doc/developers_guide_ja.html CHANGED Viewed

@@ -1,8 +1,8 @@
 <html lang="ja">
 <head>
-<title>AdLint 1.12.0 開発者ガイド</title>
+<title>AdLint 1.14.0 開発者ガイド</title>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
-<meta name="description" content="AdLint 1.12.0 開発者ガイド">
+<meta name="description" content="AdLint 1.14.0 開発者ガイド">
 <meta name="generator" content="makeinfo 4.13">
 <link title="Top" rel="top" href="#Top">
 <link href="http://www.gnu.org/software/texinfo/" rel="generator-home" title="Texinfo Homepage">
@@ -44,7 +44,7 @@ td { border: 1px solid black; }
 --></style>
 </head>
 <body>
-<h1 class="settitle">AdLint 1.12.0 開発者ガイド</h1>
+<h1 class="settitle">AdLint 1.14.0 開発者ガイド</h1>
 <div class="contents">
 <h2>Table of Contents</h2>
 <ul>

data/share/doc/developers_guide_ja.texi CHANGED Viewed

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

data/share/doc/users_guide_en.html CHANGED Viewed

@@ -1,8 +1,8 @@
 <html lang="en">
 <head>
-<title>AdLint 1.12.0 User's Guide</title>
+<title>AdLint 1.14.0 User's Guide</title>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
-<meta name="description" content="AdLint 1.12.0 User's Guide">
+<meta name="description" content="AdLint 1.14.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.12.0 User's Guide</h1>
+<h1 class="settitle">AdLint 1.14.0 User's Guide</h1>
 <div class="node">
 <a name="Top"></a>
 <p><hr>
@@ -30527,17 +30527,18 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.527.1 Message body</h4>
-<p>'void' type cannot use in the type of formal argument.
+<p>`void' cannot be used as the parameter type.
 <h4 class="subsection">6.527.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.527.3 Sample code</h4>
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">extern void func(a) /* W0645 */
+void a;
+{
+}
 </pre>
 <h4 class="subsection">6.527.4 Related message</h4>
@@ -30551,7 +30552,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.527.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.14.0
 <div class="node">
 <a name="W0646"></a>
@@ -33405,9 +33406,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.575.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.575.3 Sample code</h4>
@@ -33416,7 +33415,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
     if (value == 0) {
         return 0;
     }
-    // No return statement at the end of the function.
+    /* No return statement at the end of this function. */
 }
 </pre>
@@ -33430,7 +33429,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.575.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.14.0
 <div class="node">
 <a name="W0698"></a>
@@ -33533,13 +33532,13 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.578.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.578.3 Sample code</h4>
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">extern func(void) /* W0700 */
+{
+}
 </pre>
 <h4 class="subsection">6.578.4 Related message</h4>
@@ -33552,7 +33551,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.578.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.14.0
 <div class="node">
 <a name="W0703"></a>
@@ -40390,9 +40389,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.731.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.731.3 Sample code</h4>
@@ -40411,7 +40408,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.731.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.14.0
 <div class="node">
 <a name="W1067"></a>
@@ -40432,9 +40429,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.732.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.732.3 Sample code</h4>
@@ -40453,7 +40448,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.732.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.14.0
 <div class="node">
 <a name="W1068"></a>
@@ -40474,9 +40469,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.733.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.733.3 Sample code</h4>
@@ -40495,7 +40488,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.733.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.14.0
 <div class="node">
 <a name="W1069"></a>
@@ -40516,13 +40509,20 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.734.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.734.3 Sample code</h4>
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">static int func(int i)
+{
+    if (i == 2) { /* W1069 */
+        return 0;
+    }
+    else if (i == 4) {
+        return 1;
+    }
+    return 2;
+}
 </pre>
 <h4 class="subsection">6.734.4 Related message</h4>
@@ -40531,7 +40531,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.734.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.14.0
 <div class="node">
 <a name="W1070"></a>
@@ -40552,9 +40552,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.735.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.735.3 Sample code</h4>
@@ -40573,7 +40571,7 @@ default:
 <h4 class="subsection">6.735.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.14.0
 <div class="node">
 <a name="W1071"></a>
@@ -40638,13 +40636,24 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.737.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.737.3 Sample code</h4>
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">static int func(int i)
+{
+    if (i == 1) {
+        goto Label1; /* W1072 */
+    }
+    goto Label2; /* W1072 */
+Label1:
+    i = 10;
+Label2:
+    i = 20;
+    return i;
+}
 </pre>
 <h4 class="subsection">6.737.4 Related message</h4>
@@ -40653,7 +40662,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.737.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.14.0
 <div class="node">
 <a name="W1073"></a>
@@ -41704,11 +41713,11 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 <h4 class="subsection">7.12.1 Metric name</h4>
-<p>Number of 'if' statement unless 'else'
+<p>Number of <code>`if'</code> statement without <code>`else'</code> clause
 <h4 class="subsection">7.12.2 Content</h4>
-<p>The number of it doesn't have explicit <code>else</code> section in <code>if</code> statements.
+<p>The number of <code>`if'</code> statements which have no explicit <code>else</code> clause.
 <h4 class="subsection">7.12.3 Sample code</h4>
@@ -41726,7 +41735,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
     if (j % 2) {
         return -1;
     }
-    /* An implicit else clause makes foo's FN_UELS += 1 */
+    /* A standalone if-statement does nothing to the FN_UELS metric */
     if (i == 2) {
         return 0;
@@ -41738,11 +41747,11 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
     return 5;
-    /* foo's FN_UELS == 2 */
+    /* foo's FN_UELS == 1 */
 }
 </pre>
-<pre class="example">     MET,FN_UELS,foo,int foo(int),test.c,1,5,2
+<pre class="example">     MET,FN_UELS,foo,int foo(int),test.c,1,5,1
 </pre>
 <h4 class="subsection">7.12.4 Since</h4>

data/share/doc/users_guide_en.texi CHANGED Viewed

@@ -2,7 +2,7 @@
 @setfilename users_guide_en.info
 @documentlanguage en
 @documentencoding utf-8
-@settitle AdLint 1.12.0 User's Guide
+@settitle AdLint 1.14.0 User's Guide
 @copying
 Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
@@ -26345,18 +26345,19 @@ if(func() == 0) { /* W0644 */
 @subsection Message body
-'void' type cannot use in the type of formal argument.
+`void' cannot be used as the parameter type.
 @subsection Content
-@b{This message will be supported in AdLint 2.0.0}
 Under construction.
 @subsection Sample code
 @verbatim
-/* will be added */
+extern void func(a) /* W0645 */
+void a;
+{
+}
 @end verbatim
 @subsection Related message
@@ -26370,7 +26371,7 @@ Under construction.
 @subsection Since
-2.0.0 (planned)
+1.14.0
 @node W0646
 @section W0646
@@ -28841,8 +28842,6 @@ There is a path with exits with an implicit `return;' statement in a function `%
 @subsection Content
-@b{This message will be supported in AdLint 2.0.0}
 Under construction.
 @subsection Sample code
@@ -28853,7 +28852,7 @@ int func(int value) /* W0697 */
     if (value == 0) {
         return 0;
     }
-    // No return statement at the end of the function.
+    /* No return statement at the end of this function. */
 }
 @end verbatim
@@ -28867,7 +28866,7 @@ int func(int value) /* W0697 */
 @subsection Since
-2.0.0 (planned)
+1.14.0
 @node W0698
 @section W0698
@@ -28945,14 +28944,14 @@ The return value of function `%s()' is unspecified. The return value is implicit
 @subsection Content
-@b{This message will be supported in AdLint 2.0.0}
 Under construction.
 @subsection Sample code
 @verbatim
-/* will be added */
+extern func(void) /* W0700 */
+{
+}
 @end verbatim
 @subsection Related message
@@ -28966,7 +28965,7 @@ Under construction.
 @subsection Since
-2.0.0 (planned)
+1.14.0
 @node W0703
 @section W0703
@@ -34589,8 +34588,6 @@ A value of the `float' typed compound expression is explicitly converted into a
 @subsection Content
-@b{This message will be supported in AdLint 2.0.0}
 Under construction.
 @subsection Sample code
@@ -34611,7 +34608,7 @@ void func(float a)
 @subsection Since
-2.0.0 (planned)
+1.14.0
 @node W1067
 @section W1067
@@ -34623,8 +34620,6 @@ A value of the `float' typed compound expression is explicitly converted into a
 @subsection Content
-@b{This message will be supported in AdLint 2.0.0}
 Under construction.
 @subsection Sample code
@@ -34645,7 +34640,7 @@ void func(float a)
 @subsection Since
-2.0.0 (planned)
+1.14.0
 @node W1068
 @section W1068
@@ -34657,8 +34652,6 @@ A value of the `double' typed compound expression is explicitly converted into a
 @subsection Content
-@b{This message will be supported in AdLint 2.0.0}
 Under construction.
 @subsection Sample code
@@ -34679,7 +34672,7 @@ void func(double a)
 @subsection Since
-2.0.0 (planned)
+1.14.0
 @node W1069
 @section W1069
@@ -34691,14 +34684,21 @@ No trailing `else' clause is found in this `if-else-if' statements chain.
 @subsection Content
-@b{This message will be supported in AdLint 2.0.0}
 Under construction.
 @subsection Sample code
 @verbatim
-/* will be added */
+static int func(int i)
+{
+    if (i == 2) { /* W1069 */
+        return 0;
+    }
+    else if (i == 4) {
+        return 1;
+    }
+    return 2;
+}
 @end verbatim
 @subsection Related message
@@ -34707,7 +34707,7 @@ None.
 @subsection Since
-2.0.0 (planned)
+1.14.0
 @node W1070
 @section W1070
@@ -34719,8 +34719,6 @@ This `switch' statement can be translated into `if-else' statement because there
 @subsection Content
-@b{This message will be supported in AdLint 2.0.0}
 Under construction.
 @subsection Sample code
@@ -34741,7 +34739,7 @@ None.
 @subsection Since
-2.0.0 (planned)
+1.14.0
 @node W1071
 @section W1071
@@ -34789,14 +34787,25 @@ None.
 @subsection Content
-@b{This message will be supported in AdLint 2.0.0}
 Under construction.
 @subsection Sample code
 @verbatim
-/* will be added */
+static int func(int i)
+{
+    if (i == 1) {
+        goto Label1; /* W1072 */
+    }
+    goto Label2; /* W1072 */
+Label1:
+    i = 10;
+Label2:
+    i = 20;
+    return i;
+}
 @end verbatim
 @subsection Related message
@@ -34805,7 +34814,7 @@ None.
 @subsection Since
-2.0.0 (planned)
+1.14.0
 @node W1073
 @section W1073
@@ -35682,12 +35691,11 @@ MET,FN_RETN,bar,int bar(int),test.c,20,5,3
 @cindex FN_UELS
 @subsection Metric name
- Number of 'if' statement unless 'else'
+Number of @code{`if'} statement without @code{`else'} clause
 @subsection Content
-The number of it doesn't have explicit @code{else} section in @code{if} statements.
+The number of @code{`if'} statements which have no explicit @code{else} clause.
 @subsection Sample code
@@ -35706,7 +35714,7 @@ int foo(int i)
     if (j % 2) {
         return -1;
     }
-    /* An implicit else clause makes foo's FN_UELS += 1 */
+    /* A standalone if-statement does nothing to the FN_UELS metric */
     if (i == 2) {
         return 0;
@@ -35718,12 +35726,12 @@ int foo(int i)
     return 5;
-    /* foo's FN_UELS == 2 */
+    /* foo's FN_UELS == 1 */
 }
 @end verbatim
 @example
-MET,FN_UELS,foo,int foo(int),test.c,1,5,2
+MET,FN_UELS,foo,int foo(int),test.c,1,5,1
 @end example
 @subsection Since