adlint 1.18.2 → 1.18.6

data/ChangeLog

@@ -1,3 +1,33 @@
+Tue Aug 14 14:54:55 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.ga : 1.18.6
+	  - Fix abend problem when a variable of typedefed incomplete array
+	    type is defined with an initializer.
+
+Tue Aug 14 10:49:35 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.rc : 1.18.5
+	  - Fix bad array length deduction in an array variable definition with
+	    string-literal-specifier as initializer.
+
+Tue Aug 14 10:37:24 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/c/interp.rb : Fix bad array length deduction in an array
+	  variable definition with string-literal-specifier as initializer.
+
+Mon Aug 13 18:14:49 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.rc : 1.18.3
+	  - Fix abend problem when a variable of typedefed incomplete array
+	    type is defined with an initializer.
+
+Mon Aug 13 18:01:12 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/c/interp.rb : Fix abend problem when a variable of
+	  typedefed incomplete array type is defined with an initializer.
+	* lib/adlint/c/object.rb : Ditto.
+	* lib/adlint/c/type.rb : Ditto.
+
 Fri Aug  3 13:07:04 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
 	* release.ga : 1.18.2

data/NEWS

@@ -21,16 +21,23 @@
 
 ++
 
-=== \AdLint 1.18.2 is released (2012-08-03)
+=== \AdLint 1.18.6 is released (2012-08-14)
 
-==== Changes since the 1.18.0 release
+==== Changes since the 1.18.2 release
 
-* Fix gem installation problem on mswin
+* Fix abend problem when a variable of typedefed incomplete array type is
+  defined with an initializer
 
 See the file
 {ChangeLog}[http://adlint.sourceforge.net/pmwiki/upload.d/Main/ChangeLog]
 for more details.
 
+=== \AdLint 1.18.2 is released (2012-08-03)
+
+==== Changes since the 1.18.0 release
+
+* Fix gem installation problem on mswin
+
 === \AdLint 1.18.0 is released (2012-08-01)
 
 ==== Changes since the 1.16.0 release

data/etc/mesg.d/en_US/messages.yml

@@ -36,7 +36,7 @@
 #     X9999: "Your custom message for the fatal error of #9999."
 #     E9999: "Your custom message for the error of #9999."
 
-version: "1.18.2"
+version: "1.18.6"
 
 message_definition:
   X0001: "An unknown exception `%s' is found."

data/etc/mesg.d/ja_JP/messages.yml

@@ -36,7 +36,7 @@
 #     X9999: "Your custom message for the fatal error of #9999."
 #     E9999: "Your custom message for the error of #9999."
 
-version: "1.18.2"
+version: "1.18.6"
 
 message_definition:
   X0001: "不明な例外条件 `%s' を検出しました。"

data/lib/adlint/c/interp.rb

@@ -585,8 +585,8 @@ module C #:nodoc:
         decl.mark_as_referred_by(node.identifier)
       end
 
-      if initializer = node.initializer
-        init_var, converted = evaluate_initializer(initializer, node.type)
+      if node.initializer
+        init_var, converted = evaluate_initializer(node)
         variable = define_variable(node, converted.value.to_defined_value)
 
         notify_variable_value_referred(node, init_var)
@@ -654,27 +654,33 @@ module C #:nodoc:
     end
 
     private
-    def evaluate_initializer(initializer, variable_type)
+    def evaluate_initializer(definition)
       init_interp = InitializerInterpreter.new(interpreter)
-      variable, converted = init_interp.execute(initializer, variable_type)
+      variable, converted = init_interp.execute(definition)
 
-      # NOTE: An implicit conversion has been done by InitializerInterpreter.
+      # NOTE: An implicit conversion and size deduction of an incomplete array
+      #       have been done by InitializerInterpreter.
 
       # NOTE: For the case of array variable definition with a
       #       string-literal-specifier as the initializer.
-      if variable_type.array? && variable.type.pointer?
+      if definition.type.array? && variable.type.pointer?
         unless array = pointee_of(variable) and array.type.array?
-          array = temporary_variable(variable_type)
+          array = temporary_variable(definition.type)
         end
-        deduct_array_length_from_array_variable(variable_type, array)
+        deduct_array_length_from_array_variable(definition, array)
         variable = converted = array
       end
 
       return variable, converted
     end
 
-    def deduct_array_length_from_array_variable(variable_type, array_variable)
-      variable_type.length ||= array_variable.type.length
+    def deduct_array_length_from_array_variable(definition, array)
+      unless definition.type.length
+        if definition.type.user?
+          definition.type = definition.type.dup
+        end
+        definition.type.length = array.type.length
+      end
     end
 
     def evaluate_sequence_point(full_declarator)
@@ -694,27 +700,33 @@ module C #:nodoc:
       @interpreter = interpreter
     end
 
-    def execute(initializer, variable_type)
-      checkpoint(initializer.location)
+    def execute(definition)
+      checkpoint(definition.initializer.location)
 
       case
-      when expression = initializer.expression
+      when expression = definition.initializer.expression
         # NOTE: An implicit conversion is already notified in
         #       #evaluate_expression.
-        return evaluate_expression(expression, variable_type)
-      when initializers = initializer.initializers
-        variable = evaluate_initializers(initializers, variable_type)
+        return evaluate_expression(expression, definition.type)
+      when initializers = definition.initializer.initializers
+        variable = evaluate_initializers(initializers, definition.type)
+
+        # NOTE: Size deduction of an incomplete array type have been done by
+        #       #evaluate_initializers.
+        if definition.type.array? && variable.type.array?
+          definition.type = variable.type unless definition.type.length
+        end
 
-        if variable.type.same_as?(variable_type)
+        if variable.type.same_as?(definition.type)
           converted = variable
         else
           converted =
-            do_conversion(variable, variable_type) ||
-            temporary_variable(variable_type)
+            do_conversion(variable, definition.type) ||
+            temporary_variable(definition.type)
           notify_implicit_conv_performed(initializer, variable, converted)
         end
       else
-        variable = converted = temporary_variable(variable_type)
+        variable = converted = temporary_variable(definition.type)
       end
 
       return variable, converted
@@ -741,70 +753,97 @@ module C #:nodoc:
       return variable, converted
     end
 
-    def evaluate_initializers(initializers, variable_type)
-      # NOTE: The ISO C99 standard saids;
-      #
-      # 6.7.8 Initialization
-      #
-      # Semantics
-      #
-      # 10 If an object that has automatic storage duration is not initialized
-      #    explicitly, its value is indeterminate.  If an object that has
-      #    static storage duration is not initialized explicitly, then:
-      #    -- if it has pointer type, it is initialized to a null pointer;
-      #    -- if it has arithmetic type, it is initialized to (positive or
-      #       unsigned) zero;
-      #    -- if it is an aggregate, every member is initialized (recursively)
-      #       according to these rules;
-      #    -- if it is a union, the first named member is initialized
-      #       (recursively) according to these rules.
-      if variable_type.union?
-        if first_member = variable_type.members.first
-          first_object = evaluate_initializers(initializers, first_member.type)
-          return temporary_variable(variable_type, value_of(first_object))
-        else
-          return temporary_variable(variable_type)
-        end
+    def evaluate_initializers(initializers, type)
+      if type.union?
       end
 
       case
-      when variable_type.array?
-        deduct_array_length_from_initializers(variable_type, initializers)
-        member_types = [variable_type.base_type] * variable_type.impl_length
-      when variable_type.struct?
-        member_types = variable_type.members.map { |member| member.type }
+      when type.union?
+        # NOTE: The ISO C99 standard saids;
+        #
+        # 6.7.8 Initialization
+        #
+        # Semantics
+        #
+        # 10 If an object that has automatic storage duration is not
+        #    initialized explicitly, its value is indeterminate.  If an object
+        #    that has static storage duration is not initialized explicitly,
+        #    then:
+        #    -- if it has pointer type, it is initialized to a null pointer;
+        #    -- if it has arithmetic type, it is initialized to (positive or
+        #       unsigned) zero;
+        #    -- if it is an aggregate, every member is initialized
+        #       (recursively) according to these rules;
+        #    -- if it is a union, the first named member is initialized
+        #       (recursively) according to these rules.
+        if first_member = type.members.first
+          first_object = evaluate_initializers(initializers, first_member.type)
+          return temporary_variable(type, value_of(first_object))
+        else
+          return temporary_variable(type)
+        end
+      when type.array?
+        # NOTE: The ISO C99 standard saids;
+        #
+        # 6.7.2.1 Structure and union specifiers
+        #
+        # Constraints
+        #
+        # 2 A structure or union shall not contain a member with incomplete
+        #   or function type (hence, a structure shall not contain an
+        #   instance of itself, but may contain a pointer to an instance of
+        #   itself), except that the last member of a structure with more
+        #   than one named member may have incomplete array type; such a
+        #   structure (and any union containing, possibly recursively, a
+        #   member that is such a structure) shall not be a member of a
+        #   structure or an element of an array.  
+        #
+        # NOTE: Size of the last incomplete array member should not be
+        #       deducted in initialization.  It is treated as a pointer.
+        #
+        # NOTE: ISO C90 does not support flexible array members.
+        type = deduct_array_length_from_initializers(type, initializers)
+        member_types = [type.unqualify.base_type] * type.impl_length
+      when type.struct?
+        member_types = type.members.map { |member| member.type }
       else
-        member_types = [variable_type]
+        member_types = [type]
       end
 
-      values = member_types.zip(initializers).map { |type, initializer|
+      values = member_types.zip(initializers).map { |memb_type, initializer|
         if initializer
           checkpoint(initializer.location)
           case
           when expression = initializer.expression
-            value_of(evaluate_expression(expression, type).last)
+            value_of(evaluate_expression(expression, memb_type).last)
           when initializers = initializer.initializers
-            value_of(evaluate_initializers(initializers, type))
+            value_of(evaluate_initializers(initializers, memb_type))
           else
-            type.undefined_value
+            memb_type.undefined_value
           end
         else
-          type.undefined_value
+          memb_type.undefined_value
         end
       }
 
       case
-      when variable_type.array?
-        temporary_variable(variable_type, ArrayValue.new(values))
-      when variable_type.composite?
-        temporary_variable(variable_type, CompositeValue.new(values))
+      when type.array?
+        temporary_variable(type, ArrayValue.new(values))
+      when type.composite?
+        temporary_variable(type, CompositeValue.new(values))
       else
-        temporary_variable(variable_type, values.first)
+        temporary_variable(type, values.first)
       end
     end
 
-    def deduct_array_length_from_initializers(variable_type, initializers)
-      variable_type.length ||= initializers.size
+    def deduct_array_length_from_initializers(orig_array_type, initializers)
+      unless orig_array_type.length
+        if orig_array_type.user?
+          orig_array_type = orig_array_type.dup
+        end
+        orig_array_type.length = initializers.size
+      end
+      orig_array_type
     end
 
     def interpreter

data/lib/adlint/c/object.rb

@@ -304,7 +304,7 @@ module C #:nodoc:
       super(memory, declaration_or_definition, type, scope)
 
       # TODO: If too slow, make an index of inner variables.
-      @inner_variables = create_inner_variables(type, scope)
+      @inner_variables = create_inner_variables(type.unqualify, scope)
     end
 
     def enter_value_versioning_group
@@ -573,8 +573,7 @@ module C #:nodoc:
   class AliasVariable < NamedVariable
     def initialize(variable)
       super(variable.binding.memory,
-            variable.declarations_and_definitions.first,
-            variable.scope)
+            variable.declarations_and_definitions.first, variable.scope)
     end
 
     private
@@ -1116,9 +1115,9 @@ module C #:nodoc:
 
     def write(value)
       super
-      if !@windows.empty? &&
-          (@value.array? && value.array?) ||
-          (@value.composite? && value.composite?)
+      if !@windows.empty? and
+          @value.array? && value.array? or
+          @value.composite? && value.composite?
         single_value = value.to_single_value
         @windows.zip(single_value.values).each do |window, inner_value|
           window.write(inner_value, false)

data/lib/adlint/c/type.rb

@@ -341,6 +341,10 @@ module C #:nodoc:
       subclass_responsibility
     end
 
+    def length=(len)
+      subclass_responsibility
+    end
+
     def impl_length
       subclass_responsibility
     end
@@ -590,6 +594,10 @@ module C #:nodoc:
       end
     end
 
+    def dup
+      subclass_responsibility
+    end
+
     def inspect
       if @name == image
         if location
@@ -1144,6 +1152,10 @@ module C #:nodoc:
     def corresponding_unsigned_type
       self # NOTREACHED
     end
+
+    def dup
+      UndeclaredType.new(type_table)
+    end
   end
 
   class UnresolvedType < Type
@@ -1651,6 +1663,10 @@ module C #:nodoc:
     def corresponding_unsigned_type
       self # NOTREACHED
     end
+
+    def dup
+      UnresolvedType.new(type_table)
+    end
   end
 
   class QualifiedType < Type
@@ -1663,10 +1679,6 @@ module C #:nodoc:
 
     attr_reader :base_type
 
-    def declarations
-      @base_type.declarations
-    end
-
     def id
       @id ||= QualifiedTypeId.new(@base_type, @cvr_qualifiers)
     end
@@ -1679,37 +1691,21 @@ module C #:nodoc:
       @brief_image ||= create_brief_image(@base_type, @cvr_qualifiers)
     end
 
-    def location
-      @base_type.location
-    end
-
-    def bit_size
-      @base_type.bit_size
-    end
+    extend Forwardable
 
-    def bit_alignment
-      @base_type.bit_alignment
-    end
+    def_delegator :@base_type, :declarations
+    def_delegator :@base_type, :location
+    def_delegator :@base_type, :bit_size
+    def_delegator :@base_type, :bit_alignment
 
     def real_type
       type_table.qualified_type(@base_type.real_type, *@cvr_qualifiers)
     end
 
-    def unqualify
-      @base_type.unqualify
-    end
-
-    def incomplete?
-      @base_type.incomplete?
-    end
-
-    def compatible?(to_type)
-      @base_type.compatible?(to_type)
-    end
-
-    def coercible?(to_type)
-      @base_type.coercible?(to_type)
-    end
+    def_delegator :@base_type, :unqualify
+    def_delegator :@base_type, :incomplete?
+    def_delegator :@base_type, :compatible?
+    def_delegator :@base_type, :coercible?
 
     def more_cv_qualified?(than_type)
       # NOTE: The term `more cv-qualified' means:
@@ -1733,65 +1729,25 @@ module C #:nodoc:
       end
     end
 
-    def scalar?
-      @base_type.scalar?
-    end
-
-    def integer?
-      @base_type.integer?
-    end
-
-    def floating?
-      @base_type.floating?
-    end
-
-    def array?
-      @base_type.array?
-    end
-
-    def struct?
-      @base_type.struct?
-    end
-
-    def union?
-      @base_type.union?
-    end
-
-    def pointer?
-      @base_type.pointer?
-    end
+    def_delegator :@base_type, :scalar?
+    def_delegator :@base_type, :integer?
+    def_delegator :@base_type, :floating?
+    def_delegator :@base_type, :array?
+    def_delegator :@base_type, :struct?
+    def_delegator :@base_type, :union?
+    def_delegator :@base_type, :pointer?
 
     def qualified?
       true
     end
 
-    def function?
-      @base_type.function?
-    end
-
-    def enum?
-      @base_type.enum?
-    end
-
-    def user?
-      @base_type.user?
-    end
-
-    def void?
-      @base_type.void?
-    end
-
-    def standard?
-      @base_type.standard?
-    end
-
-    def undeclared?
-      @base_type.undeclared?
-    end
-
-    def unresolved?
-      @base_type.unresolved?
-    end
+    def_delegator :@base_type, :function?
+    def_delegator :@base_type, :enum?
+    def_delegator :@base_type, :user?
+    def_delegator :@base_type, :void?
+    def_delegator :@base_type, :standard?
+    def_delegator :@base_type, :undeclared?
+    def_delegator :@base_type, :unresolved?
 
     def const?
       @cvr_qualifiers.include?(:const)
@@ -1805,107 +1761,32 @@ module C #:nodoc:
       @cvr_qualifiers.include?(:restrict)
     end
 
-    def bitfield?
-      @base_type.bitfield?
-    end
-
-    def signed?
-      @base_type.signed?
-    end
-
-    def explicitly_signed?
-      @base_type.explicitly_signed?
-    end
-
-    def have_va_list?
-      @base_type.have_va_list?
-    end
-
-    def return_type
-      @base_type.return_type
-    end
-
-    def parameter_types
-      @base_type.parameter_types
-    end
-
-    def enumerators
-      @base_type.enumerators
-    end
-
-    def length
-      @base_type.length
-    end
-
-    def impl_length
-      @base_type.impl_length
-    end
-
-    def members
-      @base_type.members
-    end
-
-    def member_named(name)
-      @base_type.member_named(name)
-    end
-
-    def min_value
-      @base_type.min_value
-    end
-
-    def max_value
-      @base_type.max_value
-    end
-
-    def nil_value
-      @base_type.nil_value
-    end
-
-    def zero_value
-      @base_type.zero_value
-    end
-
-    def arbitrary_value
-      @base_type.arbitrary_value
-    end
-
-    def undefined_value
-      @base_type.undefined_value
-    end
-
-    def parameter_value
-      @base_type.parameter_value
-    end
-
-    def return_value
-      @base_type.return_value
-    end
-
-    def coerce_scalar_value(value)
-      @base_type.coerce_scalar_value(value)
-    end
-
-    def coerce_array_value(value)
-      @base_type.coerce_array_value(value)
-    end
-
-    def coerce_composite_value(value)
-      @base_type.coerce_composite_value(value)
-    end
-
-    def integer_conversion_rank
-      @base_type.integer_conversion_rank
-    end
-
-    def integer_promoted_type
-      @base_type.integer_promoted_type
-    end
-
-    def argument_promoted_type
-      @base_type.argument_promoted_type
-    end
-
-    extend Forwardable
+    def_delegator :@base_type, :bitfield?
+    def_delegator :@base_type, :signed?
+    def_delegator :@base_type, :explicitly_signed?
+    def_delegator :@base_type, :have_va_list?
+    def_delegator :@base_type, :return_type
+    def_delegator :@base_type, :parameter_types
+    def_delegator :@base_type, :enumerators
+    def_delegator :@base_type, :length
+    def_delegator :@base_type, :length=
+    def_delegator :@base_type, :impl_length
+    def_delegator :@base_type, :members
+    def_delegator :@base_type, :member_named
+    def_delegator :@base_type, :min_value
+    def_delegator :@base_type, :max_value
+    def_delegator :@base_type, :nil_value
+    def_delegator :@base_type, :zero_value
+    def_delegator :@base_type, :arbitrary_value
+    def_delegator :@base_type, :undefined_value
+    def_delegator :@base_type, :parameter_value
+    def_delegator :@base_type, :return_value
+    def_delegator :@base_type, :coerce_scalar_value
+    def_delegator :@base_type, :coerce_array_value
+    def_delegator :@base_type, :coerce_composite_value
+    def_delegator :@base_type, :integer_conversion_rank
+    def_delegator :@base_type, :integer_promoted_type
+    def_delegator :@base_type, :argument_promoted_type
 
     def_delegator :@base_type, :arithmetic_type_with
     def_delegator :@base_type, :_arithmetic_type_with_undeclared
@@ -1952,6 +1833,10 @@ module C #:nodoc:
     def_delegator :@base_type, :corresponding_signed_type
     def_delegator :@base_type, :corresponding_unsigned_type
 
+    def dup
+      QualifiedType.new(type_table, @base_type.dup, *@cvr_qualifiers)
+    end
+
     private
     def create_name(base_type, cvr_qualifiers)
       append_cvr_qualifiers(base_type.name, cvr_qualifiers)
@@ -2487,6 +2372,10 @@ module C #:nodoc:
     def corresponding_unsigned_type
       self # NOTREACHED
     end
+
+    def dup
+      VoidType.new(type_table)
+    end
   end
 
   class FunctionType < Type
@@ -3019,6 +2908,11 @@ module C #:nodoc:
       end
     end
 
+    def dup
+      FunctionType.new(type_table, @return_type.dup,
+                       @parameter_types.map { |t| t.dup }, @have_va_list)
+    end
+
     private
     def create_name(return_type, parameter_types, have_va_list)
       "#{return_type.name}(" +
@@ -3467,6 +3361,10 @@ module C #:nodoc:
     def corresponding_unsigned_type
       subclass_responsibility
     end
+
+    def dup
+      subclass_responsibility
+    end
   end
 
   class IntegerType < ScalarDataType
@@ -3619,6 +3517,10 @@ module C #:nodoc:
     def corresponding_unsigned_type
       subclass_responsibility
     end
+
+    def dup
+      subclass_responsibility
+    end
   end
 
   class StandardIntegerType < IntegerType
@@ -3665,6 +3567,10 @@ module C #:nodoc:
     def corresponding_unsigned_type
       subclass_responsibility
     end
+
+    def dup
+      self.class.new(type_table)
+    end
   end
 
   class CharType < StandardIntegerType
@@ -4022,7 +3928,6 @@ module C #:nodoc:
     def corresponding_unsigned_type
       unsigned_short_int_type
     end
-
   end
 
   class ShortIntTypeId < StandardTypeId
@@ -4966,6 +4871,10 @@ module C #:nodoc:
     def corresponding_unsigned_type
       self # NOTREACHED
     end
+
+    def dup
+      BitfieldType.new(type_table, @base_type.dup, bit_size)
+    end
   end
 
   class BitfieldTypeId < TypeId
@@ -5096,6 +5005,10 @@ module C #:nodoc:
     def corresponding_unsigned_type
       unsigned_int_type
     end
+
+    def dup
+      EnumType.new(type_table, declarations.first)
+    end
   end
 
   class EnumTypeId < TypeId
@@ -5210,6 +5123,10 @@ module C #:nodoc:
       self # NOTREACHED
     end
 
+    def dup
+      PointerType.new(type_table, @base_type.dup)
+    end
+
     private
     def create_name(base_type)
       if base_type.function?
@@ -5374,6 +5291,10 @@ module C #:nodoc:
       self # NOTREACHED
     end
 
+    def dup
+      subclass_responsibility
+    end
+
     private
     def fraction_bit_size
       subclass_responsibility
@@ -5388,6 +5309,10 @@ module C #:nodoc:
     def standard?
       true
     end
+
+    def dup
+      self.class.new(type_table)
+    end
   end
 
   class FloatType < StandardFloatingType
@@ -6097,6 +6022,10 @@ module C #:nodoc:
       self # NOTREACHED
     end
 
+    def dup
+      ArrayType.new(type_table, @base_type.dup, @length)
+    end
+
     private
     def create_name(base_type, length)
       "(#{base_type.name})[#{length ? length : ""}]"
@@ -6671,6 +6600,11 @@ module C #:nodoc:
     def corresponding_unsigned_type
       self # NOTREACHED
     end
+
+    def dup
+      self.class.new(type_table, declarations.first,
+                     @members.map { |memb| memb.dup })
+    end
   end
 
   class Member
@@ -6681,6 +6615,10 @@ module C #:nodoc:
 
     attr_reader :name
     attr_reader :type
+
+    def dup
+      Member.new(@name, @type.dup)
+    end
   end
 
   class StructType < CompositeDataType
@@ -6830,6 +6768,7 @@ module C #:nodoc:
     def_delegator :@base_type, :parameter_types
     def_delegator :@base_type, :enumerators
     def_delegator :@base_type, :length
+    def_delegator :@base_type, :length=
     def_delegator :@base_type, :impl_length
     def_delegator :@base_type, :members
     def_delegator :@base_type, :member_named
@@ -6892,6 +6831,10 @@ module C #:nodoc:
 
     def_delegator :@base_type, :corresponding_signed_type
     def_delegator :@base_type, :corresponding_unsigned_type
+
+    def dup
+      UserType.new(type_table, declarations.first, @base_type.dup)
+    end
   end
 
   class UserTypeId < TypeId
@@ -7041,6 +6984,10 @@ module C #:nodoc:
 
     def_delegator :@type, :corresponding_signed_type
     def_delegator :@type, :corresponding_unsigned_type
+
+    def dup
+      ParameterType.new(type_table, @type.dup, @declaration_or_definition)
+    end
   end
 
   class ExtendedBigIntType < IntegerType
@@ -7129,6 +7076,10 @@ module C #:nodoc:
     def corresponding_unsigned_type
       self
     end
+
+    def dup
+      ExtendedBigIntType.new(type_table)
+    end
   end
 
   class StandardTypeCatalog

data/lib/adlint/version.rb

@@ -33,8 +33,8 @@ module AdLint #:nodoc:
 
   MAJOR_VERSION = 1
   MINOR_VERSION = 18
-  PATCH_VERSION = 2
-  RELEASE_DATE  = "2012-08-03"
+  PATCH_VERSION = 6
+  RELEASE_DATE  = "2012-08-14"
 
   TRAITS_SCHEMA_VERSION = "1.0.0"
 

data/share/doc/developers_guide_ja.html

@@ -1,8 +1,8 @@
 <html lang="ja">
 <head>
-<title>AdLint 1.18.2 開発者ガイド</title>
+<title>AdLint 1.18.6 開発者ガイド</title>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
-<meta name="description" content="AdLint 1.18.2 開発者ガイド">
+<meta name="description" content="AdLint 1.18.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 1.18.2 開発者ガイド</h1>
+<h1 class="settitle">AdLint 1.18.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 1.18.2 開発者ガイド
+@settitle AdLint 1.18.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 1.18.2 User's Guide</title>
+<title>AdLint 1.18.6 User's Guide</title>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
-<meta name="description" content="AdLint 1.18.2 User's Guide">
+<meta name="description" content="AdLint 1.18.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 1.18.2 User's Guide</h1>
+<h1 class="settitle">AdLint 1.18.6 User's Guide</h1>
 <div class="node">
 <a name="Top"></a>
 <p><hr>

data/share/doc/users_guide_en.texi

@@ -2,7 +2,7 @@
 @setfilename users_guide_en.info
 @documentlanguage en
 @documentencoding utf-8
-@settitle AdLint 1.18.2 User's Guide
+@settitle AdLint 1.18.6 User's Guide
 
 @copying
 Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.

data/share/doc/users_guide_ja.html

@@ -1,8 +1,8 @@
 <html lang="ja">
 <head>
-<title>AdLint 1.18.2 利用者ガイド</title>
+<title>AdLint 1.18.6 利用者ガイド</title>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
-<meta name="description" content="AdLint 1.18.2 利用者ガイド">
+<meta name="description" content="AdLint 1.18.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 1.18.2 利用者ガイド</h1>
+<h1 class="settitle">AdLint 1.18.6 利用者ガイド</h1>
 <div class="node">
 <a name="Top"></a>
 <p><hr>
@@ -28900,7 +28900,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.482.2 内容</h4>
 
 <p>ローカルで <code>static</code> な変数のアドレスが、結合またはより広いスコープを持つポインタに代入されています。
-静的記憶域期間を持つため、危険ではありませんが、C++ におけるデータ隠蔽の原則に反します。
+静的記憶域期間を持つため、危険ではありませんが、データ隠蔽の原則に反します。
 
 <h4 class="subsection">6.482.3 サンプルコード</h4>
 

data/share/doc/users_guide_ja.texi

@@ -2,7 +2,7 @@
 @setfilename users_guide_ja.info
 @documentlanguage ja
 @documentencoding utf-8
-@settitle AdLint 1.18.2 利用者ガイド
+@settitle AdLint 1.18.6 利用者ガイド
 
 @copying
 Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
@@ -25040,7 +25040,7 @@ void func(int a)
 @subsection 内容
 
 ローカルで @code{static} な変数のアドレスが、結合またはより広いスコープを持つポインタに代入されています。
-静的記憶域期間を持つため、危険ではありませんが、C++ におけるデータ隠蔽の原則に反します。
+静的記憶域期間を持つため、危険ではありませんが、データ隠蔽の原則に反します。
 
 @subsection サンプルコード
 

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: adlint
 version: !ruby/object:Gem::Version
-  version: 1.18.2
+  version: 1.18.6
   prerelease: 
 platform: ruby
 authors:
@@ -9,7 +9,7 @@ authors:
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2012-08-03 00:00:00.000000000 Z
+date: 2012-08-14 00:00:00.000000000 Z
 dependencies: []
 description: ! 'AdLint is a source code static analyzer.