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/users_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="node">
 <a name="Top"></a>
 <p><hr>
@@ -30894,14 +30894,14 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.527.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>未定義の動作のため、予期しない動作を引き起こす可能性があります。
+<p>未定義の動作のため、予期しない動作を引き起こす可能性があります。
 <h4 class="subsection">6.527.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">extern void func(a) /* W0645 */
+void a;
+{
+}
 </pre>
 <h4 class="subsection">6.527.4 関連メッセージ</h4>
@@ -30915,7 +30915,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.527.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.14.0
 <div class="node">
 <a name="W0646"></a>
@@ -33778,9 +33778,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.575.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>式を持たない <code>return</code> 文は不定値を返します。
+<p>式を持たない <code>return</code> 文は不定値を返します。
 <h4 class="subsection">6.575.3 サンプルコード</h4>
@@ -33789,7 +33787,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>
@@ -33803,7 +33801,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.575.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.14.0
 <div class="node">
 <a name="W0698"></a>
@@ -33906,14 +33904,13 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.578.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>式を持たない <code>return</code> 文は不定値を返します。
+<p>式を持たない <code>return</code> 文は不定値を返します。
 <h4 class="subsection">6.578.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">extern func(void) /* W0700 */
+{
+}
 </pre>
 <h4 class="subsection">6.578.4 関連メッセージ</h4>
@@ -33926,7 +33923,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.578.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.14.0
 <div class="node">
 <a name="W0703"></a>
@@ -40838,9 +40835,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.731.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>例えばサンプルコードでは <code>float</code> 型変数 <code>a</code> の 2 乗した値が <code>float</code> 型の範囲に収まらないことを想定して
+<p>例えばサンプルコードでは <code>float</code> 型変数 <code>a</code> の 2 乗した値が <code>float</code> 型の範囲に収まらないことを想定して
  <code>double</code> 型変数 <code>b</code> へ代入しています。しかし、環境によっては <code>a * a</code> の演算はいったん <code>float</code> 型として
 結果を出したあとに <code>double</code> 型にキャストされ、<code>b</code> へ代入される場合があります。その場合、<code>a</code> の値によっては精度落ちが起こります。
@@ -40861,7 +40856,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.731.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.14.0
 <div class="node">
 <a name="W1067"></a>
@@ -40882,9 +40877,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.732.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>例えばサンプルコードでは <code>float</code> 型変数 <code>a</code> の 2 乗した値が <code>float</code> 型の範囲に収まらないことを想定して
+<p>例えばサンプルコードでは <code>float</code> 型変数 <code>a</code> の 2 乗した値が <code>float</code> 型の範囲に収まらないことを想定して
  <code>long double</code> 型変数 <code>b</code> へ代入しています。しかし、環境によっては <code>a * a</code> の演算はいったん <code>float</code> 型として
 結果を出したあとに <code>long double</code> 型にキャストされ、<code>b</code> へ代入される場合があります。その場合、<code>a</code> の値によっては精度落ちが起こります。
@@ -40905,7 +40898,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.732.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.14.0
 <div class="node">
 <a name="W1068"></a>
@@ -40926,9 +40919,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.733.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>例えばサンプルコードでは <code>double</code> 型変数 <code>a</code> の 2 乗した値が <code>double</code> 型の範囲に収まらないことを想定して
+<p>例えばサンプルコードでは <code>double</code> 型変数 <code>a</code> の 2 乗した値が <code>double</code> 型の範囲に収まらないことを想定して
  <code>long double</code> 型変数 <code>b</code> へ代入しています。しかし、環境によっては <code>a * a</code> の演算はいったん <code>double</code> 型として
 結果を出したあとに <code>long double</code> 型にキャストされ、<code>b</code> へ代入される場合があります。その場合、<code>a</code> の値によっては精度落ちが起こります。
@@ -40949,7 +40940,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.733.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.14.0
 <div class="node">
 <a name="W1069"></a>
@@ -40970,13 +40961,20 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.734.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p><code>else</code> 節がないと、 <code>else</code> 節を書き忘れているのか、 <code>else</code> 節が発生しない <code>if-else if</code> 文なのかが分からず、混乱を招きます。
+<p><code>else</code> 節がないと、 <code>else</code> 節を書き忘れているのか、 <code>else</code> 節が発生しない <code>if-else if</code> 文なのかが分からず、混乱を招きます。
 <h4 class="subsection">6.734.3 サンプルコード</h4>
-<pre class="verbatim">/* 追記予定 */
+<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 関連メッセージ</h4>
@@ -40985,7 +40983,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.734.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.14.0
 <div class="node">
 <a name="W1070"></a>
@@ -41006,14 +41004,12 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.735.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>深刻な問題ではありませんが、通常 <code>switch</code> 文は 2 つ以上の分岐があることが想定されるので、
+<p>深刻な問題ではありませんが、通常 <code>switch</code> 文は 2 つ以上の分岐があることが想定されるので、
 <code>case</code> 節が 1 つしかない <code>switch</code> 文では、実行パスの定義漏れが疑われます。
 <h4 class="subsection">6.735.3 サンプルコード</h4>
-<pre class="verbatim">switch (x) {
+<pre class="verbatim">switch (x) { /* W1070 */
 case 1:
     ...
     break;
@@ -41028,7 +41024,7 @@ default:
 <h4 class="subsection">6.735.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.14.0
 <div class="node">
 <a name="W1071"></a>
@@ -41093,13 +41089,24 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.737.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>ファイル内で <code>goto</code> 文が使用されています。
+<p>ファイル内で <code>goto</code> 文が使用されています。
 <h4 class="subsection">6.737.3 サンプルコード</h4>
-<pre class="verbatim">/* 追記予定 */
+<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 関連メッセージ</h4>
@@ -41108,7 +41115,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.737.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.14.0
 <div class="node">
 <a name="W1073"></a>
@@ -42168,11 +42175,12 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 <h4 class="subsection">7.12.1 メトリック名</h4>
-<p>関数内の完結していない <code>if</code> 文の数
+<p>関数内の完結していない <code>if-else</code> 文の数
 <h4 class="subsection">7.12.2 内容</h4>
-<p>関数内の <code>if</code> 文中で、明示的な <code>else</code> 節を持たないものの数を示します。
+<p>関数内の <code>if-else</code> 文で、明示的な <code>else</code> 節を持たないものの数を示しま
+す。
 <h4 class="subsection">7.12.3 サンプルコード</h4>
@@ -42190,7 +42198,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;
@@ -42202,11 +42210,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 対応バージョン</h4>

data/share/doc/users_guide_ja.texi CHANGED Viewed

@@ -2,7 +2,7 @@
 @setfilename users_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.
@@ -26680,15 +26680,15 @@ if(func() == 0) { /* W0644 */
 @subsection 内容
-@b{このメッセージは AdLint 2.0.0 で出力する予定です。}
 未定義の動作のため、予期しない動作を引き起こす可能性があります。
 @subsection サンプルコード
-@c{未実装}
 @verbatim
-/* 追記予定 */
+extern void func(a) /* W0645 */
+void a;
+{
+}
 @end verbatim
 @subsection 関連メッセージ
@@ -26702,7 +26702,7 @@ if(func() == 0) { /* W0644 */
 @subsection 対応バージョン
-2.0.0 の予定
+1.14.0
 @node W0646
 @section W0646
@@ -29179,8 +29179,6 @@ extern void assert(int a);
 @subsection 内容
-@b{このメッセージは AdLint 2.0.0 で出力する予定です。}
 式を持たない @code{return} 文は不定値を返します。
 @subsection サンプルコード
@@ -29191,7 +29189,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
@@ -29205,7 +29203,7 @@ int func(int value) /* W0697 */
 @subsection 対応バージョン
-2.0.0 の予定
+1.14.0
 @node W0698
 @section W0698
@@ -29283,15 +29281,14 @@ extern func(void)
 @subsection 内容
-@b{このメッセージは AdLint 2.0.0 で出力する予定です。}
 式を持たない @code{return} 文は不定値を返します。
 @subsection サンプルコード
-@c{未実装}
 @verbatim
-/* 追記予定 */
+extern func(void) /* W0700 */
+{
+}
 @end verbatim
 @subsection 関連メッセージ
@@ -29304,7 +29301,7 @@ extern func(void)
 @subsection 対応バージョン
-2.0.0 の予定
+1.14.0
 @node W0703
 @section W0703
@@ -35002,8 +34999,6 @@ int func(enum Color c)
 @subsection 内容
-@b{このメッセージは AdLint 2.0.0 で出力する予定です。}
 例えばサンプルコードでは @code{float} 型変数 @code{a} の 2 乗した値が @code{float} 型の範囲に収まらないことを想定して
  @code{double} 型変数 @code{b} へ代入しています。しかし、環境によっては @code{a * a} の演算はいったん @code{float} 型として
 結果を出したあとに @code{double} 型にキャストされ、@code{b} へ代入される場合があります。その場合、@code{a} の値によっては精度落ちが起こります。
@@ -35026,7 +35021,7 @@ void func(float a)
 @subsection 対応バージョン
-2.0.0 の予定
+1.14.0
 @node W1067
 @section W1067
@@ -35038,8 +35033,6 @@ void func(float a)
 @subsection 内容
-@b{このメッセージは AdLint 2.0.0 で出力する予定です。}
 例えばサンプルコードでは @code{float} 型変数 @code{a} の 2 乗した値が @code{float} 型の範囲に収まらないことを想定して
  @code{long double} 型変数 @code{b} へ代入しています。しかし、環境によっては @code{a * a} の演算はいったん @code{float} 型として
 結果を出したあとに @code{long double} 型にキャストされ、@code{b} へ代入される場合があります。その場合、@code{a} の値によっては精度落ちが起こります。
@@ -35062,7 +35055,7 @@ void func(float a)
 @subsection 対応バージョン
-2.0.0 の予定
+1.14.0
 @node W1068
 @section W1068
@@ -35074,8 +35067,6 @@ void func(float a)
 @subsection 内容
-@b{このメッセージは AdLint 2.0.0 で出力する予定です。}
 例えばサンプルコードでは @code{double} 型変数 @code{a} の 2 乗した値が @code{double} 型の範囲に収まらないことを想定して
  @code{long double} 型変数 @code{b} へ代入しています。しかし、環境によっては @code{a * a} の演算はいったん @code{double} 型として
 結果を出したあとに @code{long double} 型にキャストされ、@code{b} へ代入される場合があります。その場合、@code{a} の値によっては精度落ちが起こります。
@@ -35098,7 +35089,7 @@ void func(double a)
 @subsection 対応バージョン
-2.0.0 の予定
+1.14.0
 @node W1069
 @section W1069
@@ -35108,17 +35099,23 @@ void func(double a)
 この `if-else-if' 文には、末尾の `else' 節がありません。
 @subsection 内容
-@b{このメッセージは AdLint 2.0.0 で出力する予定です。}
 @code{else} 節がないと、 @code{else} 節を書き忘れているのか、 @code{else} 節が発生しない @code{if-else if} 文なのかが分からず、混乱を招きます。
 @subsection サンプルコード
 @verbatim
-/* 追記予定 */
+static int func(int i)
+{
+    if (i == 2) { /* W1069 */
+        return 0;
+    }
+    else if (i == 4) {
+        return 1;
+    }
+    return 2;
+}
 @end verbatim
 @subsection 関連メッセージ
@@ -35127,7 +35124,7 @@ void func(double a)
 @subsection 対応バージョン
-2.0.0 の予定
+1.14.0
 @node W1070
 @section W1070
@@ -35139,15 +35136,13 @@ void func(double a)
 @subsection 内容
-@b{このメッセージは AdLint 2.0.0 で出力する予定です。}
 深刻な問題ではありませんが、通常 @code{switch} 文は 2 つ以上の分岐があることが想定されるので、
 @code{case} 節が 1 つしかない @code{switch} 文では、実行パスの定義漏れが疑われます。
 @subsection サンプルコード
 @verbatim
-switch (x) {
+switch (x) { /* W1070 */
 case 1:
     ...
     break;
@@ -35162,7 +35157,7 @@ default:
 @subsection 対応バージョン
-2.0.0 の予定
+1.14.0
 @node W1071
 @section W1071
@@ -35210,14 +35205,26 @@ int func(int a)
 @subsection 内容
-@b{このメッセージは AdLint 2.0.0 で出力する予定です。}
 ファイル内で @code{goto} 文が使用されています。
 @subsection サンプルコード
 @verbatim
-/* 追記予定 */
+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 関連メッセージ
@@ -35226,7 +35233,7 @@ int func(int a)
 @subsection 対応バージョン
-2.0.0 の予定
+1.14.0
 @node W1073
 @section W1073
@@ -36122,11 +36129,12 @@ MET,FN_RETN,bar,int bar(int),test.c,20,5,3
 @subsection メトリック名
-関数内の完結していない @code{if} 文の数
+関数内の完結していない @code{if-else} 文の数
 @subsection 内容
-関数内の @code{if} 文中で、明示的な @code{else} 節を持たないものの数を示します。
+関数内の @code{if-else} 文で、明示的な @code{else} 節を持たないものの数を示しま
+す。
 @subsection サンプルコード
@@ -36145,7 +36153,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;
@@ -36157,12 +36165,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 対応バージョン

metadata CHANGED Viewed

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: adlint
 version: !ruby/object:Gem::Version
-  version: 1.12.0
+  version: 1.14.0
   prerelease:
 platform: ruby
 authors:
@@ -9,7 +9,7 @@ authors:
 autorequire:
 bindir: bin
 cert_chain: []
-date: 2012-06-20 00:00:00.000000000 Z
+date: 2012-07-04 00:00:00.000000000 Z
 dependencies: []
 description: ! 'AdLint is a source code static analyzer.
@@ -68,15 +68,19 @@ files:
 - features/message_detection/W0010.feature
 - features/message_detection/W0013.feature
 - features/message_detection/W0093.feature
+- features/message_detection/W0104.feature
 - features/message_detection/W0109.feature
 - features/message_detection/W0583.feature
 - features/message_detection/W0606.feature
+- features/message_detection/W0645.feature
 - features/message_detection/W0687.feature
 - features/message_detection/W0688.feature
 - features/message_detection/W0689.feature
 - features/message_detection/W0690.feature
+- features/message_detection/W0697.feature
 - features/message_detection/W0698.feature
 - features/message_detection/W0699.feature
+- features/message_detection/W0700.feature
 - features/message_detection/W0703.feature
 - features/message_detection/W0716.feature
 - features/message_detection/W0717.feature
@@ -88,6 +92,12 @@ files:
 - features/message_detection/W0735.feature
 - features/message_detection/W1031.feature
 - features/message_detection/W1052.feature
+- features/message_detection/W1066.feature
+- features/message_detection/W1067.feature
+- features/message_detection/W1068.feature
+- features/message_detection/W1069.feature
+- features/message_detection/W1070.feature
+- features/message_detection/W1072.feature
 - features/message_detection/W9001.feature
 - features/message_detection/W9003.feature
 - features/step_definitions/message_detection_steps.rb