adlint 3.2.0 → 3.2.6

data/lib/adlint/cc1/parser.y

@@ -1,7 +1,7 @@
 # The ISO C99 parser.
 #
 # Author::    Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
-# Copyright:: Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+# Copyright:: Copyright (C) 2010-2014, 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-2013, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2014, OGIS-RI Co.,Ltd.
 #
 # This file is part of AdLint.
 #
@@ -579,6 +579,12 @@ global_declaration
         result.head_token = val[0].first.head_token
         result.tail_token = val[1]
       }
+    | ";"
+      {
+        # NOTE: To accept extra semicolons in the global scope.
+        E(:E0018, val[0].location)
+        result = nil
+      }
     ;
 
 declaration_specifiers
@@ -645,11 +651,13 @@ init_declarator_list
     : init_declarator
       {
         checkpoint(val[0].location)
+        @lexer.disable_identifier_translation
         result = val
       }
     | init_declarator_list "," init_declarator
       {
         checkpoint(val[0].first.location)
+        @lexer.disable_identifier_translation
         result = val[0].push(val[2])
       }
     ;
@@ -658,14 +666,14 @@ init_declarator
     : declarator
       {
         checkpoint(val[0].location)
-        result = InitDeclarator.new(val[0], nil)
+        result = InitDeclarator.new(val[0], nil, nil)
         result.head_token = val[0].head_token
         result.tail_token = val[0].tail_token
       }
     | declarator "=" initializer
       {
         checkpoint(val[0].location)
-        result = InitDeclarator.new(val[0], val[2])
+        result = InitDeclarator.new(val[0], val[2], val[1])
         result.head_token = val[0].head_token
         result.tail_token = val[2].tail_token
       }
@@ -834,28 +842,28 @@ struct_or_union_specifier
     | STRUCT "{" struct_declaration_list "}"
       {
         checkpoint(val[0].location)
-        result = StructSpecifier.new(create_anon_tag_name(val[0]), val[2])
+        result = StructSpecifier.new(create_anon_tag_name(val[0]), val[2], true)
         result.head_token = val[0]
         result.tail_token = val[3]
       }
     | STRUCT "{" "}"
       {
         checkpoint(val[0].location)
-        result = StructSpecifier.new(create_anon_tag_name(val[0]), [])
+        result = StructSpecifier.new(create_anon_tag_name(val[0]), [], true)
         result.head_token = val[0]
         result.tail_token = val[2]
       }
     | UNION "{" struct_declaration_list "}"
       {
         checkpoint(val[0].location)
-        result = UnionSpecifier.new(create_anon_tag_name(val[0]), val[2])
+        result = UnionSpecifier.new(create_anon_tag_name(val[0]), val[2], true)
         result.head_token = val[0]
         result.tail_token = val[3]
       }
     | UNION "{" "}"
       {
         checkpoint(val[0].location)
-        result = UnionSpecifier.new(create_anon_tag_name(val[0]), [])
+        result = UnionSpecifier.new(create_anon_tag_name(val[0]), [], true)
         result.head_token = val[0]
         result.tail_token = val[2]
       }
@@ -982,7 +990,8 @@ enum_specifier
     : ENUM "{" enumerator_list "}"
       {
         checkpoint(val[0].location)
-        result = EnumSpecifier.new(create_anon_tag_name(val[0]), val[2])
+        result = EnumSpecifier.new(create_anon_tag_name(val[0]),
+                                   val[2], nil, true)
         result.head_token = val[0]
         result.tail_token = val[3]
         result.enumerators.each do |enum|
@@ -1003,7 +1012,7 @@ enum_specifier
       {
         checkpoint(val[0].location)
         result = EnumSpecifier.new(create_anon_tag_name(val[0]),
-                                   val[2], val[3])
+                                   val[2], val[3], true)
         result.head_token = val[0]
         result.tail_token = val[4]
         result.enumerators.each do |enum|
@@ -1735,7 +1744,7 @@ translation_unit
       {
         checkpoint(val[0].location)
         result = val[0]
-        result.push(val[1])
+        val[1] and result.push(val[1])
       }
     ;
 

data/lib/adlint/cc1/phase.rb

@@ -1,7 +1,7 @@
 # Analysis phases for C language.
 #
 # Author::    Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
-# Copyright:: Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+# Copyright:: Copyright (C) 2010-2014, 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-2013, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2014, OGIS-RI Co.,Ltd.
 #
 # This file is part of AdLint.
 #

data/lib/adlint/cc1/resolver.rb

@@ -1,7 +1,7 @@
 # C type resolver.
 #
 # Author::    Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
-# Copyright:: Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+# Copyright:: Copyright (C) 2010-2014, 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-2013, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2014, OGIS-RI Co.,Ltd.
 #
 # This file is part of AdLint.
 #

data/lib/adlint/cc1/scanner.rb

@@ -1,7 +1,7 @@
 # Scanner for C language.
 #
 # Author::    Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
-# Copyright:: Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+# Copyright:: Copyright (C) 2010-2014, 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-2013, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2014, OGIS-RI Co.,Ltd.
 #
 # This file is part of AdLint.
 #

data/lib/adlint/cc1/scope.rb

@@ -1,7 +1,7 @@
 # C runtime scope.
 #
 # Author::    Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
-# Copyright:: Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+# Copyright:: Copyright (C) 2010-2014, 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-2013, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2014, OGIS-RI Co.,Ltd.
 #
 # This file is part of AdLint.
 #

data/lib/adlint/cc1/seqp.rb

@@ -1,7 +1,7 @@
 # Sequence points of C language evaluation.
 #
 # Author::    Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
-# Copyright:: Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+# Copyright:: Copyright (C) 2010-2014, 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-2013, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2014, OGIS-RI Co.,Ltd.
 #
 # This file is part of AdLint.
 #

data/lib/adlint/cc1/syntax.rb

@@ -1,7 +1,7 @@
 # AST of C language.
 #
 # Author::    Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
-# Copyright:: Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+# Copyright:: Copyright (C) 2010-2014, 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-2013, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2014, OGIS-RI Co.,Ltd.
 #
 # This file is part of AdLint.
 #
@@ -2692,14 +2692,16 @@ module Cc1 #:nodoc:
   end
 
   class InitDeclarator < SyntaxNode
-    def initialize(dcr, init)
+    def initialize(dcr, init, equals_sign)
       super()
       @declarator = dcr
       @initializer = init
+      @equals_sign = equals_sign
     end
 
     attr_reader :declarator
     attr_reader :initializer
+    attr_reader :equals_sign
 
     def location
       @declarator.identifier.location
@@ -2764,10 +2766,11 @@ module Cc1 #:nodoc:
   end
 
   class StructSpecifier < TypeSpecifier
-    def initialize(id, struct_dcls)
+    def initialize(id, struct_dcls, anonymous = false)
       super()
       @identifier = id
       @struct_declarations = struct_dcls
+      @anonymous = anonymous
     end
 
     attr_reader :identifier
@@ -2777,13 +2780,17 @@ module Cc1 #:nodoc:
       @identifier.location
     end
 
+    def anonymous?
+      @anonymous
+    end
+
     def to_s
       if @struct_declarations
         if @struct_declarations.empty?
           "struct #{identifier.value} {}"
         else
           "struct #{identifier.value} { " +
-            @struct_declarations.map { |decl| decl.to_s }.join(" ") + " }"
+            @struct_declarations.map { |dcl| dcl.to_s }.join(" ") + " }"
         end
       else
         "struct #{identifier.value}"
@@ -2796,10 +2803,11 @@ module Cc1 #:nodoc:
   end
 
   class UnionSpecifier < TypeSpecifier
-    def initialize(id, struct_dcls)
+    def initialize(id, struct_dcls, anonymous = false)
       super()
       @identifier = id
       @struct_declarations = struct_dcls
+      @anonymous = anonymous
     end
 
     attr_reader :identifier
@@ -2809,13 +2817,17 @@ module Cc1 #:nodoc:
       @identifier.location
     end
 
+    def anonymous?
+      @anonymous
+    end
+
     def to_s
       if @struct_declarations
         if @struct_declarations.empty?
           "union #{identifier.value} {}"
         else
           "union #{identifier.value} { " +
-            @struct_declarations.map { |decl| decl.to_s }.join(" ") +
+            @struct_declarations.map { |dcl| dcl.to_s }.join(" ") +
             " }"
         end
       else
@@ -2936,11 +2948,12 @@ module Cc1 #:nodoc:
   end
 
   class EnumSpecifier < TypeSpecifier
-    def initialize(id, enums, trailing_comma = nil)
+    def initialize(id, enums, trailing_comma = nil, anonymous = false)
       super()
       @identifier = id
       @enumerators = enums
       @trailing_comma = trailing_comma
+      @anonymous = anonymous
     end
 
     attr_reader :identifier
@@ -2951,6 +2964,10 @@ module Cc1 #:nodoc:
       @identifier.location
     end
 
+    def anonymous?
+      @anonymous
+    end
+
     def to_s
       if @enumerators
         if @enumerators.empty?
@@ -4102,7 +4119,7 @@ module Cc1 #:nodoc:
     end
 
     def implicit_parameter_definition(id, sym_tbl)
-      init_dcr = InitDeclarator.new(IdentifierDeclarator.new(id), nil)
+      init_dcr = InitDeclarator.new(IdentifierDeclarator.new(id), nil, nil)
       Declaration.new(nil, [init_dcr], sym_tbl)
     end
   end
@@ -4174,7 +4191,7 @@ module Cc1 #:nodoc:
 
     def to_variable_definition
       PseudoVariableDefinition.new(declaration_specifiers,
-                                   InitDeclarator.new(@declarator, nil),
+                                   InitDeclarator.new(@declarator, nil, nil),
                                    type)
     end
 
@@ -5579,6 +5596,21 @@ module Cc1 #:nodoc:
       # NOTE: To treat address of variables as an address-constant.
     end
 
+    def visit_comma_separated_expression(node)
+      # NOTE: A constant-expression should not contain comma-operators.
+      #
+      # NOTE: The ISO C99 standard says;
+      #
+      # 6.6 Constant expressions
+      #
+      # Constraints
+      #
+      # 3 Constant expressions shall not contain assignment, increment,
+      #   decrement, function-call, or comma operators, except when they are
+      #   contained within a subexpression that is not evaluated.
+      break_as_inconstant
+    end
+
     def break_as_inconstant(*)
       throw(:constancy, false)
     end

data/lib/adlint/cc1/trace.rb

@@ -1,7 +1,7 @@
 # Context tracer.
 #
 # Author::    Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
-# Copyright:: Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+# Copyright:: Copyright (C) 2010-2014, 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-2013, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2014, OGIS-RI Co.,Ltd.
 #
 # This file is part of AdLint.
 #

data/lib/adlint/cc1/type.rb

@@ -1,7 +1,7 @@
 # C type models.
 #
 # Author::    Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
-# Copyright:: Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+# Copyright:: Copyright (C) 2010-2014, 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-2013, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2014, OGIS-RI Co.,Ltd.
 #
 # This file is part of AdLint.
 #
@@ -164,6 +164,10 @@ module Cc1 #:nodoc:
       subclass_responsibility
     end
 
+    def named?
+      subclass_responsibility
+    end
+
     def bit_size
       subclass_responsibility
     end
@@ -670,6 +674,10 @@ module Cc1 #:nodoc:
       nil
     end
 
+    def named?
+      false
+    end
+
     def bit_size
       0
     end
@@ -1181,6 +1189,10 @@ module Cc1 #:nodoc:
       nil
     end
 
+    def named?
+      false
+    end
+
     def bit_size
       0
     end
@@ -1696,6 +1708,7 @@ module Cc1 #:nodoc:
 
     def_delegator :@base_type, :declarations
     def_delegator :@base_type, :location
+    def_delegator :@base_type, :named?
     def_delegator :@base_type, :bit_size
     def_delegator :@base_type, :bit_alignment
 
@@ -1917,6 +1930,10 @@ module Cc1 #:nodoc:
       nil
     end
 
+    def named?
+      true
+    end
+
     def bit_size
       0
     end
@@ -2433,6 +2450,10 @@ module Cc1 #:nodoc:
       nil
     end
 
+    def named?
+      true
+    end
+
     def bit_size
       0
     end
@@ -2993,6 +3014,10 @@ module Cc1 #:nodoc:
       subclass_responsibility
     end
 
+    def named?
+      subclass_responsibility
+    end
+
     def real_type
       self
     end
@@ -3539,6 +3564,10 @@ module Cc1 #:nodoc:
       subclass_responsibility
     end
 
+    def named?
+      true
+    end
+
     def incomplete?
       false
     end
@@ -4821,6 +4850,10 @@ module Cc1 #:nodoc:
       @id ||= BitfieldTypeId.new(@base_type, bit_size)
     end
 
+    def named?
+      true
+    end
+
     def incomplete?
       @base_type.incomplete?
     end
@@ -4939,6 +4972,10 @@ module Cc1 #:nodoc:
       @id ||= EnumTypeId.new(name)
     end
 
+    def named?
+      declarations.all? { |dcl| !dcl.enum_specifier.anonymous? }
+    end
+
     def incomplete?
       declarations.all? { |dcl| dcl.enumerators.nil? }
     end
@@ -5071,6 +5108,10 @@ module Cc1 #:nodoc:
       create_brief_image(@base_type)
     end
 
+    def named?
+      true
+    end
+
     def real_type
       type_table.pointer_type(@base_type.real_type)
     end
@@ -5348,6 +5389,10 @@ module Cc1 #:nodoc:
       @id ||= FloatTypeId.new
     end
 
+    def named?
+      true
+    end
+
     def argument_promoted_type
       # NOTE: The ISO C99 standard says;
       #
@@ -5516,6 +5561,10 @@ module Cc1 #:nodoc:
       nil
     end
 
+    def named?
+      true
+    end
+
     def bit_size
       @length ? @base_type.bit_size * @length : 0
     end
@@ -6110,6 +6159,10 @@ module Cc1 #:nodoc:
       subclass_responsibility
     end
 
+    def named?
+      subclass_responsibility
+    end
+
     def bit_size
       @members.reduce(0) { |sum, memb| sum + memb.type.bit_size }
     end
@@ -6661,6 +6714,10 @@ module Cc1 #:nodoc:
       "struct #{name}"
     end
 
+    def named?
+      declarations.all? { |dcl| !dcl.struct_specifier.anonymous? }
+    end
+
     def struct?
       true
     end
@@ -6700,6 +6757,10 @@ module Cc1 #:nodoc:
       "union #{name}"
     end
 
+    def named?
+      declarations.all? { |dcl| !dcl.union_specifier.anonymous? }
+    end
+
     def struct?
       false
     end
@@ -6742,6 +6803,10 @@ module Cc1 #:nodoc:
       name
     end
 
+    def named?
+      true
+    end
+
     def_delegator :@base_type, :bit_size
     def_delegator :@base_type, :bit_alignment
     def_delegator :@base_type, :real_type
@@ -6894,6 +6959,7 @@ module Cc1 #:nodoc:
 
     def_delegator :@type, :image
     def_delegator :@type, :brief_image
+    def_delegator :@type, :named?
     def_delegator :@type, :bit_size
     def_delegator :@type, :bit_alignment
 
@@ -7019,6 +7085,10 @@ module Cc1 #:nodoc:
       @id ||= TypeId.new(name)
     end
 
+    def named?
+      true
+    end
+
     def incomplete?
       false
     end