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

adlint 1.12.0 → 1.14.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 (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