RubyGems - adlint - Versions diffs - 1.6.0 → 1.8.0 - Mend

adlint 1.6.0 → 1.8.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 (50) hide show

data/ChangeLog +389 -37
data/INSTALL +3 -0
data/MANIFEST +7 -0
data/NEWS +50 -10
data/etc/conf.d/i686-mingw/cinit-gcc_4.6.1.erb +1 -1
data/etc/mesg.d/en_US/messages.yml +7 -7
data/etc/mesg.d/ja_JP/messages.yml +4 -4
data/lib/adlint/c/branch.rb +4 -4
data/lib/adlint/c/code.rb +11 -13
data/lib/adlint/c/enum.rb +0 -2
data/lib/adlint/c/environ.rb +13 -7
data/lib/adlint/c/expr.rb +5 -1
data/lib/adlint/c/interp.rb +10 -6
data/lib/adlint/c/mediator.rb +1 -0
data/lib/adlint/c/message.rb +294 -111
data/lib/adlint/c/message_shima.rb +63 -0
data/lib/adlint/c/metric.rb +25 -13
data/lib/adlint/c/object.rb +168 -31
data/lib/adlint/c/parser.rb +3 -3
data/lib/adlint/c/phase.rb +20 -3
data/lib/adlint/c/syntax.rb +175 -17
data/lib/adlint/c/value.rb +199 -126
data/lib/adlint/cpp/asm.rb +4 -4
data/lib/adlint/cpp/constexpr.rb +1 -1
data/lib/adlint/cpp/eval.rb +6 -4
data/lib/adlint/cpp/message.rb +100 -7
data/lib/adlint/cpp/phase.rb +12 -1
data/lib/adlint/cpp/source.rb +2 -2
data/lib/adlint/cpp/subst.rb +2 -4
data/lib/adlint/lang.rb +5 -3
data/lib/adlint/ld/metric.rb +1 -1
data/lib/adlint/version.rb +2 -2
data/share/demo/Makefile +5 -0
data/share/demo/bad_include/bad_include.c +13 -0
data/share/demo/bad_include/test'1'.h +0 -0
data/share/demo/bad_include/test'2'.h +0 -0
data/share/demo/incomplete_ifelse/incomplete_ifelse.c +29 -0
data/share/demo/inline_asm/inline_asm.c +25 -0
data/share/demo/invalid_call/invalid_call.c +12 -4
data/share/demo/logical_expr/logical_expr.c +73 -0
data/share/demo/register_vars/register_vars.c +12 -0
data/share/demo/typedef_each_src/typedef_each_src.c +9 -0
data/share/demo/wrap_around/wrap_around.c +17 -0
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 +137 -102
data/share/doc/users_guide_en.texi +121 -86
data/share/doc/users_guide_ja.html +118 -91
data/share/doc/users_guide_ja.texi +103 -76
metadata +10 -3

data/share/doc/users_guide_ja.html CHANGED Viewed

@@ -1,8 +1,8 @@
 <html lang="ja">
 <head>
-<title>AdLint 1.6.0 利用者ガイド</title>
+<title>AdLint 1.8.0 利用者ガイド</title>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
-<meta name="description" content="AdLint 1.6.0 利用者ガイド">
+<meta name="description" content="AdLint 1.8.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.6.0 利用者ガイド</h1>
+<h1 class="settitle">AdLint 1.8.0 利用者ガイド</h1>
 <div class="node">
 <a name="Top"></a>
 <p><hr>
@@ -2600,7 +2600,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
 <li><a href="#W0535">W0535</a>: for 文の制御式の中にカンマ演算子が使われています。
 <li><a href="#W0538">W0538</a>: この default ラベルは、switch 文内の最後のラベルではありません。
 <li><a href="#W0540">W0540</a>: 空の仮引数並びの関数が定義されています。`void' が省略されています。
-<li><a href="#W0541">W0541</a>: この関数には C コードとインラインアセンブリコードが混在しています。
+<li><a href="#W0541">W0541</a>: マクロで隠蔽されないインラインアセンブリコードです。
 <li><a href="#W0542">W0542</a>: 関数宣言の仮引数の一部にのみ識別子が存在します。
 <li><a href="#W0543">W0543</a>: この関数宣言における仮引数の識別子は、以前の宣言の仮引数の識別子と異なります。
 <li><a href="#W0544">W0544</a>: 関数宣言の仮引数の識別子と関数ポインタの宣言の仮引数の識別子が異なります。
@@ -2665,8 +2665,8 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
 <li><a href="#W0627">W0627</a>: 一行に、空文(`;' だけの文)が、他のコードの後にあります。
 <li><a href="#W0628">W0628</a>: 関数 `%s' が定義されていますが、このプロジェクトでは使われていません。
 <li><a href="#W0629">W0629</a>: static 関数 `%s()' は、この翻訳単位の中で使われていません。
-<li><a href="#W0632">W0632</a>: `#include &lt;%s&gt;' の中で `''、`"' または `/*' を使うと、未定義の動作になります。
-<li><a href="#W0633">W0633</a>: `#include "%s"' の中で `'' や `/*' を使うと、未定義の動作になります。
+<li><a href="#W0632">W0632</a>: `#include &lt;%s&gt;' の中で ' や " 文字を使うと、未定義の動作になります。
+<li><a href="#W0633">W0633</a>: `#include "%s"' の中で ' 文字を使うと、未定義の動作になります。
 <li><a href="#W0634">W0634</a>: `#include' 行の中で `\' を使っています。パス区切り文字としては `/' を勧めます。
 <li><a href="#W0635">W0635</a>: %s 番目の変換指定子と、対応する実引数の型が合いません。
 <li><a href="#W0636">W0636</a>: %s 番目の変換指定子に対応する実引数が存在しません。
@@ -27514,7 +27514,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.449.1 メッセージ本文</h4>
-<p>この関数には C コードとインラインアセンブリコードが混在しています。
+<p>マクロで隠蔽されないインラインアセンブリコードです。
 <h4 class="subsection">6.449.2 内容</h4>
@@ -27522,7 +27522,9 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.449.3 サンプルコード</h4>
-<pre class="verbatim">void foo(int arg1, int *arg2, int arg3)
+<pre class="verbatim">#define ASM_CODE asm("movl %ecx, %eax")
+void foo(int arg1, int *arg2, int arg3)
 {
     asm("movl %ecx, %eax"); /* W0541 */
     __asm__("movl %ecx, (%eax)"); /* W0541 */
@@ -27531,6 +27533,8 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
         xorl eax, eax
     }
+    ASM_CODE; /* OK */
     __asm__ volatile ( /* W0541 */
             "int $0x80"
             : "=a" (r)
@@ -29639,17 +29643,16 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.498.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>明らかに負になることが明らかな整数は、負の数として扱われることが想定されます。
+<p>明らかに負になることが明らかな整数は、負の数として扱われることが想定されます。
 そのような値が符号無し型に変換されることで意図しない動作を引き起こす可能性があります。
 <h4 class="subsection">6.498.3 サンプルコード</h4>
-<pre class="verbatim">int a = func();
-if (a &lt; 0) {
-    unsigned int b = a; /* W0607 */
+<pre class="verbatim">void func(int a)
+{
+    if (a &lt; 0) {
+        unsigned int b = (unsigned int) a; /* W0607 */
+    }
 }
 </pre>
@@ -29661,7 +29664,7 @@ if (a &lt; 0) {
 <h4 class="subsection">6.498.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.8.0
 <div class="node">
 <a name="W0608"></a>
@@ -29682,15 +29685,19 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.499.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>明らかに負になることが明らかな整数は、負の数として扱われることが想定されます。
+<p>明らかに負になることが明らかな整数は、負の数として扱われることが想定されます。
 そのような値が符号無し型に変換されることで意図しない動作を引き起こす可能性があります。
 <h4 class="subsection">6.499.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">void fuu(int a)
+{
+    unsigned char b;
+    if (a &lt; 256) {
+        b = (unsigned char) a; /* W0608 */
+    }
+}
 </pre>
 <h4 class="subsection">6.499.4 関連メッセージ</h4>
@@ -29701,7 +29708,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.499.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.8.0
 <div class="node">
 <a name="W0609"></a>
@@ -30125,14 +30132,18 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.509.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p><code>typedef</code> 宣言はヘッダファイル内でのみ行うべきです。このような記述は保守性を低下させます。
+<p><code>typedef</code> 宣言はヘッダファイル内でのみ行うべきです。このような記述は保守性を低下させます。
 <h4 class="subsection">6.509.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">typedef int *INT_PTR; /* W0625 */
+extern INT_PTR func(void);
+INT_PTR func(void)
+{
+    return 0;
+}
 </pre>
 <h4 class="subsection">6.509.4 関連メッセージ</h4>
@@ -30141,7 +30152,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.509.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.8.0
 <div class="node">
 <a name="W0626"></a>
@@ -30328,30 +30339,27 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.514.1 メッセージ本文</h4>
-<p>`#include &lt;%s&gt;' の中で `&rdquo;、`"' または `/*' を使うと、未定義の動作になります。
+<p>`<code>#include &lt;%s&gt;</code>' の中で ' や " 文字を使うと、未定義の動作になります。
 <h4 class="subsection">6.514.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>`<code>'</code>'、`<code>"</code>' または `<code>/*</code>' を <code>#include</code> 文で使用すると、未定義の動作になります。
+<p>`<code>'</code>'、`<code>"</code>' または `<code>/*</code>' を <code>#include</code> 文で使用すると、未定義の動作になります。
 <h4 class="subsection">6.514.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">#include &lt;NG'_header.h> /* W0632 */
 </pre>
 <h4 class="subsection">6.514.4 関連メッセージ</h4>
      <ul>
-<li><a href="#W0633">W0633</a> `#include "%s"' の中で `&rdquo; や `/*' を使うと、未定義の動作になります。
+<li><a href="#W0633">W0633</a> `#include "%s"' の中で ' 文字を使うと、未定義の動作になります。
 <li><a href="#W0634">W0634</a> `#include' 行の中で `\' を使っています。パス区切り文字としては `/' を勧めます。
 </ul>
 <h4 class="subsection">6.514.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.8.0
 <div class="node">
 <a name="W0633"></a>
@@ -30368,30 +30376,27 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.515.1 メッセージ本文</h4>
-<p>`<code>#include "%s"</code>' の中で `<code>'</code>' や `<code>/*</code>' を使うと、未定義の動作になります。
+<p>`<code>#include "%s"</code>' の中で ' 文字を使うと、未定義の動作になります。
 <h4 class="subsection">6.515.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>`<code>'</code>'、`<code>"</code>' または `<code>/*</code>' を <code>#include</code> 文で使用すると、未定義の動作になります。
+<p>`<code>'</code>' を <code>#include</code> 文で使用すると、未定義の動作になります。
 <h4 class="subsection">6.515.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">#include "NG'_header.h" /* W0633 */
 </pre>
 <h4 class="subsection">6.515.4 関連メッセージ</h4>
      <ul>
-<li><a href="#W0632">W0632</a> `#include &lt;%s&gt;' の中で `&rdquo;、`"' または `/*' を使うと、未定義の動作になります。
+<li><a href="#W0632">W0632</a> `#include &lt;%s&gt;' の中で ' や " 文字を使うと、未定義の動作になります。
 <li><a href="#W0634">W0634</a> `#include' 行の中で `\' を使っています。パス区切り文字としては `/' を勧めます。
 </ul>
 <h4 class="subsection">6.515.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.8.0
 <div class="node">
 <a name="W0634"></a>
@@ -30412,26 +30417,24 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.516.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p><code>\</code> は PC 環境におけるパス区切り文字であり、<code>#include</code> 文で使用することで移植性を損ないます。
+<p><code>\</code> は PC 環境におけるパス区切り文字であり、<code>#include</code> 文で使用することで移植性を損ないます。
 <h4 class="subsection">6.516.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">#include "..\ng\header.h" /* W0634 */
+#include "..\\ng\\header.h" /* W0634 */
 </pre>
 <h4 class="subsection">6.516.4 関連メッセージ</h4>
      <ul>
-<li><a href="#W0632">W0632</a> `#include &lt;%s&gt;' の中で `&rdquo;、`"' または `/*' を使うと、未定義の動作になります。
-<li><a href="#W0633">W0633</a> `#include "%s"' の中で `&rdquo; や `/*' を使うと、未定義の動作になります。
+<li><a href="#W0632">W0632</a> `#include &lt;%s&gt;' の中で ' や " 文字を使うと、未定義の動作になります。
+<li><a href="#W0633">W0633</a> `#include "%s"' の中で ' 文字を使うと、未定義の動作になります。
 </ul>
 <h4 class="subsection">6.516.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.8.0
 <div class="node">
 <a name="W0635"></a>
@@ -30742,14 +30745,17 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.524.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>未定義の動作のため、予期しない動作を引き起こす可能性があります。
+<p>未定義の動作のため、予期しない動作を引き起こす可能性があります。
 <h4 class="subsection">6.524.3 サンプルコード</h4>
-<pre class="verbatim">register int arr1[3]; /* W0642 */
-int* p = arr1;
+<pre class="verbatim">void func(void)
+{
+    register int a[3];
+    int *p1 = a; /* W0642 */
+    int *p2 = &amp;a[1]; /* W0642 */
+}
 </pre>
 <h4 class="subsection">6.524.4 関連メッセージ</h4>
@@ -30763,7 +30769,7 @@ int* p = arr1;
 <h4 class="subsection">6.524.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.8.0
 <div class="node">
 <a name="W0643"></a>
@@ -34132,13 +34138,14 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.584.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>このような記述は誤りの可能性があります。
+<p>このような記述は誤りの可能性があります。
 <h4 class="subsection">6.584.3 サンプルコード</h4>
-<pre class="verbatim">x = (a + b) > (c > d); /* W0711 */
+<pre class="verbatim">int func(int a, int b, int c, int d)
+{
+    return (a + b) > (c > d); /* W0711 */
+}
 </pre>
 <h4 class="subsection">6.584.4 関連メッセージ</h4>
@@ -34150,7 +34157,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.584.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.8.0
 <div class="node">
 <a name="W0712"></a>
@@ -34171,13 +34178,14 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.585.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>このような記述は誤りの可能性があります。
+<p>このような記述は誤りの可能性があります。
 <h4 class="subsection">6.585.3 サンプルコード</h4>
-<pre class="verbatim">x = (a > b) > (c + d); /* W0712 */
+<pre class="verbatim">int func(int a, int b, int c, int d)
+{
+    return (a > b) > (c + d); /* W0712 */
+}
 </pre>
 <h4 class="subsection">6.585.4 関連メッセージ</h4>
@@ -34189,7 +34197,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.585.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.8.0
 <div class="node">
 <a name="W0713"></a>
@@ -34210,13 +34218,14 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.586.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>このような記述は誤りの可能性があります。
+<p>このような記述は誤りの可能性があります。
 <h4 class="subsection">6.586.3 サンプルコード</h4>
-<pre class="verbatim">x = (a > b) > (c > d); /* W0713 */
+<pre class="verbatim">int func(int a, int b, int c, int d)
+{
+    return (a > b) > (c > d); /* W0713 */
+}
 </pre>
 <h4 class="subsection">6.586.4 関連メッセージ</h4>
@@ -34228,7 +34237,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.586.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.8.0
 <div class="node">
 <a name="W0714"></a>
@@ -34249,14 +34258,14 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.587.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>このような記述は誤りの可能性があります。
+<p>このような記述は誤りの可能性があります。
 <h4 class="subsection">6.587.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">int func(int a, int b, int c, int d)
+{
+    return (a > b) &amp; (c > d); /* W0714 */
+}
 </pre>
 <h4 class="subsection">6.587.4 関連メッセージ</h4>
@@ -34270,7 +34279,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.587.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.8.0
 <div class="node">
 <a name="W0715"></a>
@@ -34291,14 +34300,14 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.588.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>このような記述は誤りの可能性があります。
+<p>このような記述は誤りの可能性があります。
 <h4 class="subsection">6.588.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">int func(int a, int b, int c, int d)
+{
+    return (a > b) | (c > d); /* W0715 */
+}
 </pre>
 <h4 class="subsection">6.588.4 関連メッセージ</h4>
@@ -34312,7 +34321,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.588.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.8.0
 <div class="node">
 <a name="W0716"></a>
@@ -38697,14 +38706,32 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.684.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>インライン・アセンブラ構文は、言語拡張に該当するため、移植性を低下させます。
+<p>インライン・アセンブラ構文は、言語拡張に該当するため、移植性を低下させます。
 <h4 class="subsection">6.684.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">#define ASM_CODE asm("movl %ecx, %eax")
+void foo(int arg1, int *arg2, int arg3)
+{
+    asm("movl %ecx, %eax"); /* W0832 */
+    __asm__("movl %ecx, (%eax)"); /* W0832 */
+    asm { /* W0832 */
+        xorl eax, eax
+    }
+    ASM_CODE; /* W0832 */
+    __asm__ volatile ( /* W0832 */
+            "int $0x80"
+            : "=a" (r)
+              "+b" (arg1),
+              "+c" (arg2),
+              "+d" (arg3)
+            : "a" (128)
+            : "memory", "cc");
+}
 </pre>
 <h4 class="subsection">6.684.4 関連メッセージ</h4>
@@ -38715,7 +38742,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.684.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.8.0
 <div class="node">
 <a name="W0833"></a>