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

adlint 1.8.10 → 1.10.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 (56) hide show

data/ChangeLog +261 -3
data/MANIFEST +25 -1
data/NEWS +25 -5
data/Rakefile +11 -0
data/TODO +0 -1
data/etc/mesg.d/en_US/messages.yml +1 -1
data/etc/mesg.d/ja_JP/messages.yml +1 -1
data/features/message_detection/W0001.feature +41 -0
data/features/message_detection/W0002.feature +68 -0
data/features/message_detection/W0003.feature +134 -0
data/features/message_detection/W0007.feature +264 -0
data/features/message_detection/W0010.feature +75 -0
data/features/message_detection/W0013.feature +189 -0
data/features/message_detection/W0109.feature +50 -0
data/features/message_detection/W0583.feature +30 -0
data/features/message_detection/W0606.feature +20 -0
data/features/message_detection/W0698.feature +20 -0
data/features/message_detection/W0699.feature +21 -0
data/features/message_detection/W0703.feature +73 -0
data/features/message_detection/W0716.feature +67 -0
data/features/message_detection/W0717.feature +64 -0
data/features/message_detection/W0718.feature +64 -0
data/features/message_detection/W0723.feature +18 -0
data/features/message_detection/W1031.feature +328 -0
data/features/step_definitions/message_detection_steps.rb +45 -0
data/features/support/env.rb +58 -0
data/lib/adlint/c/branch.rb +16 -23
data/lib/adlint/c/code.rb +1 -12
data/lib/adlint/c/conv.rb +4 -4
data/lib/adlint/c/ctrlexpr.rb +10 -6
data/lib/adlint/c/domain.rb +2 -2
data/lib/adlint/c/expr.rb +11 -33
data/lib/adlint/c/format.rb +6 -6
data/lib/adlint/c/interp.rb +137 -80
data/lib/adlint/c/mediator.rb +5 -2
data/lib/adlint/c/message.rb +123 -140
data/lib/adlint/c/message_shima.rb +44 -0
data/lib/adlint/c/object.rb +93 -26
data/lib/adlint/c/option.rb +53 -0
data/lib/adlint/c/phase.rb +4 -1
data/lib/adlint/c/type.rb +112 -46
data/lib/adlint/c.rb +1 -0
data/lib/adlint/version.rb +3 -3
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 +35 -28
data/share/doc/users_guide_en.texi +30 -22
data/share/doc/users_guide_ja.html +35 -31
data/share/doc/users_guide_ja.texi +30 -24
data/spec/adlint/c/type_spec.rb +110 -0
data/spec/conf.d/default_traits.yml +216 -0
data/spec/conf.d/empty_cinit.h +11 -0
data/spec/conf.d/empty_pinit.h +11 -0
data/spec/spec_helper.rb +49 -0
metadata +27 -3
data/spec/MUST_WRITE_SPECS_WITH_RSPEC +0 -0

data/share/doc/users_guide_en.html CHANGED Viewed

@@ -1,8 +1,8 @@
 <html lang="en">
 <head>
-<title>AdLint 1.8.10 User's Guide</title>
+<title>AdLint 1.10.0 User's Guide</title>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
-<meta name="description" content="AdLint 1.8.10 User's Guide">
+<meta name="description" content="AdLint 1.10.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.8.10 User's Guide</h1>
+<h1 class="settitle">AdLint 1.10.0 User's Guide</h1>
 <div class="node">
 <a name="Top"></a>
 <p><hr>
@@ -3429,18 +3429,18 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <pre class="verbatim">int value;
 int number;
-switch(number) {
+switch (number) {
 case 1:
     value = 1;
     break;
 case 2:
     value = 2;
-case 3; /* W0007 */
+case 3: /* W0007 */
     value = 3;
     break;
 default:
-   value = 0;
-   break;
+    value = 0;
+    break;
 }
 </pre>
@@ -3509,13 +3509,17 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.19.3 Sample code</h4>
-<pre class="verbatim">int value = 0;
-int number = 1;
+<pre class="verbatim">static void foo(void)
+{
+    int i;
+    int j;
-for (int i=0; i&lt;20; i++) {
-    value++;
-    if (value &lt; 10) {
-        continue; /* W0013 */
+    i++;
+    for (i = 1, j = 0; i &lt; 20; i++) {
+        j += 2;
+        if ((j % i) == 3) {
+            continue;  /* W0013 */
+        }
     }
 }
 </pre>
@@ -33967,13 +33971,14 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.589.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.589.3 Sample code</h4>
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">int func(int a, int b, int c, int d)
+{
+    return (a > b) + (c > d); /* W0716 */
+}
 </pre>
 <h4 class="subsection">6.589.4 Related message</h4>
@@ -33987,7 +33992,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.589.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.10.0
 <div class="node">
 <a name="W0717"></a>
@@ -34008,13 +34013,14 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.590.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.590.3 Sample code</h4>
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">int func(int a, int b, int c)
+{
+    return (a > b) + c; /* W0717 */
+}
 </pre>
 <h4 class="subsection">6.590.4 Related message</h4>
@@ -34028,7 +34034,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.590.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.10.0
 <div class="node">
 <a name="W0718"></a>
@@ -34049,13 +34055,14 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.591.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.591.3 Sample code</h4>
-<pre class="verbatim">/* will be added */
+<pre class="verbatim">int func(int a, int b, int c)
+{
+    return a + (b > c);  /* W0718 */
+}
 </pre>
 <h4 class="subsection">6.591.4 Related message</h4>
@@ -34069,7 +34076,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.591.5 Since</h4>
-<p>2.0.0 (planned)
+<p>1.10.0
 <div class="node">
 <a name="W0719"></a>

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.8.10 User's Guide
+@settitle AdLint 1.10.0 User's Guide
 @copying
 Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
@@ -3291,18 +3291,18 @@ Under construction.
 @verbatim
 int value;
 int number;
-switch(number) {
+switch (number) {
 case 1:
     value = 1;
     break;
 case 2:
     value = 2;
-case 3; /* W0007 */
+case 3: /* W0007 */
     value = 3;
     break;
 default:
-   value = 0;
-   break;
+    value = 0;
+    break;
 }
 @end verbatim
@@ -3355,13 +3355,17 @@ Under construction.
 @subsection Sample code
 @verbatim
-int value = 0;
-int number = 1;
+static void foo(void)
+{
+    int i;
+    int j;
-for (int i=0; i<20; i++) {
-    value++;
-    if (value < 10) {
-        continue; /* W0013 */
+    i++;
+    for (i = 1, j = 0; i < 20; i++) {
+        j += 2;
+        if ((j % i) == 3) {
+            continue;  /* W0013 */
+        }
     }
 }
 @end verbatim
@@ -29292,14 +29296,16 @@ A bit operator or both sides operand of arithmetic operator is a substantive 'bo
 @subsection Content
-@b{This message will be supported in AdLint 2.0.0}
 Under construction.
 @subsection Sample code
 @verbatim
-/* will be added */
+int func(int a, int b, int c, int d)
+{
+    return (a > b) + (c > d); /* W0716 */
+}
 @end verbatim
 @subsection Related message
@@ -29313,7 +29319,7 @@ Under construction.
 @subsection Since
-2.0.0 (planned)
+1.10.0
 @node W0717
 @section W0717
@@ -29325,14 +29331,15 @@ A bit operator or left side operand of arithmetic operator is a substantive 'boo
 @subsection Content
-@b{This message will be supported in AdLint 2.0.0}
 Under construction.
 @subsection Sample code
 @verbatim
-/* will be added */
+int func(int a, int b, int c)
+{
+    return (a > b) + c; /* W0717 */
+}
 @end verbatim
 @subsection Related message
@@ -29346,7 +29353,7 @@ Under construction.
 @subsection Since
-2.0.0 (planned)
+1.10.0
 @node W0718
 @section W0718
@@ -29358,14 +29365,15 @@ A bit operator or right side operand of arithmetic operator is a substantive 'bo
 @subsection Content
-@b{This message will be supported in AdLint 2.0.0}
 Under construction.
 @subsection Sample code
 @verbatim
-/* will be added */
+int func(int a, int b, int c)
+{
+    return a + (b > c);  /* W0718 */
+}
 @end verbatim
 @subsection Related message
@@ -29379,7 +29387,7 @@ Under construction.
 @subsection Since
-2.0.0 (planned)
+1.10.0
 @node W0719
 @section W0719

data/share/doc/users_guide_ja.html CHANGED Viewed

@@ -1,8 +1,8 @@
 <html lang="ja">
 <head>
-<title>AdLint 1.8.10 利用者ガイド</title>
+<title>AdLint 1.10.0 利用者ガイド</title>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
-<meta name="description" content="AdLint 1.8.10 利用者ガイド">
+<meta name="description" content="AdLint 1.10.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.8.10 利用者ガイド</h1>
+<h1 class="settitle">AdLint 1.10.0 利用者ガイド</h1>
 <div class="node">
 <a name="Top"></a>
 <p><hr>
@@ -3517,18 +3517,18 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <pre class="verbatim">int value;
 int number;
-switch(number) {
+switch (number) {
 case 1:
     value = 1;
     break;
 case 2:
     value = 2;
-case 3; /* W0007 */
+case 3: /* W0007 */
     value = 3;
     break;
 default:
-   value = 0;
-   break;
+    value = 0;
+    break;
 }
 </pre>
@@ -3598,13 +3598,17 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.19.3 サンプルコード</h4>
-<pre class="verbatim">int value = 0;
-int number = 1;
+<pre class="verbatim">static void foo(void)
+{
+    int i;
+    int j;
-for (int i=0; i&lt;20; i++) {
-    value++;
-    if (value &lt; 10) {
-        continue; /* W0013 */
+    i++;
+    for (i = 1, j = 0; i &lt; 20; i++) {
+        j += 2;
+        if ((j % i) == 3) {
+            continue;  /* W0013 */
+        }
     }
 }
 </pre>
@@ -34342,14 +34346,14 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.589.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>このような記述は誤りの可能性があります。
+<p>このような記述は誤りの可能性があります。
 <h4 class="subsection">6.589.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">int func(int a, int b, int c, int d)
+{
+    return (a > b) + (c > d); /* W0716 */
+}
 </pre>
 <h4 class="subsection">6.589.4 関連メッセージ</h4>
@@ -34363,7 +34367,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.589.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.10.0
 <div class="node">
 <a name="W0717"></a>
@@ -34384,14 +34388,14 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.590.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>このような記述は誤りの可能性があります。
+<p>このような記述は誤りの可能性があります。
 <h4 class="subsection">6.590.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">int func(int a, int b, int c)
+{
+    return (a > b) + c; /* W0717 */
+}
 </pre>
 <h4 class="subsection">6.590.4 関連メッセージ</h4>
@@ -34405,7 +34409,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.590.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.10.0
 <div class="node">
 <a name="W0718"></a>
@@ -34426,14 +34430,14 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.591.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>このような記述は誤りの可能性があります。
+<p>このような記述は誤りの可能性があります。
 <h4 class="subsection">6.591.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">int func(int a, int b, int c)
+{
+    return a + (b > c);  /* W0718 */
+}
 </pre>
 <h4 class="subsection">6.591.4 関連メッセージ</h4>
@@ -34447,7 +34451,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.591.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.10.0
 <div class="node">
 <a name="W0719"></a>

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.8.10 利用者ガイド
+@settitle AdLint 1.10.0 利用者ガイド
 @copying
 Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
@@ -3371,18 +3371,18 @@ int foo(int i)
 @verbatim
 int value;
 int number;
-switch(number) {
+switch (number) {
 case 1:
     value = 1;
     break;
 case 2:
     value = 2;
-case 3; /* W0007 */
+case 3: /* W0007 */
     value = 3;
     break;
 default:
-   value = 0;
-   break;
+    value = 0;
+    break;
 }
 @end verbatim
@@ -3436,13 +3436,17 @@ x = (a > 0) ? b++ : b--; /* W0010 */
 @subsection サンプルコード
 @verbatim
-int value = 0;
-int number = 1;
+static void foo(void)
+{
+    int i;
+    int j;
-for (int i=0; i<20; i++) {
-    value++;
-    if (value < 10) {
-        continue; /* W0013 */
+    i++;
+    for (i = 1, j = 0; i < 20; i++) {
+        j += 2;
+        if ((j % i) == 3) {
+            continue;  /* W0013 */
+        }
     }
 }
 @end verbatim
@@ -29631,15 +29635,15 @@ int func(int a, int b, int c, int d)
 @subsection 内容
-@b{このメッセージは AdLint 2.0.0 で出力する予定です。}
 このような記述は誤りの可能性があります。
 @subsection サンプルコード
-@c{未実装}
 @verbatim
-/* 追記予定 */
+int func(int a, int b, int c, int d)
+{
+    return (a > b) + (c > d); /* W0716 */
+}
 @end verbatim
 @subsection 関連メッセージ
@@ -29653,7 +29657,7 @@ int func(int a, int b, int c, int d)
 @subsection 対応バージョン
-2.0.0 の予定
+1.10.0
 @node W0717
 @section W0717
@@ -29665,15 +29669,16 @@ int func(int a, int b, int c, int d)
 @subsection 内容
-@b{このメッセージは AdLint 2.0.0 で出力する予定です。}
 このような記述は誤りの可能性があります。
 @subsection サンプルコード
-@c{未実装}
 @verbatim
-/* 追記予定 */
+int func(int a, int b, int c)
+{
+    return (a > b) + c; /* W0717 */
+}
 @end verbatim
 @subsection 関連メッセージ
@@ -29687,7 +29692,7 @@ int func(int a, int b, int c, int d)
 @subsection 対応バージョン
-2.0.0 の予定
+1.10.0
 @node W0718
 @section W0718
@@ -29699,15 +29704,16 @@ int func(int a, int b, int c, int d)
 @subsection 内容
-@b{このメッセージは AdLint 2.0.0 で出力する予定です。}
 このような記述は誤りの可能性があります。
 @subsection サンプルコード
-@c{未実装}
 @verbatim
-/* 追記予定 */
+int func(int a, int b, int c)
+{
+    return a + (b > c);  /* W0718 */
+}
 @end verbatim
 @subsection 関連メッセージ
@@ -29721,7 +29727,7 @@ int func(int a, int b, int c, int d)
 @subsection 対応バージョン
-2.0.0 の予定
+1.10.0
 @node W0719
 @section W0719

data/spec/adlint/c/type_spec.rb ADDED Viewed

@@ -0,0 +1,110 @@
+# Unit specification of C type models.
+#
+# Author::    Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
+# Copyright:: Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+# License::   GPLv3+: GNU General Public License version 3 or later
+#
+# Owner::     Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
+#--
+#     ___    ____  __    ___   _________
+#    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
+#   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
+#  / __  |/ /_/ / /___/ / /|  /  / /
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+#
+# This file is part of AdLint.
+#
+# AdLint is free software: you can redistribute it and/or modify it under the
+# terms of the GNU General Public License as published by the Free Software
+# Foundation, either version 3 of the License, or (at your option) any later
+# version.
+#
+# AdLint is distributed in the hope that it will be useful, but WITHOUT ANY
+# WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR
+# A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License along with
+# AdLint.  If not, see <http://www.gnu.org/licenses/>.
+#
+#++
+require "spec_helper"
+module AdLint
+module C
+  describe Type do
+    before(:all) { Traits.instance.read_from($default_traits) }
+    let(:type_table) { TypeTable.new }
+    let(:int_ptr) { pointer_type(int_type) }
+    let(:const_int_ptr) { pointer_type(qualified_type(int_type, :const)) }
+    let(:const_int) { qualified_type(int_type, :const) }
+    let(:volatile_int) { qualified_type(int_type, :volatile) }
+    let(:const_volatile_int) { qualified_type(int_type, :const, :volatile) }
+    describe ArrayType do
+      context "detecting W0583" do
+        subject { array_type(int_type, 3) }
+        it { should be_convertible(const_int_ptr) }
+      end
+      context "detecting W0583" do
+        subject { array_type(int_type, 3) }
+        it { should be_convertible(int_ptr) }
+      end
+      context "detecting W0583" do
+        subject { array_type(int_type) }
+        it { should be_convertible(const_int_ptr) }
+      end
+      context "detecting W0583" do
+        subject { array_type(int_type) }
+        it { should be_convertible(int_ptr) }
+      end
+    end
+    describe PointerType do
+      context "detecting W0583" do
+        subject { const_int_ptr }
+        it { should_not be_convertible(array_type(int_type)) }
+      end
+      context "detecting W0583" do
+        subject { int_ptr }
+        it { should be_convertible(array_type(int_type)) }
+      end
+      context "more cv-qualified check of `const > none'" do
+        subject { const_int }
+        it { should be_more_cv_qualified(int_type) }
+      end
+      context "more cv-qualified check of `volatile > none'" do
+        subject { volatile_int }
+        it { should be_more_cv_qualified(int_type) }
+      end
+      context "more cv-qualified check of `const volatile > none'" do
+        subject { const_volatile_int }
+        it { should be_more_cv_qualified(int_type) }
+      end
+      context "more cv-qualified check of `const volatile > const'" do
+        subject { const_volatile_int }
+        it { should be_more_cv_qualified(const_int) }
+      end
+      context "more cv-qualified check of `const volatile > volatile'" do
+        subject { const_volatile_int }
+        it { should be_more_cv_qualified(volatile_int) }
+      end
+    end
+    include TypeTableMediator
+  end
+end
+end