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

adlint 1.8.10 → 1.10.0

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