adlint 2.4.0 → 2.4.6

data/lib/adlint/c/type.rb

@@ -1707,6 +1707,10 @@ module C #:nodoc:
     def_delegator :@base_type, :compatible?
     def_delegator :@base_type, :coercible?
 
+    def convertible?(to_type)
+      real_type.unqualify.convertible?(to_type.real_type.unqualify)
+    end
+
     def more_cv_qualified?(than_type)
       # NOTE: The term `more cv-qualified' means:
       #         const          > none
@@ -1862,8 +1866,24 @@ module C #:nodoc:
   class QualifiedTypeId < TypeId
     def initialize(base_type, cvr_qualifiers)
       super(create_value(base_type, cvr_qualifiers))
+
+      @base_type = base_type
+      @cvr_qualifiers = cvr_qualifiers.sort
     end
 
+    def ==(rhs)
+      case rhs
+      when QualifiedTypeId
+        @cvr_qualifiers == rhs.cvr_qualifiers && @base_type == rhs.base_type
+      else
+        false
+      end
+    end
+
+    protected
+    attr_reader :base_type
+    attr_reader :cvr_qualifiers
+
     private
     def create_value(base_type, cvr_qualifiers)
       value = base_type.real_type.brief_image
@@ -7411,7 +7431,7 @@ module C #:nodoc:
         type_id = create_union_type_id(type_specifiers)
       when EnumSpecifier
         type_id = create_enum_type_id(type_specifiers)
-      when NilClass
+      when nil
         type_id = IntTypeId.new
       else
         raise TypeError

data/lib/adlint/c/value.rb

@@ -52,7 +52,6 @@ module C #:nodoc:
   #           <--- CompositeValue
   #    <--- MultipleValue
   #           <--- VersionedValue
-  #    <--- FrozenValue
   class Value
     include BuggyValueSampler
 
@@ -2383,72 +2382,5 @@ module C #:nodoc:
     private_constant :Version
   end
 
-  class FrozenValue < Value
-    def initialize(versioned_value)
-      @versioned_value = versioned_value
-    end
-
-    extend Forwardable
-
-    def_delegator :@versioned_value, :scalar?
-    def_delegator :@versioned_value, :array?
-    def_delegator :@versioned_value, :composite?
-    def_delegator :@versioned_value, :undefined?
-    def_delegator :@versioned_value, :exist?
-    def_delegator :@versioned_value, :definite?
-    def_delegator :@versioned_value, :contain?
-    def_delegator :@versioned_value, :multiple?
-    def_delegator :@versioned_value, :enter_versioning_group
-    def_delegator :@versioned_value, :leave_versioning_group
-    def_delegator :@versioned_value, :begin_versioning
-    def_delegator :@versioned_value, :end_versioning
-    def_delegator :@versioned_value, :rollback_latest_version!
-    def_delegator :@versioned_value, :rollback_all_versions!
-    def_delegator :@versioned_value, :single_value_unified_with
-    def_delegator :@versioned_value, :~
-    def_delegator :@versioned_value, :+@
-    def_delegator :@versioned_value, :-@
-    def_delegator :@versioned_value, :+
-    def_delegator :@versioned_value, :-
-    def_delegator :@versioned_value, :*
-    def_delegator :@versioned_value, :/
-    def_delegator :@versioned_value, :%
-    def_delegator :@versioned_value, :&
-    def_delegator :@versioned_value, :|
-    def_delegator :@versioned_value, :^
-    def_delegator :@versioned_value, :<<
-    def_delegator :@versioned_value, :>>
-    def_delegator :@versioned_value, :!
-    def_delegator :@versioned_value, :<
-    def_delegator :@versioned_value, :>
-    def_delegator :@versioned_value, :==
-    def_delegator :@versioned_value, :!=
-    def_delegator :@versioned_value, :<=
-    def_delegator :@versioned_value, :>=
-    def_delegator :@versioned_value, :logical_and
-    def_delegator :@versioned_value, :logical_or
-    def_delegator :@versioned_value, :must_be_equal_to?
-    def_delegator :@versioned_value, :may_be_equal_to?
-    def_delegator :@versioned_value, :must_not_be_equal_to?
-    def_delegator :@versioned_value, :may_not_be_equal_to?
-    def_delegator :@versioned_value, :must_be_less_than?
-    def_delegator :@versioned_value, :may_be_less_than?
-    def_delegator :@versioned_value, :must_be_greater_than?
-    def_delegator :@versioned_value, :may_be_greater_than?
-    def_delegator :@versioned_value, :must_be_undefined?
-    def_delegator :@versioned_value, :may_be_undefined?
-    def_delegator :@versioned_value, :must_be_true?
-    def_delegator :@versioned_value, :may_be_true?
-    def_delegator :@versioned_value, :must_be_false?
-    def_delegator :@versioned_value, :may_be_false?
-    def_delegator :@versioned_value, :coerce_to
-    def_delegator :@versioned_value, :to_enum
-    def_delegator :@versioned_value, :to_single_value
-    def_delegator :@versioned_value, :to_defined_value
-    def_delegator :@versioned_value, :eql?
-    def_delegator :@versioned_value, :hash
-    def_delegator :@versioned_value, :dup
-  end
-
 end
 end

data/lib/adlint/cpp/eval.rb

@@ -686,7 +686,7 @@ module Cpp #:nodoc:
 
       base_fpath = Pathname.new(basename)
       if base_fpath.absolute? && base_fpath.readable?
-        return [base_fpath]
+        [base_fpath]
       else
         result = []
         include_paths.each do |dpath|
@@ -713,7 +713,7 @@ module Cpp #:nodoc:
 
       base_fpath = Pathname.new(basename)
       if base_fpath.absolute? && base_fpath.readable?
-        return [base_fpath]
+        [base_fpath]
       else
         result = []
         include_paths.each do |dpath|

data/lib/adlint/version.rb

@@ -33,8 +33,8 @@ module AdLint #:nodoc:
 
   MAJOR_VERSION = 2
   MINOR_VERSION = 4
-  PATCH_VERSION = 0
-  RELEASE_DATE  = "2012-09-21"
+  PATCH_VERSION = 6
+  RELEASE_DATE  = "2012-10-09"
 
   TRAITS_SCHEMA_VERSION = "2.4.0"
 

data/share/doc/developers_guide_ja.html

@@ -1,8 +1,8 @@
 <html lang="ja">
 <head>
-<title>AdLint 2.4.0 開発者ガイド</title>
+<title>AdLint 2.4.6 開発者ガイド</title>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
-<meta name="description" content="AdLint 2.4.0 開発者ガイド">
+<meta name="description" content="AdLint 2.4.6 開発者ガイド">
 <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 2.4.0 開発者ガイド</h1>
+<h1 class="settitle">AdLint 2.4.6 開発者ガイド</h1>
 <div class="contents">
 <h2>Table of Contents</h2>
 <ul>

data/share/doc/developers_guide_ja.texi

@@ -2,7 +2,7 @@
 @setfilename developers_guide_ja.info
 @documentlanguage ja
 @documentencoding utf-8
-@settitle AdLint 2.4.0 開発者ガイド
+@settitle AdLint 2.4.6 開発者ガイド
 
 @copying
 Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.

data/share/doc/users_guide_en.html

@@ -1,8 +1,8 @@
 <html lang="en">
 <head>
-<title>AdLint 2.4.0 User's Guide</title>
+<title>AdLint 2.4.6 User's Guide</title>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
-<meta name="description" content="AdLint 2.4.0 User's Guide">
+<meta name="description" content="AdLint 2.4.6 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 2.4.0 User's Guide</h1>
+<h1 class="settitle">AdLint 2.4.6 User's Guide</h1>
 <div class="node">
 <a name="Top"></a>
 <p><hr>
@@ -1468,7 +1468,7 @@ examination package, message category and message severity to the <a href="#Mess
 </td><td valign="top" width="10%">
 array of string
 </td><td valign="top" width="0%">
-<b>This item has no effect on AdLint 2.4.0, yet.</b>
+<b>This item has no effect on AdLint 2.4.6, yet.</b>
 
 <p>If a directory path is specified, AdLint will output warning messages about
 source files located under the specified directory. 
@@ -1480,7 +1480,7 @@ the target source files such as system headers or 3rd-party library headers.
 </td><td valign="top" width="10%">
 array of string
 </td><td valign="top" width="0%">
-<b>This item has no effect on AdLint 2.4.0, yet.</b>
+<b>This item has no effect on AdLint 2.4.6, yet.</b>
 
 <p>If a directory path is specified, AdLint will suppress warning messages about
 source files located under the specified directory. 
@@ -1490,7 +1490,7 @@ source files located under the specified directory.
 </td><td valign="top" width="10%">
 boolean
 </td><td valign="top" width="0%">
-<b>This item has no effect on AdLint 2.4.0, yet.</b>
+<b>This item has no effect on AdLint 2.4.6, yet.</b>
 
 <p>This item enables code check selection by annotations in the target source
 files.
@@ -1502,7 +1502,7 @@ files.
 </td><td valign="top" width="10%">
 array of string
 </td><td valign="top" width="0%">
-<b>This item has no effect on AdLint 2.4.0, yet.</b>
+<b>This item has no effect on AdLint 2.4.6, yet.</b>
 
 <p>This item represents excluding code checks by its message categories. 
 <br></td></tr><tr align="left"><td valign="top" width="1%">7
@@ -1511,7 +1511,7 @@ array of string
 </td><td valign="top" width="10%">
 regexp string
 </td><td valign="top" width="0%">
-<b>This item has no effect on AdLint 2.4.0, yet.</b>
+<b>This item has no effect on AdLint 2.4.6, yet.</b>
 
 <p>This item represents excluding code checks by its message severities. 
 <br></td></tr><tr align="left"><td valign="top" width="1%">8
@@ -1520,7 +1520,7 @@ regexp string
 </td><td valign="top" width="10%">
 map of Message ID and string
 </td><td valign="top" width="0%">
-<b>This item has no effect on AdLint 2.4.0, yet.</b>
+<b>This item has no effect on AdLint 2.4.6, yet.</b>
 
 <p>This item represents excluding code checks by its message ID.
 
@@ -1532,7 +1532,7 @@ also specify the name of the examination package including the message.
 </td><td valign="top" width="10%">
 map of Message ID and string
 </td><td valign="top" width="0%">
-<b>This item has no effect on AdLint 2.4.0, yet.</b>
+<b>This item has no effect on AdLint 2.4.6, yet.</b>
 
 <p>This item represents messages which is excluded by settings of <code>exclusion</code>
 section but will be used by AdLint.

data/share/doc/users_guide_en.texi

@@ -2,7 +2,7 @@
 @setfilename users_guide_en.info
 @documentlanguage en
 @documentencoding utf-8
-@settitle AdLint 2.4.0 User's Guide
+@settitle AdLint 2.4.6 User's Guide
 
 @copying
 Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
@@ -1407,7 +1407,7 @@ File, message file}.
 @tab
 array of string
 @tab
-@b{This item has no effect on AdLint 2.4.0, yet.}
+@b{This item has no effect on AdLint 2.4.6, yet.}
 
 If a directory path is specified, AdLint will output warning messages about
 source files located under the specified directory.
@@ -1421,7 +1421,7 @@ the target source files such as system headers or 3rd-party library headers.
 @tab
 array of string
 @tab
-@b{This item has no effect on AdLint 2.4.0, yet.}
+@b{This item has no effect on AdLint 2.4.6, yet.}
 
 If a directory path is specified, AdLint will suppress warning messages about
 source files located under the specified directory.
@@ -1433,7 +1433,7 @@ source files located under the specified directory.
 @tab
 boolean
 @tab
-@b{This item has no effect on AdLint 2.4.0, yet.}
+@b{This item has no effect on AdLint 2.4.6, yet.}
 
 This item enables code check selection by annotations in the target source
 files.
@@ -1447,7 +1447,7 @@ In case of @code{true}, code check selection by annotations will be enabled.
 @tab
 array of string
 @tab
-@b{This item has no effect on AdLint 2.4.0, yet.}
+@b{This item has no effect on AdLint 2.4.6, yet.}
 
 This item represents excluding code checks by its message categories.
 @item 7
@@ -1458,7 +1458,7 @@ This item represents excluding code checks by its message categories.
 @tab
 regexp string
 @tab
-@b{This item has no effect on AdLint 2.4.0, yet.}
+@b{This item has no effect on AdLint 2.4.6, yet.}
 
 This item represents excluding code checks by its message severities.
 @item 8
@@ -1469,7 +1469,7 @@ This item represents excluding code checks by its message severities.
 @tab
 map of Message ID and string
 @tab
-@b{This item has no effect on AdLint 2.4.0, yet.}
+@b{This item has no effect on AdLint 2.4.6, yet.}
 
 This item represents excluding code checks by its message ID.
 
@@ -1483,7 +1483,7 @@ also specify the name of the examination package including the message.
 @tab
 map of Message ID and string
 @tab
-@b{This item has no effect on AdLint 2.4.0, yet.}
+@b{This item has no effect on AdLint 2.4.6, yet.}
 
 This item represents messages which is excluded by settings of @code{exclusion}
 section but will be used by AdLint.

data/share/doc/users_guide_ja.html

@@ -1,8 +1,8 @@
 <html lang="ja">
 <head>
-<title>AdLint 2.4.0 利用者ガイド</title>
+<title>AdLint 2.4.6 利用者ガイド</title>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
-<meta name="description" content="AdLint 2.4.0 利用者ガイド">
+<meta name="description" content="AdLint 2.4.6 利用者ガイド">
 <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 2.4.0 利用者ガイド</h1>
+<h1 class="settitle">AdLint 2.4.6 利用者ガイド</h1>
 <div class="node">
 <a name="Top"></a>
 <p><hr>
@@ -1533,7 +1533,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Traits">Traits</a>
 </td><td valign="top" width="10%">
 文字列の配列
 </td><td valign="top" width="0%">
-<b>AdLint 2.4.0 では、この項目による設定は未サポートです。</b>
+<b>AdLint 2.4.6 では、この項目による設定は未サポートです。</b>
 
 <p>ディレクトリパス名を指定した場合は、そのディレクトリ配下のソースコードについて
 のみ、警告メッセージを出力します。
@@ -1546,7 +1546,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Traits">Traits</a>
 </td><td valign="top" width="10%">
 文字列の配列
 </td><td valign="top" width="0%">
-<b>AdLint 2.4.0 では、この項目による設定は未サポートです。</b>
+<b>AdLint 2.4.6 では、この項目による設定は未サポートです。</b>
 
 <p>ディレクトリパス名を指定した場合は、そのディレクトリ配下のソースコードについて
 は、警告メッセージを抑止します。
@@ -1556,7 +1556,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Traits">Traits</a>
 </td><td valign="top" width="10%">
 真偽値
 </td><td valign="top" width="0%">
-<b>AdLint 2.4.0 では、この項目による設定は未サポートです。</b>
+<b>AdLint 2.4.6 では、この項目による設定は未サポートです。</b>
 
 <p>解析対象ソースコード内の注釈によるコードチェックの選択機能を有効化します。
 
@@ -1567,7 +1567,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Traits">Traits</a>
 </td><td valign="top" width="10%">
 文字列の配列
 </td><td valign="top" width="0%">
-<b>AdLint 2.4.0 では、この項目による設定は未サポートです。</b>
+<b>AdLint 2.4.6 では、この項目による設定は未サポートです。</b>
 
 <p><a href="#global_005ftraits_003aexam_005fpackages">exam_packages</a> で指定したソースコード検査パッ
 ケージ中のコードチェック機能で、実行を除外するものをメッセージのカテゴリにより
@@ -1578,7 +1578,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Traits">Traits</a>
 </td><td valign="top" width="10%">
 正規表現を表す文字列
 </td><td valign="top" width="0%">
-<b>AdLint 2.4.0 では、この項目による設定は未サポートです。</b>
+<b>AdLint 2.4.6 では、この項目による設定は未サポートです。</b>
 
 <p><a href="#global_005ftraits_003aexam_005fpackages">exam_packages</a> で指定したソースコード検査パッ
 ケージ中のコードチェック機能で、実行を除外するものをメッセージの深刻度により指
@@ -1589,7 +1589,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Traits">Traits</a>
 </td><td valign="top" width="10%">
 メッセージ ID と文字列のマップ
 </td><td valign="top" width="0%">
-<b>AdLint 2.4.0 では、この項目による設定は未サポートです。</b>
+<b>AdLint 2.4.6 では、この項目による設定は未サポートです。</b>
 
 <p><a href="#global_005ftraits_003aexam_005fpackages">exam_packages</a> で指定したソースコード検査パッ
 ケージ中のコードチェック機能で、実行を除外するものをメッセージ ID により指定し
@@ -1604,7 +1604,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Traits">Traits</a>
 </td><td valign="top" width="10%">
 メッセージ ID と文字列のマップ
 </td><td valign="top" width="0%">
-<b>AdLint 2.4.0 では、この項目による設定は未サポートです。</b>
+<b>AdLint 2.4.6 では、この項目による設定は未サポートです。</b>
 
 <p><code>exclusion</code> セクションの設定内容により除外しましたが、メッセージ ID 指定で
 特定のコードチェック機能を含める場合に指定します。

data/share/doc/users_guide_ja.texi

@@ -2,7 +2,7 @@
 @setfilename users_guide_ja.info
 @documentlanguage ja
 @documentencoding utf-8
-@settitle AdLint 2.4.0 利用者ガイド
+@settitle AdLint 2.4.6 利用者ガイド
 
 @copying
 Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
@@ -1464,7 +1464,7 @@ extension_substitution:
 @tab
 文字列の配列
 @tab
-@b{AdLint 2.4.0 では、この項目による設定は未サポートです。}
+@b{AdLint 2.4.6 では、この項目による設定は未サポートです。}
 
 ディレクトリパス名を指定した場合は、そのディレクトリ配下のソースコードについて
 のみ、警告メッセージを出力します。
@@ -1479,7 +1479,7 @@ extension_substitution:
 @tab
 文字列の配列
 @tab
-@b{AdLint 2.4.0 では、この項目による設定は未サポートです。}
+@b{AdLint 2.4.6 では、この項目による設定は未サポートです。}
 
 ディレクトリパス名を指定した場合は、そのディレクトリ配下のソースコードについて
 は、警告メッセージを抑止します。
@@ -1491,7 +1491,7 @@ extension_substitution:
 @tab
 真偽値
 @tab
-@b{AdLint 2.4.0 では、この項目による設定は未サポートです。}
+@b{AdLint 2.4.6 では、この項目による設定は未サポートです。}
 
 解析対象ソースコード内の注釈によるコードチェックの選択機能を有効化します。
 
@@ -1504,7 +1504,7 @@ extension_substitution:
 @tab
 文字列の配列
 @tab
-@b{AdLint 2.4.0 では、この項目による設定は未サポートです。}
+@b{AdLint 2.4.6 では、この項目による設定は未サポートです。}
 
 @ref{global_traits:exam_packages, exam_packages} で指定したソースコード検査パッ
 ケージ中のコードチェック機能で、実行を除外するものをメッセージのカテゴリにより
@@ -1517,7 +1517,7 @@ extension_substitution:
 @tab
 正規表現を表す文字列
 @tab
-@b{AdLint 2.4.0 では、この項目による設定は未サポートです。}
+@b{AdLint 2.4.6 では、この項目による設定は未サポートです。}
 
 @ref{global_traits:exam_packages, exam_packages} で指定したソースコード検査パッ
 ケージ中のコードチェック機能で、実行を除外するものをメッセージの深刻度により指
@@ -1530,7 +1530,7 @@ extension_substitution:
 @tab
 メッセージ ID と文字列のマップ
 @tab
-@b{AdLint 2.4.0 では、この項目による設定は未サポートです。}
+@b{AdLint 2.4.6 では、この項目による設定は未サポートです。}
 
 @ref{global_traits:exam_packages, exam_packages} で指定したソースコード検査パッ
 ケージ中のコードチェック機能で、実行を除外するものをメッセージ ID により指定し
@@ -1547,7 +1547,7 @@ extension_substitution:
 @tab
 メッセージ ID と文字列のマップ
 @tab
-@b{AdLint 2.4.0 では、この項目による設定は未サポートです。}
+@b{AdLint 2.4.6 では、この項目による設定は未サポートです。}
 
 @code{exclusion} セクションの設定内容により除外しましたが、メッセージ ID 指定で
 特定のコードチェック機能を含める場合に指定します。

data/spec/adlint/c/type_spec.rb

@@ -38,11 +38,58 @@ module C
     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) }
+
+    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)
+    }
+
+    let(:const_char) {
+      qualified_type(char_type, :const)
+    }
+
+    let(:const_unsigned_char) {
+      qualified_type(unsigned_char_type, :const)
+    }
+
+    let(:char) {
+      char_type
+    }
+
+    let(:char_ptr) {
+      pointer_type(char_type)
+    }
+
+    let(:const_char_ptr) {
+      pointer_type(qualified_type(char_type, :const))
+    }
+
+    let(:unsigned_char) {
+      unsigned_char_type
+    }
+
+    let(:const_unsigned_char_ptr) {
+      pointer_type(qualified_type(unsigned_char_type, :const))
+    }
+
+    let(:signed_char) {
+      signed_char_type
+    }
 
     describe ArrayType do
       context "`int[3]'" do
@@ -128,6 +175,58 @@ module C
       end
     end
 
+    describe QualifiedType do
+      context "`const char'" do
+        subject { const_char }
+
+        it "should be equal to `const unsigned char'" do
+          should == const_unsigned_char
+        end
+
+        it "should be convertible to `char'" do
+          should be_convertible(char)
+        end
+
+        it "should be convertible to `const unsigned char'" do
+          should be_convertible(const_unsigned_char)
+        end
+      end
+
+      context "`char'" do
+        subject { char }
+
+        it "should be convertible to `const char'" do
+          should be_convertible(const_char)
+        end
+      end
+
+      context "`const char *'" do
+        subject { const_char_ptr }
+
+        it "should be convertible to `const unsigned char *'" do
+          should be_convertible(const_unsigned_char_ptr)
+        end
+
+        it "should not be convertible to `char *'" do
+          should_not be_convertible(char_ptr)
+        end
+      end
+    end
+
+    describe CharType do
+      context "`char'" do
+        subject { char }
+
+        it "should be equal to `unsigned char'" do
+          should == unsigned_char
+        end
+
+        it "should not be equal to `signed char'" do
+          should_not == signed_char
+        end
+      end
+    end
+
     include TypeTableMediator
   end
 

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: adlint
 version: !ruby/object:Gem::Version
-  version: 2.4.0
+  version: 2.4.6
   prerelease: 
 platform: ruby
 authors:
@@ -9,7 +9,7 @@ authors:
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2012-09-21 00:00:00.000000000 Z
+date: 2012-10-09 00:00:00.000000000 Z
 dependencies: []
 description: ! 'AdLint is a source code static analyzer.
 
@@ -230,6 +230,7 @@ files:
 - features/code_check/W0573.feature
 - features/code_check/W0583.feature
 - features/code_check/W0606.feature
+- features/code_check/W0635.feature
 - features/code_check/W0641.feature
 - features/code_check/W0643.feature
 - features/code_check/W0644.feature