adlint 1.8.10 → 1.10.0

data/lib/adlint/c/object.rb

@@ -100,20 +100,23 @@ module C #:nodoc:
     end
 
     def declared_as_extern?
-      storage_class_specifiers.empty? ||
-        storage_class_specifiers.any? { |sc_spec| sc_spec.type == :EXTERN }
+      first_sc_spec = first_storage_class_specifier
+      first_sc_spec.nil? || first_sc_spec.type == :EXTERN
     end
 
     def declared_as_static?
-      storage_class_specifiers.any? { |sc_spec| sc_spec.type == :STATIC }
+      first_sc_spec = first_storage_class_specifier and
+        first_sc_spec.type == :STATIC
     end
 
     def declared_as_auto?
-      storage_class_specifiers.any? { |sc_spec| sc_spec.type == :AUTO }
+      first_sc_spec = first_storage_class_specifier and
+        first_sc_spec.type == :AUTO
     end
 
     def declared_as_register?
-      storage_class_specifiers.any? { |sc_spec| sc_spec.type == :REGISTER }
+      first_sc_spec = first_storage_class_specifier and
+        first_sc_spec.type == :REGISTER
     end
 
     def designated_by_lvalue?
@@ -135,6 +138,15 @@ module C #:nodoc:
     def variable?
       subclass_responsibility
     end
+
+    private
+    def first_storage_class_specifier
+      if @declarations_and_definitions.empty?
+        nil
+      else
+        @declarations_and_definitions.first.storage_class_specifier
+      end
+    end
   end
 
   class TypedObject < Object
@@ -263,7 +275,8 @@ module C #:nodoc:
       if @scope.global?
         super
       else
-        storage_class_specifiers.any? { |sc_spec| sc_spec.type == :EXTERN }
+      first_sc_spec = first_storage_class_specifier and
+        first_sc_spec.type == :EXTERN
       end
     end
 
@@ -271,8 +284,8 @@ module C #:nodoc:
       if @scope.global?
         super
       else
-        storage_class_specifiers.empty? ||
-          storage_class_specifiers.any? { |sc_spec| sc_spec.type == :AUTO }
+        first_sc_spec = first_storage_class_specifier
+        first_sc_spec.nil? || first_sc_spec.type == :AUTO
       end
     end
   end
@@ -595,8 +608,8 @@ module C #:nodoc:
     end
 
     def define(definition, init_value = nil)
-      if storage_class_of(definition) == :static
-        # NOTE: Value of the global variable should be arbitrary because
+      if storage_duration_of(definition) == :static
+        # NOTE: Value of the static duration object should be arbitrary because
         #       execution of its accessors are out of order.
         #       So, a value of the initializer should be ignored.
         init_value = definition.type.arbitrary_value
@@ -614,8 +627,8 @@ module C #:nodoc:
 
       # NOTE: Domain of the init-value will be restricted by type's min-max in
       #       define_variable.
-      define_variable(definition, definition.type, allocate_memory(definition),
-                      init_value)
+      define_variable(definition, definition.type,
+                      allocate_memory(definition), init_value)
     end
 
     def define_temporary(type, init_value)
@@ -667,6 +680,63 @@ module C #:nodoc:
       end
     end
 
+    def storage_duration_of(declaration_or_definition)
+      # NOTE: The ISO C99 standard saids;
+      #
+      # 6.2.2 Linkages of identifiers
+      #
+      # 1 An identifier declared in different scopes or in the same scope more
+      #   than once can be made to refer to the same object or function by a
+      #   process called linkage.  There are three kinds of linkage: external,
+      #   internal, and none.
+      #
+      # 3 If the declaration of a file scope identifier for an object or a
+      #   function contains the storage-class specifier static, the identifier
+      #   has internal linkage.
+      #
+      # 4 For an identifier declared with the storage-class specifier extern in
+      #   a scope in which a prior declaration of that identifier is visible,
+      #   if the prior declaration specifies internal or external linkage, the
+      #   linkage of the identifier at the later declaration is the same as the
+      #   linkage specified at the prior declaration. If no prior declaration
+      #   is visible, or if the prior declaration specifies no linkage, then
+      #   the identifier has external linkage.
+      #
+      # 5 If the declaration of an identifier for a function has no
+      #   storage-class specifier, its linkage is determined exactly as if it
+      #   were declared with the storage-class specifier extern. If the
+      #   declaration of an identifier for an object has file scope and no
+      #   storage-class specifier, its linkage is external.
+      #
+      # 6 The following identifiers have no linkage: an identifier declared to
+      #   be anything other than an object or a function; an identifier
+      #   declared to be a function parameter; a block scope identifier for an
+      #   object declared without the storage-class specifier extern.
+      #
+      # 6.2.4 Storage durations of objects
+      #
+      # 1 An object has a storage duration that determines its lifetime. There
+      #   are three storage durations: static, automatic, and allocated.
+      #   Allocated storage is described in 7.20.3.
+      #
+      # 3 An object whose identifier is declared with external or internal
+      #   linkage, or with the storage-class specifier static has static
+      #   storage duration. Its lifetime is the entire execution of the program
+      #   and its stored value is initialized only once, prior to program
+      #   startup.
+      #
+      # 4 An object whose identifier is declared with no linkage and without
+      #   the storage-class specifier static has automatic storage duration.
+
+      sc_specifier = declaration_or_definition.storage_class_specifier
+      if sc_specifier &&
+          (sc_specifier.type == :EXTERN || sc_specifier.type == :STATIC)
+        :static
+      else
+        current_scope.global? ? :static : :automatic
+      end
+    end
+
     private
     def define_variable(declaration_or_definition, type, memory, init_value)
       variable = create_variable(declaration_or_definition, type, memory)
@@ -683,25 +753,13 @@ module C #:nodoc:
 
     def allocate_memory(declaration_or_definition)
       byte_size = declaration_or_definition.type.aligned_byte_size
-      if storage_class_of(declaration_or_definition) == :static
+      if storage_duration_of(declaration_or_definition) == :static
         @memory_pool.allocate_static(byte_size)
       else
         @memory_pool.allocate_dynamic(byte_size)
       end
     end
 
-    def storage_class_of(declaration_or_definition)
-      storage_class_specifier =
-        declaration_or_definition.storage_class_specifier
-      if storage_class_specifier &&
-          (storage_class_specifier.type == :EXTERN ||
-           storage_class_specifier.type == :STATIC)
-        :static
-      else
-        current_scope.global? ? :static : :dynamic
-      end
-    end
-
     def create_variable(declaration_or_definition, type, memory)
       if declaration_or_definition
         NamedVariable.new(memory, declaration_or_definition, current_scope)
@@ -797,7 +855,7 @@ module C #:nodoc:
           when arg.type.function? && param_type.pointer?
             arg_value = interpreter.pointer_value_of(arg)
             converted = interpreter.temporary_variable(param_type, arg_value)
-          when arg.variable? && !param_type.same_as?(arg.type)
+          when arg.variable? && !arg.type.same_as?(param_type)
             converted =
               interpreter.do_conversion(arg, param_type) ||
               interpreter.temporary_variable(param_type)
@@ -960,6 +1018,15 @@ module C #:nodoc:
       @scope_stack.pop
     end
 
+    def declare(declaration)
+      if function = lookup(declaration.identifier.value)
+        function.declarations_and_definitions.push(declaration)
+        return function
+      end
+
+      define(ExplicitFunction.new(declaration))
+    end
+
     def define(function)
       # NOTE: A function has a starting address in the TEXT segment.
       #       This is ad-hoc implementation, but it's enough for analysis.

data/lib/adlint/c/option.rb

@@ -0,0 +1,53 @@
+# Miscellaneous option constants.
+#
+# 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/>.
+#
+#++
+
+module AdLint #:nodoc:
+module C #:nodoc:
+
+  module InterpreterOptions
+    QUIET = :quiet
+  end
+
+  module BranchOptions
+    NARROWING = :narrowing
+    WIDENING = :widening
+    FIRST = :first
+    FINAL = :final
+    SMOTHER_BREAK = :smother_break
+    IMPLICIT_CONDITION = :implicit_condition
+  end
+
+  module BranchGroupOptions
+    COMPLETE = :complete
+  end
+
+end
+end

data/lib/adlint/c/phase.rb

@@ -641,6 +641,9 @@ module C #:nodoc:
         W0713.new(context),
         W0714.new(context),
         W0715.new(context),
+        W0716.new(context),
+        W0717.new(context),
+        W0718.new(context),
         W0720.new(context),
         W0721.new(context),
         W0722.new(context),
@@ -747,7 +750,7 @@ module C #:nodoc:
     private
     def do_execute(context)
       monitored_region("int") do
-        context[:c_interpreter].execute(context[:c_syntax_tree])
+        Program.new(context[:c_interpreter], context[:c_syntax_tree]).execute
         ValueDomain.clear_memo
       end
     ensure

data/lib/adlint/c/type.rb

@@ -35,6 +35,7 @@ require "adlint/c/syntax"
 require "adlint/c/scope"
 require "adlint/c/object"
 require "adlint/c/conv"
+require "adlint/c/option"
 
 module AdLint #:nodoc:
 module C #:nodoc:
@@ -200,14 +201,22 @@ module C #:nodoc:
       subclass_responsibility
     end
 
-    def compatible?(type)
+    def compatible?(to_type)
       subclass_responsibility
     end
 
-    def coercible?(type)
+    def coercible?(to_type)
       subclass_responsibility
     end
 
+    def convertible?(to_type)
+      self.same_as?(to_type)
+    end
+
+    def more_cv_qualified?(than_type)
+      false
+    end
+
     def same_as?(type)
       self.real_type.unqualify == type.real_type.unqualify
     end
@@ -667,11 +676,15 @@ module C #:nodoc:
       true
     end
 
-    def compatible?(type)
+    def compatible?(to_type)
       false
     end
 
-    def coercible?(type)
+    def coercible?(to_type)
+      false
+    end
+
+    def convertible?(to_type)
       false
     end
 
@@ -1187,11 +1200,15 @@ module C #:nodoc:
       true
     end
 
-    def compatible?(type)
+    def compatible?(to_type)
       false
     end
 
-    def coercible?(type)
+    def coercible?(to_type)
+      false
+    end
+
+    def convertible?(to_type)
       false
     end
 
@@ -1709,12 +1726,34 @@ module C #:nodoc:
       @base_type.incomplete?
     end
 
-    def compatible?(type)
-      @base_type.compatible?(type)
+    def compatible?(to_type)
+      @base_type.compatible?(to_type)
     end
 
-    def coercible?(type)
-      @base_type.coercible?(type)
+    def coercible?(to_type)
+      @base_type.coercible?(to_type)
+    end
+
+    def more_cv_qualified?(than_type)
+      # NOTE: The term `more cv-qualified' means:
+      #         const          > none
+      #         volatile       > none
+      #         const volatile > none
+      #         const volatile > const
+      #         const volatile > volatile
+      if than_type.qualified?
+        if than_type.const? && than_type.volatile?
+          false
+        else
+          if self.const? && self.volatile?
+            true
+          else
+            false
+          end
+        end
+      else
+        true
+      end
     end
 
     def scalar?
@@ -2014,16 +2053,20 @@ module C #:nodoc:
       true
     end
 
-    def compatible?(type)
+    def compatible?(to_type)
       false
     end
 
-    def coercible?(type)
+    def coercible?(to_type)
       false
     end
 
+    def convertible?(to_type)
+      to_type.void?
+    end
+
     def same_as?(type)
-      type.void?
+      false
     end
 
     def scalar?
@@ -2538,19 +2581,19 @@ module C #:nodoc:
         @parameter_types.any? { |type| type.incomplete? }
     end
 
-    def compatible?(type)
-      return false unless type.function?
+    def compatible?(to_type)
+      return false unless to_type.function?
 
       lhs_params = @parameter_types
-      rhs_params = type.parameter_types
+      rhs_params = to_type.parameter_types
 
-      @return_type.compatible?(type.return_type) &&
+      @return_type.compatible?(to_type.return_type) &&
         lhs_params.size == rhs_params.size &&
         lhs_params.zip(rhs_params).all? { |lhs, rhs| lhs.compatible?(rhs) } &&
-        @have_va_list == type.have_va_list?
+        @have_va_list == to_type.have_va_list?
     end
 
-    def coercible?(type)
+    def coercible?(to_type)
       false
     end
 
@@ -3087,12 +3130,12 @@ module C #:nodoc:
       self
     end
 
-    def compatible?(type)
+    def compatible?(to_type)
       subclass_responsibility
     end
 
-    def coercible?(type)
-      type.scalar?
+    def coercible?(to_type)
+      to_type.scalar?
     end
 
     def scalar?
@@ -3483,9 +3526,10 @@ module C #:nodoc:
       nil
     end
 
-    def compatible?(type)
-      type.integer? &&
-        type.min_value <= self.min_value && self.max_value <= type.max_value
+    def compatible?(to_type)
+      to_type.integer? &&
+        to_type.min_value <= self.min_value &&
+        self.max_value <= to_type.max_value
     end
 
     def integer?
@@ -4877,9 +4921,10 @@ module C #:nodoc:
       false
     end
 
-    def compatible?(type)
+    def compatible?(to_type)
       type.floating? &&
-        type.min_value <= self.min_value && self.max_value <= type.max_value
+        to_type.min_value <= self.min_value &&
+        self.max_value <= to_type.max_value
     end
 
     def integer?
@@ -5338,15 +5383,18 @@ module C #:nodoc:
       false
     end
 
-    def same_as?(type)
+    def convertible?(to_type)
       lhs_unqualified = self.real_type.unqualify
-      rhs_unqualified = type.real_type.unqualify
+      rhs_unqualified = to_type.real_type.unqualify
+
+      if rhs_unqualified.pointer? || rhs_unqualified.array?
+        lhs_base = lhs_unqualified.base_type
+        rhs_base = rhs_unqualified.base_type
 
-      if rhs_unqualified.pointer?
-        if lhs_unqualified.base_type.void?
-          true
+        unless lhs_base.more_cv_qualified?(rhs_base)
+          lhs_base.void? || lhs_base.convertible?(rhs_base)
         else
-          lhs_unqualified.base_type.same_as?(rhs_unqualified.base_type)
+          false
         end
       else
         false
@@ -5536,13 +5584,31 @@ module C #:nodoc:
       @base_type.incomplete? || @length.nil?
     end
 
-    def compatible?(type)
-      type.array? &&
-        @length == type.length && @base_type.compatible?(type.base_type)
+    def compatible?(to_type)
+      to_type.array? &&
+        @length == to_type.length && @base_type.compatible?(to_type.base_type)
+    end
+
+    def coercible?(to_type)
+      to_type.array? && @base_type.coercible?(to_type.base_type)
     end
 
-    def coercible?(type)
-      type.array? && @base_type.coercible?(type.base_type)
+    def convertible?(to_type)
+      lhs_unqualified = self.real_type.unqualify
+      rhs_unqualified = to_type.real_type.unqualify
+
+      if rhs_unqualified.pointer? || rhs_unqualified.array?
+        lhs_base = lhs_unqualified.base_type
+        rhs_base = rhs_unqualified.base_type
+
+        unless lhs_base.more_cv_qualified?(rhs_base)
+          lhs_base.convertible?(rhs_base)
+        else
+          false
+        end
+      else
+        false
+      end
     end
 
     def same_as?(type)
@@ -6118,15 +6184,15 @@ module C #:nodoc:
       declarations.all? { |decl| decl.struct_declarations.nil? }
     end
 
-    def compatible?(type)
-      type.composite? &&
-        @members.size == type.members.size &&
-        @members.zip(type.members).all? { |lhs, rhs| lhs.compatible?(rhs) }
+    def compatible?(to_type)
+      to_type.composite? &&
+        @members.size == to_type.members.size &&
+        @members.zip(to_type.members).all? { |lhs, rhs| lhs.compatible?(rhs) }
     end
 
-    def coercible?(type)
-      type.composite? &&
-        @members.zip(type.members).all? { |lhs_member, rhs_member|
+    def coercible?(to_type)
+      to_type.composite? &&
+        @members.zip(to_type.members).all? { |lhs_member, rhs_member|
           rhs_member && lhs_member.type.coercible?(rhs_member.type)
         }
     end
@@ -7228,7 +7294,7 @@ module C #:nodoc:
         else
           if interpreter
             object = interpreter.execute(first_type_specifier.expression,
-                                         :suppress_notification)
+                                         InterpreterOptions::QUIET)
             return object.type
           else
             return nil

data/lib/adlint/c.rb

@@ -47,6 +47,7 @@ require "adlint/c/message"
 require "adlint/c/message_shima"
 require "adlint/c/metric"
 require "adlint/c/object"
+require "adlint/c/option"
 require "adlint/c/parser"
 require "adlint/c/phase"
 require "adlint/c/resolver"

data/lib/adlint/version.rb

@@ -32,9 +32,9 @@
 module AdLint #:nodoc:
 
   MAJOR_VERSION = 1
-  MINOR_VERSION = 8
-  PATCH_VERSION = 10
-  RELEASE_DATE  = "2012-05-18"
+  MINOR_VERSION = 10
+  PATCH_VERSION = 0
+  RELEASE_DATE  = "2012-06-06"
 
   TRAITS_SCHEMA_VERSION = "1.0.0"
 

data/share/doc/developers_guide_ja.html

@@ -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="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.8.10 開発者ガイド
+@settitle AdLint 1.10.0 開発者ガイド
 
 @copying
 Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.