adlint 1.16.0 → 1.18.0

data/lib/adlint/c/parser.y

@@ -1092,7 +1092,8 @@ enum_specifier
       {
         checkpoint(val[0].location)
 
-        result = EnumSpecifier.new(create_unnamed_tag_name(val[0]), val[2])
+        result = EnumSpecifier.new(create_unnamed_tag_name(val[0]), val[2],
+                                   val[3])
         result.head_token = val[0]
         result.tail_token = val[4]
       }
@@ -1100,7 +1101,7 @@ enum_specifier
       {
         checkpoint(val[0].location)
 
-        result = EnumSpecifier.new(val[1], val[3])
+        result = EnumSpecifier.new(val[1], val[3], val[4])
         result.head_token = val[0]
         result.tail_token = val[5]
       }

data/lib/adlint/c/phase.rb

@@ -602,8 +602,12 @@ module C #:nodoc:
         W0638.new(context),
         W0639.new(context),
         W0640.new(context),
+        W0641.new(context),
         W0642.new(context),
+        W0644.new(context),
         W0645.new(context),
+        W0649.new(context),
+        W0650.new(context),
         W0653.new(context),
         W0654.new(context),
         W0655.new(context),
@@ -646,6 +650,7 @@ module C #:nodoc:
         W0703.new(context),
         W0704.new(context),
         W0705.new(context),
+        W0707.new(context),
         W0708.new(context),
         W0711.new(context),
         W0712.new(context),
@@ -655,6 +660,7 @@ module C #:nodoc:
         W0716.new(context),
         W0717.new(context),
         W0718.new(context),
+        W0719.new(context),
         W0720.new(context),
         W0721.new(context),
         W0722.new(context),
@@ -709,13 +715,18 @@ module C #:nodoc:
         W0777.new(context),
         W0778.new(context),
         W0779.new(context),
+        W0780.new(context),
         W0781.new(context),
+        W0783.new(context),
         W0785.new(context),
         W0786.new(context),
         W0787.new(context),
         W0788.new(context),
         W0789.new(context),
         W0790.new(context),
+        W0792.new(context),
+        W0793.new(context),
+        W0794.new(context),
         W0795.new(context),
         W0796.new(context),
         W0797.new(context),
@@ -727,10 +738,14 @@ module C #:nodoc:
         W0810.new(context),
         W0827.new(context),
         W0828.new(context),
+        W0830.new(context),
+        W0833.new(context),
+        W0834.new(context),
         W0947.new(context),
         W0948.new(context),
         W0949.new(context),
         W0950.new(context),
+        W1026.new(context),
         W1027.new(context),
         W1028.new(context),
         W1029.new(context),
@@ -739,6 +754,8 @@ module C #:nodoc:
         W1032.new(context),
         W1033.new(context),
         W1034.new(context),
+        W1039.new(context),
+        W1047.new(context),
         W1049.new(context),
         W1050.new(context),
         W1051.new(context),
@@ -761,6 +778,7 @@ module C #:nodoc:
         W1068.new(context),
         W1069.new(context),
         W1070.new(context),
+        W1071.new(context),
         W1072.new(context),
         W1073.new(context),
         W1074.new(context),

data/lib/adlint/c/resolver.rb

@@ -123,6 +123,29 @@ module C #:nodoc:
                                        node.init_declarator.declarator)
     end
 
+    def visit_parameter_declaration(node)
+      checkpoint(node.location)
+      node.declaration_specifiers.accept(self) if node.declaration_specifiers
+      node.declarator.accept(self) if node.declarator
+
+      if declaration_specifiers = node.declaration_specifiers
+        type_qualifiers = declaration_specifiers.type_qualifiers
+        type_specifiers = declaration_specifiers.type_specifiers
+      else
+        type_qualifiers = []
+        type_specifiers = []
+      end
+
+      type = lookup_variable_type(type_qualifiers, type_specifiers,
+                                  node.declarator)
+
+      if type.function?
+        node.type = @type_table.pointer_type(type)
+      else
+        node.type = type
+      end
+    end
+
     def visit_variable_declaration(node)
       checkpoint(node.location)
       node.declaration_specifiers.accept(self) if node.declaration_specifiers

data/lib/adlint/c/syntax.rb

@@ -1457,7 +1457,10 @@ module C #:nodoc:
       #   left-to-right evaluation; there is a sequence point after the
       #   evaluation of the first operand.  If the first operand compares equal
       #   to 0, the second operand is not evaluated.
-      @lhs_operand.append_sequence_point!
+      #
+      # NOTE: Sequence point will be reached after lhs value reference.
+      #       So, notification should be done by ExpressionEvaluator manually.
+      # @lhs_operand.append_sequence_point!
     end
 
     def have_side_effect?
@@ -1491,7 +1494,10 @@ module C #:nodoc:
       #   left-to-right evaluation; there is a sequence point after the
       #   evaluation of the first operand.  If the first operand compares
       #   unequal to 0, the second operand is not evaluated.
-      @lhs_operand.append_sequence_point!
+      #
+      # NOTE: Sequence point will be reached after lhs value reference.
+      #       So, notification should be done by ExpressionEvaluator manually.
+      # @lhs_operand.append_sequence_point!
     end
 
     def have_side_effect?
@@ -2363,14 +2369,16 @@ module C #:nodoc:
   end
 
   class EnumSpecifier < TypeSpecifier
-    def initialize(identifier, enumerators)
+    def initialize(identifier, enumerators, trailing_comma = nil)
       super()
       @identifier = identifier
       @enumerators = enumerators
+      @trailing_comma = trailing_comma
     end
 
     attr_reader :identifier
     attr_reader :enumerators
+    attr_reader :trailing_comma
 
     def location
       @identifier.location
@@ -2509,6 +2517,18 @@ module C #:nodoc:
     def variable?
       !function?
     end
+
+    def parameter_type_list
+      subclass_responsibility
+    end
+
+    def innermost_parameter_type_list
+      subclass_responsibility
+    end
+
+    def identifier_list
+      subclass_responsibility
+    end
   end
 
   class IdentifierDeclarator < Declarator
@@ -2531,6 +2551,10 @@ module C #:nodoc:
       nil
     end
 
+    def innermost_parameter_type_list
+      nil
+    end
+
     def identifier_list
       nil
     end
@@ -2565,6 +2589,10 @@ module C #:nodoc:
       @base.parameter_type_list
     end
 
+    def innermost_parameter_type_list
+      @base.innermost_parameter_type_list
+    end
+
     def identifier_list
       @base.identifier_list
     end
@@ -2602,6 +2630,10 @@ module C #:nodoc:
       @base.parameter_type_list
     end
 
+    def innermost_parameter_type_list
+      @base.innermost_parameter_type_list
+    end
+
     def identifier_list
       @base.identifier_list
     end
@@ -2654,6 +2686,10 @@ module C #:nodoc:
 
     attr_accessor :parameter_type_list
 
+    def innermost_parameter_type_list
+      @base.innermost_parameter_type_list || @parameter_type_list
+    end
+
     def identifier_list
       @base.identifier_list
     end
@@ -2670,6 +2706,10 @@ module C #:nodoc:
     def parameter_type_list
       @base.parameter_type_list
     end
+
+    def innermost_parameter_type_list
+      @base.innermost_parameter_type_list
+    end
   end
 
   class AbbreviatedFunctionDeclarator < FunctionDeclarator
@@ -2677,6 +2717,10 @@ module C #:nodoc:
       @base.parameter_type_list
     end
 
+    def innermost_parameter_type_list
+      @base.innermost_parameter_type_list
+    end
+
     def identifier_list
       @base.identifier_list
     end
@@ -2711,10 +2755,12 @@ module C #:nodoc:
       super()
       @declaration_specifiers = declaration_specifiers
       @declarator = declarator
+      @type = nil
     end
 
     attr_reader :declaration_specifiers
     attr_reader :declarator
+    attr_accessor :type
 
     def location
       @declarator ? @declarator.location : @declaration_specifiers.location
@@ -3487,7 +3533,7 @@ module C #:nodoc:
     def initialize(declaration_specifiers, declarator,
                    compound_statement, symbol_table)
       super(declaration_specifiers, declarator,
-            create_parameters(declarator.parameter_type_list),
+            create_parameters(declarator.innermost_parameter_type_list),
             compound_statement, symbol_table)
     end
 
@@ -3635,6 +3681,18 @@ module C #:nodoc:
       stack.last == :function
     end
 
+    def parameter_type_list
+      @base.parameter_type_list
+    end
+
+    def innermost_parameter_type_list
+      @base.innermost_parameter_type_list
+    end
+
+    def identifier_list
+      @base.identifier_list
+    end
+
     def inspect(indent = 0)
       " " * indent + short_class_name
     end
@@ -3656,6 +3714,18 @@ module C #:nodoc:
       @base.function?
     end
 
+    def parameter_type_list
+      @base.parameter_type_list
+    end
+
+    def innermost_parameter_type_list
+      @base.innermost_parameter_type_list
+    end
+
+    def identifier_list
+      @base.identifier_list
+    end
+
     def inspect(indent = 0)
       " " * indent + short_class_name
     end
@@ -3683,6 +3753,18 @@ module C #:nodoc:
       stack.last == :function
     end
 
+    def parameter_type_list
+      @base.parameter_type_list
+    end
+
+    def innermost_parameter_type_list
+      @base.innermost_parameter_type_list
+    end
+
+    def identifier_list
+      @base.identifier_list
+    end
+
     def inspect(indent = 0)
       " " * indent + short_class_name
     end
@@ -3710,6 +3792,10 @@ module C #:nodoc:
       stack.last == :function
     end
 
+    def innermost_parameter_type_list
+      @base.innermost_parameter_type_list || @parameter_type_list
+    end
+
     def inspect(indent = 0)
       " " * indent + short_class_name
     end

data/lib/adlint/c/type.rb

@@ -31,6 +31,7 @@
 
 require "adlint/traits"
 require "adlint/token"
+require "adlint/util"
 require "adlint/c/syntax"
 require "adlint/c/scope"
 require "adlint/c/object"
@@ -136,6 +137,7 @@ module C #:nodoc:
   #    <--- ParameterType ---------------------------------+
   class Type
     include StandardTypeCatalogAccessor
+    include Visitable
 
     def initialize(type_table, name, type_declarations = [])
       @type_table = type_table
@@ -877,34 +879,22 @@ module C #:nodoc:
 
     def _arithmetic_type_with_undeclared(lhs, rhs = self)
       # NOTE: An arithmetic operation with UndeclaredType must not be executed!
-      # NOTE: Binary operation with UndeclaredType and UndeclaredType
-      #       raises a runtime error.
-      raise TypeError,
-        "arithmetic-type of UndeclaredType and UndeclaredType is not defined."
+      lhs # NOTREACHED
     end
 
     def _arithmetic_type_with_unresolved(lhs, rhs = self)
       # NOTE: An arithmetic operation with UndeclaredType must not be executed!
-      # NOTE: Binary operation with UnresolvedType and UndeclaredType
-      #       raises a runtime error.
-      raise TypeError,
-        "arithmetic-type of UnresolvedType and UndeclaredType is not defined."
+      lhs # NOTREACHED
     end
 
     def _arithmetic_type_with_void(lhs, rhs = self)
       # NOTE: An arithmetic operation with UndeclaredType must not be executed!
-      # NOTE: Binary operation with `void' and UndeclaredType
-      #       raises a runtime error.
-      raise TypeError,
-        "arithmetic-type of `void' and UndeclaredType is not defined."
+      lhs # NOTREACHED
     end
 
     def _arithmetic_type_with_function(lhs, rhs = self)
       # NOTE: An arithmetic operation with UndeclaredType must not be executed!
-      # NOTE: Binary operation with FunctionType and UndeclaredType
-      #       raises a runtime error.
-      raise TypeError,
-        "arithmetic-type of FunctionType and UndeclaredType is not defined."
+      lhs # NOTREACHED
     end
 
     def _arithmetic_type_with_char(lhs, rhs = self)
@@ -1127,26 +1117,17 @@ module C #:nodoc:
 
     def _arithmetic_type_with_array(lhs, rhs = self)
       # NOTE: An arithmetic operation with UndeclaredType must not be executed!
-      # NOTE: Binary operation with ArrayType and UndeclaredType
-      #       raises a runtime error.
-      raise TypeError,
-        "arithmetic-type of ArrayType and UndeclaredType is not defined."
+      lhs # NOTREACHED
     end
 
     def _arithmetic_type_with_struct(lhs, rhs = self)
       # NOTE: An arithmetic operation with UndeclaredType must not be executed!
-      # NOTE: Binary operation with StructType and UndeclaredType
-      #       raises a runtime error.
-      raise TypeError,
-        "arithmetic-type of StructType and UndeclaredType is not defined."
+      lhs # NOTREACHED
     end
 
     def _arithmetic_type_with_union(lhs, rhs = self)
       # NOTE: An arithmetic operation with UndeclaredType must not be executed!
-      # NOTE: Binary operation with UnionType and UndeclaredType
-      #       raises a runtime error.
-      raise TypeError,
-        "arithmetic-type of UnionType and UndeclaredType is not defined."
+      lhs # NOTREACHED
     end
 
     def _arithmetic_type_with_extended_big_int(lhs, rhs = self)
@@ -1410,26 +1391,17 @@ module C #:nodoc:
 
     def _arithmetic_type_with_unresolved(lhs, rhs = self)
       # NOTE: An arithmetic operation with UnresolvedType must not be executed!
-      # NOTE: Binary operation with UnresolvedType and UnresolvedType
-      #       raises a runtime error.
-      raise TypeError,
-        "arithmetic-type of UnresolvedType and UnresolvedType is not defined."
+      lhs # NOTREACHED
     end
 
     def _arithmetic_type_with_void(lhs, rhs = self)
       # NOTE: An arithmetic operation with UnresolvedType must not be executed!
-      # NOTE: Binary operation with `void' and UnresolvedType
-      #       raises a runtime error.
-      raise TypeError,
-        "arithmetic-type of `void' and UnresolvedType is not defined."
+      lhs # NOTREACHED
     end
 
     def _arithmetic_type_with_function(lhs, rhs = self)
       # NOTE: An arithmetic operation with UnresolvedType must not be executed!
-      # NOTE: Binary operation with FunctionType and UnresolvedType
-      #       raises a runtime error.
-      raise TypeError,
-        "arithmetic-type of FunctionType and UnresolvedType is not defined."
+      lhs # NOTREACHED
     end
 
     def _arithmetic_type_with_char(lhs, rhs = self)
@@ -1652,26 +1624,17 @@ module C #:nodoc:
 
     def _arithmetic_type_with_array(lhs, rhs = self)
       # NOTE: An arithmetic operation with UnresolvedType must not be executed!
-      # NOTE: Binary operation with ArrayType and UnresolvedType
-      #       raises a runtime error.
-      raise TypeError,
-        "arithmetic-type of ArrayType and UnresolvedType is not defined."
+      lhs # NOTREACHED
     end
 
     def _arithmetic_type_with_struct(lhs, rhs = self)
       # NOTE: An arithmetic operation with UnresolvedType must not be executed!
-      # NOTE: Binary operation with StructType and UnresolvedType
-      #       raises a runtime error.
-      raise TypeError,
-        "arithmetic-type of StructType and UnresolvedType is not defined."
+      lhs # NOTREACHED
     end
 
     def _arithmetic_type_with_union(lhs, rhs = self)
       # NOTE: An arithmetic operation with UnresolvedType must not be executed!
-      # NOTE: Binary operation with UnionType and UnresolvedType
-      #       raises a runtime error.
-      raise TypeError,
-        "arithmetic-type of UnionType and UnresolvedType is not defined."
+      lhs # NOTREACHED
     end
 
     def _arithmetic_type_with_extended_big_int(lhs, rhs = self)
@@ -2274,17 +2237,12 @@ module C #:nodoc:
 
     def _arithmetic_type_with_void(lhs, rhs = self)
       # NOTE: An arithmetic operation with `void' must not be executed!
-      # NOTE: Binary operation with `void' and `void' raises a runtime error.
-      raise TypeError,
-        "arithmetic-type of `void' and `void' is not defined."
+      lhs # NOTREACHED
     end
 
     def _arithmetic_type_with_function(lhs, rhs = self)
       # NOTE: An arithmetic operation with `void' must not be executed!
-      # NOTE: Binary operation with FunctionType and `void'
-      #       raises a runtime error.
-      raise TypeError,
-        "arithmetic-type of FunctionType and `void' is not defined."
+      lhs # NOTREACHED
     end
 
     def _arithmetic_type_with_char(lhs, rhs = self)
@@ -2502,26 +2460,17 @@ module C #:nodoc:
 
     def _arithmetic_type_with_array(lhs, rhs = self)
       # NOTE: An arithmetic operation with `void' must not be executed!
-      # NOTE: Binary operation with ArrayType and `void'
-      #       raises a runtime error.
-      raise TypeError,
-        "arithmetic-type of ArrayType and `void' is not defined."
+      lhs # NOTREACHED
     end
 
     def _arithmetic_type_with_struct(lhs, rhs = self)
       # NOTE: An arithmetic operation with `void' must not be executed!
-      # NOTE: Binary operation with StructType and `void'
-      #       raises a runtime error.
-      raise TypeError,
-        "arithmetic-type of StructType and `void' is not defined."
+      lhs # NOTREACHED
     end
 
     def _arithmetic_type_with_union(lhs, rhs = self)
       # NOTE: An arithmetic operation with `void' must not be executed!
-      # NOTE: Binary operation with UnionType and `void'
-      #       raises a runtime error.
-      raise TypeError,
-        "arithmetic-type of UnionType and `void' is not defined."
+      lhs # NOTREACHED
     end
 
     def _arithmetic_type_with_extended_big_int(lhs, rhs = self)
@@ -2599,8 +2548,9 @@ module C #:nodoc:
     end
 
     def incomplete?
-      @return_type.incomplete? || @parameter_types.empty? ||
-        @parameter_types.any? { |type| type.incomplete? }
+      @return_type.incomplete? && !@return_type.void? or
+        @parameter_types.empty? ||
+          @parameter_types.any? { |type| type.incomplete? && !type.void? }
     end
 
     def compatible?(to_type)
@@ -2803,10 +2753,7 @@ module C #:nodoc:
 
     def _arithmetic_type_with_function(lhs, rhs = self)
       # NOTE: An arithmetic operation with FunctionType must not be executed!
-      # NOTE: Binary operation with FunctionType and FunctionType
-      #       raises a runtime error.
-      raise TypeError,
-        "arithmetic-type of FunctionType and FunctionType is not defined."
+      lhs # NOTREACHED
     end
 
     def _arithmetic_type_with_char(lhs, rhs = self)
@@ -3029,26 +2976,17 @@ module C #:nodoc:
 
     def _arithmetic_type_with_array(lhs, rhs = self)
       # NOTE: An arithmetic operation with FunctionType must not be executed!
-      # NOTE: Binary operation with ArrayType and FunctionType
-      #       raises a runtime error.
-      raise TypeError,
-        "arithmetic-type of ArrayType and FunctionType is not defined."
+      lhs # NOTREACHED
     end
 
     def _arithmetic_type_with_struct(lhs, rhs = self)
       # NOTE: An arithmetic operation with FunctionType must not be executed!
-      # NOTE: Binary operation with StructType and FunctionType
-      #       raises a runtime error.
-      raise TypeError,
-        "arithmetic-type of StructType and FunctionType is not defined."
+      lhs # NOTREACHED
     end
 
     def _arithmetic_type_with_union(lhs, rhs = self)
       # NOTE: An arithmetic operation with FunctionType must not be executed!
-      # NOTE: Binary operation with UnionType and FunctionType
-      #       raises a runtime error.
-      raise TypeError,
-        "arithmetic-type of UnionType and FunctionType is not defined."
+      lhs # NOTREACHED
     end
 
     def _arithmetic_type_with_extended_big_int(lhs, rhs = self)
@@ -5231,7 +5169,9 @@ module C #:nodoc:
     end
 
     def undeclared?
-      @base_type.undeclared?
+      # NOTE: To avoid the infinite recursive call of #undeclared? when the
+      #       composite type contains the pointer to it's owner type.
+      @base_type.kind_of?(UndeclaredType)
     end
 
     def unresolved?
@@ -6129,26 +6069,17 @@ module C #:nodoc:
 
     def _arithmetic_type_with_array(lhs, rhs = self)
       # NOTE: An arithmetic operation with ArrayType must not be executed!
-      # NOTE: Binary operation with ArrayType and ArrayType
-      #       raises a runtime error.
-      raise TypeError,
-        "arithmetic-type of ArrayType and ArrayType is not defined."
+      lhs # NOTREACHED
     end
 
     def _arithmetic_type_with_struct(lhs, rhs = self)
       # NOTE: An arithmetic operation with ArrayType must not be executed!
-      # NOTE: Binary operation with StructType and ArrayType
-      #       raises a runtime error.
-      raise TypeError,
-        "arithmetic-type of StructType and ArrayType is not defined."
+      lhs # NOTREACHED
     end
 
     def _arithmetic_type_with_union(lhs, rhs = self)
       # NOTE: An arithmetic operation with ArrayType must not be executed!
-      # NOTE: Binary operation with UnionType and ArrayType
-      #       raises a runtime error.
-      raise TypeError,
-        "arithmetic-type of UnionType and ArrayType is not defined."
+      lhs # NOTREACHED
     end
 
     def _arithmetic_type_with_extended_big_int(lhs, rhs = self)
@@ -6716,19 +6647,13 @@ module C #:nodoc:
     def _arithmetic_type_with_struct(lhs, rhs = self)
       # NOTE: An arithmetic operation with CompositeDataType must not be
       #       executed!
-      # NOTE: Binary operation with StructType and CompositeDataType raises a
-      #       runtime error.
-      raise TypeError,
-        "arithmetic-type of StructType and CompositeDataType is not defined."
+      lhs # NOTREACHED
     end
 
     def _arithmetic_type_with_union(lhs, rhs = self)
       # NOTE: An arithmetic operation with CompositeDataType must not be
       #       executed!
-      # NOTE: Binary operation with UnionType and CompositeDataType raises a
-      #       runtime error.
-      raise TypeError,
-        "arithmetic-type of UnionType and CompositeDataType is not defined."
+      lhs # NOTREACHED
     end
 
     def _arithmetic_type_with_extended_big_int(lhs, rhs = self)
@@ -6995,6 +6920,7 @@ module C #:nodoc:
       @declaration_or_definition = declaration_or_definition
     end
 
+    attr_reader :type
     attr_reader :param_name
 
     extend Forwardable
@@ -7771,5 +7697,146 @@ module C #:nodoc:
     end
   end
 
+  class TypeVisitor
+    def visit_undeclared_type(type)
+    end
+
+    def visit_unresolved_type(type)
+    end
+
+    def visit_qualified_type(type)
+      type.base_type.accept(self)
+    end
+
+    def visit_void_type(type)
+    end
+
+    def visit_function_type(type)
+      type.return_type.accept(self)
+      type.parameter_types.each { |ptype| ptype.accept(self) }
+    end
+
+    def visit_char_type(type)
+    end
+
+    def visit_signed_char_type(type)
+    end
+
+    def visit_unsigned_char_type(type)
+    end
+
+    def visit_short_type(type)
+    end
+
+    def visit_signed_short_type(type)
+    end
+
+    def visit_unsigned_short_type(type)
+    end
+
+    def visit_short_int_type(type)
+    end
+
+    def visit_signed_short_int_type(type)
+    end
+
+    def visit_unsigned_short_int_type(type)
+    end
+
+    def visit_int_type(type)
+    end
+
+    def visit_signed_type(type)
+    end
+
+    def visit_signed_int_type(type)
+    end
+
+    def visit_unsigned_type(type)
+    end
+
+    def visit_unsigned_int_type(type)
+    end
+
+    def visit_long_type(type)
+    end
+
+    def visit_signed_long_type(type)
+    end
+
+    def visit_unsigned_long_type(type)
+    end
+
+    def visit_long_int_type(type)
+    end
+
+    def visit_signed_long_int_type(type)
+    end
+
+    def visit_unsigned_long_int_type(type)
+    end
+
+    def visit_long_long_type(type)
+    end
+
+    def visit_signed_long_long_type(type)
+    end
+
+    def visit_unsigned_long_long_type(type)
+    end
+
+    def visit_long_long_int_type(type)
+    end
+
+    def visit_signed_long_long_int_type(type)
+    end
+
+    def visit_unsigned_long_long_int_type(type)
+    end
+
+    def visit_extended_big_int_type(type)
+    end
+
+    def visit_bitfield_type(type)
+      type.base_type.accept(self)
+    end
+
+    def visit_enum_type(type)
+    end
+
+    def visit_pointer_type(type)
+      type.base_type.accept(self)
+    end
+
+    def visit_float_type(type)
+    end
+
+    def visit_double_type(type)
+    end
+
+    def visit_long_double_type(type)
+    end
+
+    def visit_array_type(type)
+      type.base_type.accept(self)
+    end
+
+    def visit_struct_type(type)
+      type.members.each { |memb| memb.type.accept(self) }
+    end
+
+    def visit_union_type(type)
+      type.members.each { |memb| memb.type.accept(self) }
+    end
+
+    def visit_user_type(type)
+      type.real_type.accept(self)
+    end
+
+    def visit_parameter_type(type)
+      type.type.accept(self)
+    end
+  end
+
 end
 end