adlint 2.6.14 → 3.0.0

data/lib/adlint/annot.rb

@@ -0,0 +1,149 @@
+# Source code annotations.
+#
+# Author::    Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
+# Copyright:: Copyright (C) 2010-2013, 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-2013, OGIS-RI Co.,Ltd.
+#
+# This file is part of AdLint.
+#
+# AdLint is free software: you can redistribute it and/or modify it under the
+# terms of the GNU General Public License as published by the Free Software
+# Foundation, either version 3 of the License, or (at your option) any later
+# version.
+#
+# AdLint is distributed in the hope that it will be useful, but WITHOUT ANY
+# WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR
+# A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License along with
+# AdLint.  If not, see <http://www.gnu.org/licenses/>.
+#
+#++
+
+require "adlint/supp"
+
+module AdLint #:nodoc:
+
+  class Annotation
+    def self.parse(str, loc)
+      FileWiseMessageSuppressionSpecifier.parse(str, loc) ||
+        LineWiseMessageSuppressionSpecifier.parse(str, loc)
+    end
+
+    def initialize(loc)
+      @location = loc
+    end
+
+    def message_suppression_specifier?
+      subclass_responsibility
+    end
+  end
+
+  class MessageSuppressionSpecifier < Annotation
+    def initialize(loc, msg_id_ary)
+      super(loc)
+      @message_ids = msg_id_ary.to_set
+    end
+
+    def message_suppression_specifier?
+      true
+    end
+
+    def file_wise?
+      subclass_responsibility
+    end
+
+    def line_wise?
+      subclass_responsibility
+    end
+
+    def create_suppressor
+      subclass_responsibility
+    end
+
+    private
+    def parse_message_specifiers(trailer)
+      msg_specs = []
+      scanner = StringScanner.new(trailer)
+
+      loop do
+        case
+        when scanned = scanner.scan(/:[a-z][a-z_0-9]*:\[.*?\]/m)
+          *, pkg_name, msg_names = scanned.split(":")
+          msg_specs.concat(parse_message_name_list(msg_names).map { |msg_name|
+            MessageId.new(pkg_name, msg_name)
+          })
+        when scanned = scanner.scan(/:\[.*?\]/m)
+          *, msg_names = scanned.split(":")
+          msg_specs.concat(parse_message_name_list(msg_names).map { |msg_name|
+            MessageId.new(nil, msg_name)
+          })
+        else
+          break
+        end
+      end
+
+      msg_specs
+    end
+
+    def parse_message_name_list(msg_names)
+      msg_names.slice(/\[(.*)\]/m, 1).split(",").map do |msg_name_str|
+        msg_name_str.strip.to_sym
+      end
+    end
+  end
+
+  class FileWiseMessageSuppressionSpecifier < MessageSuppressionSpecifier
+    def self.parse(str, loc)
+      str =~ /ADLINT:SF(:.*)\z/m ? new(loc, $1) : nil
+    end
+
+    def initialize(loc, trailer)
+      super(loc, parse_message_specifiers(trailer))
+    end
+
+    def file_wise?
+      true
+    end
+
+    def line_wise?
+      false
+    end
+
+    def create_suppressor
+      FileWiseMessageSuppressor.new(@message_ids, @location)
+    end
+  end
+
+  class LineWiseMessageSuppressionSpecifier < MessageSuppressionSpecifier
+    def self.parse(str, loc)
+      str =~ /ADLINT:SL(:.*)\z/m ? new(loc, $1) : nil
+    end
+
+    def initialize(loc, trailer)
+      super(loc, parse_message_specifiers(trailer))
+    end
+
+    def file_wise?
+      false
+    end
+
+    def line_wise?
+      true
+    end
+
+    def create_suppressor
+      LineWiseMessageSuppressor.new(@message_ids, @location)
+    end
+  end
+
+end

data/lib/adlint/cc1.rb

@@ -0,0 +1,57 @@
+# AdLint::Cc1 package loader.
+#
+# Author::    Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
+# Copyright:: Copyright (C) 2010-2013, 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-2013, OGIS-RI Co.,Ltd.
+#
+# This file is part of AdLint.
+#
+# AdLint is free software: you can redistribute it and/or modify it under the
+# terms of the GNU General Public License as published by the Free Software
+# Foundation, either version 3 of the License, or (at your option) any later
+# version.
+#
+# AdLint is distributed in the hope that it will be useful, but WITHOUT ANY
+# WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR
+# A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License along with
+# AdLint.  If not, see <http://www.gnu.org/licenses/>.
+#
+#++
+
+require "adlint/cc1/branch"
+require "adlint/cc1/builtin"
+require "adlint/cc1/ctrlexpr"
+require "adlint/cc1/const"
+require "adlint/cc1/conv"
+require "adlint/cc1/domain"
+require "adlint/cc1/enum"
+require "adlint/cc1/environ"
+require "adlint/cc1/expr"
+require "adlint/cc1/format"
+require "adlint/cc1/interp"
+require "adlint/cc1/lexer"
+require "adlint/cc1/mediator"
+require "adlint/cc1/object"
+require "adlint/cc1/operator"
+require "adlint/cc1/option"
+require "adlint/cc1/parser"
+require "adlint/cc1/phase"
+require "adlint/cc1/resolver"
+require "adlint/cc1/scanner"
+require "adlint/cc1/scope"
+require "adlint/cc1/seqp"
+require "adlint/cc1/syntax"
+require "adlint/cc1/type"
+require "adlint/cc1/util"
+require "adlint/cc1/value"

data/lib/adlint/{c → cc1}/branch.rb

@@ -1,7 +1,7 @@
 # C runtime branch of execution path.
 #
 # Author::    Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
-# Copyright:: Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+# Copyright:: Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
 # License::   GPLv3+: GNU General Public License version 3 or later
 #
 # Owner::     Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
@@ -11,7 +11,7 @@
 #    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
 #   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
 #  / __  |/ /_/ / /___/ / /|  /  / /
-# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
 #
 # This file is part of AdLint.
 #
@@ -29,18 +29,18 @@
 #
 #++
 
-require "adlint/c/ctrlexpr"
-require "adlint/c/option"
+require "adlint/cc1/ctrlexpr"
+require "adlint/cc1/option"
 
 module AdLint #:nodoc:
-module C #:nodoc:
+module Cc1 #:nodoc:
 
   class Branch
     include BranchOptions
 
-    def initialize(branch_group, *options)
-      @group = branch_group
-      @options = options
+    def initialize(br_group, *opts)
+      @group = br_group
+      @options = opts
       @break_event = nil
       @controlling_expression = nil
     end
@@ -49,9 +49,9 @@ module C #:nodoc:
     attr_reader :break_event
     attr_reader :controlling_expression
 
-    def add_options(*options)
-      @options = (@options + options).uniq
-      @group.add_options(*options)
+    def add_options(*new_opts)
+      @options = (@options + new_opts).uniq
+      @group.add_options(*new_opts)
     end
 
     def narrowing?
@@ -78,41 +78,50 @@ module C #:nodoc:
       @options.include?(IMPLICIT_COND)
     end
 
-    def execute(interpreter, expression = nil, &block)
-      environment.enter_versioning_group if first?
-      environment.begin_versioning
+    def complemental?
+      @options.include?(COMPLEMENTAL)
+    end
+
+    def execute(interp, expr = nil, &block)
+      env.enter_versioning_group if first?
+      env.begin_versioning
 
-      @controlling_expression =
-        ControllingExpression.new(interpreter, self, expression)
+      @controlling_expression = ControllingExpression.new(interp, self, expr)
       if ensure_condition(@controlling_expression)
         @break_event = BreakEvent.catch { yield(self) }
+      else
+        unless final? && @group.branches.size == 1
+          @break_event = BreakEvent.of_return
+        end
       end
 
     ensure
-      if @controlling_expression.complexly_compounded?
+      if @controlling_expression.complexly_compounded? && !complemental?
         # NOTE: Give up value domain thinning of the controlling variables,
         #       because the controlling expression is too complex to manage
         #       value domains correctly.
         # TODO: Study about introducing inter-value-constraints to correctly
         #       manage value domains of controlling variables related with each
         #       other.
-        environment.end_versioning(break_with_return?, true)
+        env.end_versioning(break_with_return?, true)
       else
-        environment.end_versioning(break_with_return?, false)
+        env.end_versioning(break_with_return?, false)
       end
-      environment.leave_versioning_group(!@group.complete?) if final?
 
-      if final? && @group.complete?
-        rethrow_break_event
+      if final?
+        env.leave_versioning_group(!@group.complete?)
+        if @group.complete?
+          rethrow_break_event
+        end
       end
     end
 
     def restart_versioning(&block)
       @controlling_expression.save_affected_variables
-      environment.end_versioning(false)
-      environment.leave_versioning_group(true)
-      environment.enter_versioning_group
-      environment.begin_versioning
+      env.end_versioning(false)
+      env.leave_versioning_group(true)
+      env.enter_versioning_group
+      env.begin_versioning
       yield
       @controlling_expression.restore_affected_variables
     end
@@ -130,12 +139,12 @@ module C #:nodoc:
     end
 
     private
-    def ensure_condition(controlling_expression)
+    def ensure_condition(ctrlexpr)
       case
       when narrowing?
-        controlling_expression.ensure_true_by_narrowing.commit!
+        ctrlexpr.ensure_true_by_narrowing.commit!
       when widening?
-        controlling_expression.ensure_true_by_widening.commit!
+        ctrlexpr.ensure_true_by_widening.commit!
       end
       @group.all_controlling_variables_value_exist?
     end
@@ -149,7 +158,7 @@ module C #:nodoc:
       end
     end
 
-    def environment
+    def env
       @group.environment
     end
   end
@@ -158,73 +167,76 @@ module C #:nodoc:
     include BranchOptions
     include BranchGroupOptions
 
-    def initialize(environment, *options)
-      @environment = environment
-      @options = options
+    def initialize(env, *opts)
+      @environment = env
+      @options = opts
       @branches = []
     end
 
     attr_reader :environment
+    attr_reader :branches
 
-    def add_options(*options)
-      @options = (@options + options).uniq
+    def add_options(*new_opts)
+      @options = (@options + new_opts).uniq
     end
 
     def complete?
       @options.include?(COMPLETE)
     end
 
-    def create_first_branch(*options)
-      new_branch = Branch.new(self, FIRST, *options)
-      @branches.push(new_branch)
-      new_branch
+    def create_first_branch(*opts)
+      @branches.push(new_br = Branch.new(self, FIRST, *opts))
+      new_br
     end
 
-    def create_trailing_branch(*options)
-      new_branch = Branch.new(self, *options)
-      @branches.push(new_branch)
-      new_branch
+    def create_trailing_branch(*opts)
+      @branches.push(new_br = Branch.new(self, *opts))
+      new_br
     end
 
     def all_controlling_variables
-      @branches.map { |branch|
-        branch.controlling_expression ?
-          branch.controlling_expression.affected_variables : []
-      }.flatten.uniq
+      @branches.map { |br|
+        ctrlexpr = br.controlling_expression and ctrlexpr.affected_variables
+      }.compact.flatten.uniq
     end
 
     def all_controlling_variables_value_exist?
-      all_controlling_variables.all? { |variable| variable.value.exist? }
+      all_controlling_variables.all? { |var| var.value.exist? }
     end
 
     def all_branches_break_with_break?
-      @branches.all? { |branch| branch.break_with_break? }
+      @branches.all? { |br| br.break_with_break? }
     end
 
     def all_branches_break_with_continue?
-      @branches.all? { |branch| branch.break_with_continue? }
+      @branches.all? { |br| br.break_with_continue? }
     end
 
     def all_branches_break_with_return?
-      @branches.all? { |branch| branch.break_with_return? }
+      @branches.all? { |br| br.break_with_return? }
     end
   end
 
   class BreakEvent
-    def self.catch(&block)
-      Kernel.catch(:break) { yield; nil }
-    end
+    class << self
+      def catch(&block)
+        Kernel.catch(:break) { yield; nil }
+      end
 
-    def self.of_break
-      @break ||= new(:break)
-    end
+      def of_break
+        new(:break)
+      end
+      memoize :of_break
 
-    def self.of_continue
-      @continue ||= new(:continue)
-    end
+      def of_continue
+        new(:continue)
+      end
+      memoize :of_continue
 
-    def self.of_return
-      @return ||= new(:return)
+      def of_return
+        new(:return)
+      end
+      memoize :of_return
     end
 
     def initialize(type)