adlint 2.6.14 → 3.0.0

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

@@ -1,7 +1,7 @@
 # Builtin functions actually called by the interpreter.
 #
 # 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,15 +29,15 @@
 #
 #++
 
-require "adlint/c/type"
-require "adlint/c/object"
+require "adlint/cc1/type"
+require "adlint/cc1/object"
 
 module AdLint #:nodoc:
-module C #:nodoc:
+module Cc1 #:nodoc:
 
   class BuiltinFunction < NamedFunction
-    def initialize(type_table, name)
-      super(nil, type_table.builtin_function_type, name)
+    def initialize(type_tbl, name)
+      super(nil, type_tbl.builtin_function_type, name)
     end
 
     def explicit?
@@ -48,17 +48,17 @@ module C #:nodoc:
       true
     end
 
-    def call(interpreter, funcall_expr, args)
-      interpreter.create_tempvar(type.return_type)
+    def call(interp, funcall_expr, args)
+      interp.create_tmpvar(type.return_type)
     end
   end
 
   class InspectFunction < BuiltinFunction
-    def initialize(type_table)
-      super(type_table, "__adlint__inspect")
+    def initialize(type_tbl)
+      super(type_tbl, "__adlint__inspect")
     end
 
-    def call(interpreter, funcall_expr, args)
+    def call(*, args)
       puts "__adlint__inspect"
       args.each { |arg, expr| pp arg }
       puts "EOM"
@@ -67,20 +67,20 @@ module C #:nodoc:
   end
 
   class EvalFunction < BuiltinFunction
-    def initialize(type_table)
-      super(type_table, "__adlint__eval")
+    def initialize(type_tbl)
+      super(type_tbl, "__adlint__eval")
     end
 
-    def call(interpreter, funcall_expr, args)
+    def call(interp, *, args)
       puts "__adlint__eval"
-      char_array = interpreter.pointee_of(args.first.first)
-      if char_array && char_array.type.array?
-        without_nil = char_array.value.to_single_value.values[0..-2]
-        program_text = without_nil.map { |char| char.unique_sample.chr }.join
-        if program_text.empty?
+      char_ary = interp.pointee_of(args.first.first)
+      if char_ary && char_ary.type.array?
+        without_nil = char_ary.value.to_single_value.values[0..-2]
+        prog_text = without_nil.map { |char| char.unique_sample.chr }.join
+        if prog_text.empty?
           puts "no program text"
         else
-          eval program_text
+          eval prog_text
         end
         puts "EOM"
       end

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

@@ -1,7 +1,7 @@
 # C constant-expression evaluator.
 #
 # 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,20 +29,22 @@
 #
 #++
 
+require "adlint/traits"
+
 module AdLint #:nodoc:
-module C #:nodoc:
+module Cc1 #:nodoc:
 
   module ConstantEvaluator
     # NOTE: Host class of this module must include InterpreterMediator.
 
-    def eval_constant(constant_specifier)
-      eval_as_integer_constant(constant_specifier.constant.value) or
-      eval_as_floating_constant(constant_specifier.constant.value) or
-      eval_as_character_constant(constant_specifier.constant.value)
+    def eval_constant(const_spec)
+      eval_as_integer_constant(const_spec.constant.value) or
+      eval_as_floating_constant(const_spec.constant.value) or
+      eval_as_character_constant(const_spec.constant.value)
     end
 
     private
-    def eval_as_integer_constant(value)
+    def eval_as_integer_constant(str)
       # NOTE: The ISO C99 standard says;
       #
       # 6.4.4.1 Integer constants
@@ -78,7 +80,7 @@ module C #:nodoc:
       #    ll or LL   |                        |
 
       # NOTE: For binary constants.
-      case value
+      case str
       when /\A0b([01]+)(?:ULL|LLU)\z/i
         return eval_as_non_decimal_integer_constant_with_ull($1.to_i(2))
       when /\A0b([01]+)LL\z/i
@@ -94,7 +96,7 @@ module C #:nodoc:
       end
 
       # NOTE: For octal constants.
-      case value
+      case str
       when /\A0([0-9]+)(?:ULL|LLU)\z/i
         return eval_as_non_decimal_integer_constant_with_ull($1.to_i(8))
       when /\A0([0-9]+)LL\z/i
@@ -110,7 +112,7 @@ module C #:nodoc:
       end
 
       # NOTE: For decimal constants.
-      case value
+      case str
       when /\A([0-9]+)(?:ULL|LLU)\z/i
         return eval_as_decimal_integer_constant_with_ull($1.to_i(10))
       when /\A([0-9]+)LL\z/i
@@ -126,7 +128,7 @@ module C #:nodoc:
       end
 
       # NOTE: For hexadecimal constants.
-      case value
+      case str
       when /\A0x([0-9A-F]+)(?:ULL|LLU)\z/i
         return eval_as_non_decimal_integer_constant_with_ull($1.to_i(16))
       when /\A0x([0-9A-F]+)LL\z/i
@@ -144,27 +146,27 @@ module C #:nodoc:
       nil
     end
 
-    def eval_as_floating_constant(value)
+    def eval_as_floating_constant(str)
       # TODO: Must implement hexadecimal-floating-constant evaluation.
-      case value
+      case str
       when /\A([0-9]*\.[0-9]*E[+-]?[0-9]+)\z/i,
            /\A([0-9]+\.?E[+-]?[0-9]+)\z/i,
            /\A([0-9]*\.[0-9]+|[0-9]+\.)\z/
-        return create_tempvar(double_type, ScalarValue.of($1.to_f))
+        return create_tmpvar(double_t, scalar_value_of($1.to_f))
       when /\A([0-9]*\.[0-9]*E[+-]?[0-9]+)F\z/i,
            /\A([0-9]+\.?E[+-]?[0-9]+)F\z/i,
            /\A([0-9]*\.[0-9]+|[0-9]+\.)F\z/i
-        return create_tempvar(float_type, ScalarValue.of($1.to_f))
+        return create_tmpvar(float_t, scalar_value_of($1.to_f))
       when /\A([0-9]*\.[0-9]*E[+-]?[0-9]+)L\z/i,
            /\A([0-9]+\.?E[+-]?[0-9]+)L\z/i,
            /\A([0-9]*\.[0-9]+|[0-9]+\.)L\z/i
-        return create_tempvar(long_double_type, ScalarValue.of($1.to_f))
+        return create_tmpvar(long_double_t, scalar_value_of($1.to_f))
       end
       nil
     end
 
-    def eval_as_character_constant(value)
-      if value =~ /\A(L?)'(.*)'\z/i
+    def eval_as_character_constant(str)
+      if str =~ /\A(L?)'(.*)'\z/i
         case $2.length
         when 0
           char_code = 0
@@ -175,23 +177,23 @@ module C #:nodoc:
         end
 
         if $1 == "L"
-          create_tempvar(wchar_type, ScalarValue.of(char_code))
+          create_tmpvar(wchar_t, scalar_value_of(char_code))
         else
-          create_tempvar(int_type, ScalarValue.of(char_code))
+          create_tmpvar(int_t, scalar_value_of(char_code))
         end
       else
         nil
       end
     end
 
-    def eval_as_decimal_integer_constant_unsuffixed(value)
+    def eval_as_decimal_integer_constant_unsuffixed(i)
       case
-      when int_value_range.include?(value)
-        create_tempvar(int_type, ScalarValue.of(value))
-      when long_int_value_range.include?(value)
-        create_tempvar(long_int_type, ScalarValue.of(value))
-      when long_long_int_value_range.include?(value)
-        create_tempvar(long_long_int_type, ScalarValue.of(value))
+      when int_range.include?(i)
+        create_tmpvar(int_t, scalar_value_of(i))
+      when long_int_range.include?(i)
+        create_tmpvar(long_int_t, scalar_value_of(i))
+      when long_long_int_range.include?(i)
+        create_tmpvar(long_long_int_t, scalar_value_of(i))
       else
         # NOTE: The ISO C99 standard says;
         #
@@ -202,18 +204,18 @@ module C #:nodoc:
         #   has no type.
         #
         # NOTE: Use ExtendedBigIntType for unrepresentable integer constants.
-        create_tempvar(extended_big_int_type, ScalarValue.of(value))
+        create_tmpvar(extended_big_int_t, scalar_value_of(i))
       end
     end
 
-    def eval_as_decimal_integer_constant_with_u(value)
+    def eval_as_decimal_integer_constant_with_u(i)
       case
-      when unsigned_int_value_range.include?(value)
-        create_tempvar(unsigned_int_type, ScalarValue.of(value))
-      when unsigned_long_int_value_range.include?(value)
-        create_tempvar(unsigned_long_int_type, ScalarValue.of(value))
-      when unsigned_long_long_int_value_range.include?(value)
-        create_tempvar(unsigned_long_long_int_type, ScalarValue.of(value))
+      when unsigned_int_range.include?(i)
+        create_tmpvar(unsigned_int_t, scalar_value_of(i))
+      when unsigned_long_int_range.include?(i)
+        create_tmpvar(unsigned_long_int_t, scalar_value_of(i))
+      when unsigned_long_long_int_range.include?(i)
+        create_tmpvar(unsigned_long_long_int_t, scalar_value_of(i))
       else
         # NOTE: The ISO C99 standard says;
         #
@@ -224,16 +226,16 @@ module C #:nodoc:
         #   has no type.
         #
         # NOTE: Use ExtendedBigIntType for unrepresentable integer constants.
-        create_tempvar(extended_big_int_type, ScalarValue.of(value))
+        create_tmpvar(extended_big_int_t, scalar_value_of(i))
       end
     end
 
-    def eval_as_decimal_integer_constant_with_l(value)
+    def eval_as_decimal_integer_constant_with_l(i)
       case
-      when long_int_value_range.include?(value)
-        create_tempvar(long_int_type, ScalarValue.of(value))
-      when long_long_int_value_range.include?(value)
-        create_tempvar(long_long_int_type, ScalarValue.of(value))
+      when long_int_range.include?(i)
+        create_tmpvar(long_int_t, scalar_value_of(i))
+      when long_long_int_range.include?(i)
+        create_tmpvar(long_long_int_t, scalar_value_of(i))
       else
         # NOTE: The ISO C99 standard says;
         #
@@ -244,16 +246,16 @@ module C #:nodoc:
         #   has no type.
         #
         # NOTE: Use ExtendedBigIntType for unrepresentable integer constants.
-        create_tempvar(extended_big_int_type, ScalarValue.of(value))
+        create_tmpvar(extended_big_int_t, scalar_value_of(i))
       end
     end
 
-    def eval_as_decimal_integer_constant_with_ul(value)
+    def eval_as_decimal_integer_constant_with_ul(i)
       case
-      when unsigned_long_int_value_range.include?(value)
-        create_tempvar(unsigned_long_int_type, ScalarValue.of(value))
-      when unsigned_long_long_int_value_range.include?(value)
-        create_tempvar(unsigned_long_long_int_type, ScalarValue.of(value))
+      when unsigned_long_int_range.include?(i)
+        create_tmpvar(unsigned_long_int_t, scalar_value_of(i))
+      when unsigned_long_long_int_range.include?(i)
+        create_tmpvar(unsigned_long_long_int_t, scalar_value_of(i))
       else
         # NOTE: The ISO C99 standard says;
         #
@@ -264,14 +266,14 @@ module C #:nodoc:
         #   has no type.
         #
         # NOTE: Use ExtendedBigIntType for unrepresentable integer constants.
-        create_tempvar(extended_big_int_type, ScalarValue.of(value))
+        create_tmpvar(extended_big_int_t, scalar_value_of(i))
       end
     end
 
-    def eval_as_decimal_integer_constant_with_ll(value)
+    def eval_as_decimal_integer_constant_with_ll(i)
       case
-      when long_long_int_value_range.include?(value)
-        create_tempvar(long_long_int_type, ScalarValue.of(value))
+      when long_long_int_range.include?(i)
+        create_tmpvar(long_long_int_t, scalar_value_of(i))
       else
         # NOTE: The ISO C99 standard says;
         #
@@ -282,14 +284,14 @@ module C #:nodoc:
         #   has no type.
         #
         # NOTE: Use ExtendedBigIntType for unrepresentable integer constants.
-        create_tempvar(extended_big_int_type, ScalarValue.of(value))
+        create_tmpvar(extended_big_int_t, scalar_value_of(i))
       end
     end
 
-    def eval_as_decimal_integer_constant_with_ull(value)
+    def eval_as_decimal_integer_constant_with_ull(i)
       case
-      when unsigned_long_long_int_value_range.include?(value)
-        create_tempvar(unsigned_long_long_int_type, ScalarValue.of(value))
+      when unsigned_long_long_int_range.include?(i)
+        create_tmpvar(unsigned_long_long_int_t, scalar_value_of(i))
       else
         # NOTE: The ISO C99 standard says;
         #
@@ -300,24 +302,24 @@ module C #:nodoc:
         #   has no type.
         #
         # NOTE: Use ExtendedBigIntType for unrepresentable integer constants.
-        create_tempvar(extended_big_int_type, ScalarValue.of(value))
+        create_tmpvar(extended_big_int_t, scalar_value_of(i))
       end
     end
 
-    def eval_as_non_decimal_integer_constant_unsuffixed(value)
+    def eval_as_non_decimal_integer_constant_unsuffixed(i)
       case
-      when int_value_range.include?(value)
-        create_tempvar(int_type, ScalarValue.of(value))
-      when unsigned_int_value_range.include?(value)
-        create_tempvar(unsigned_int_type, ScalarValue.of(value))
-      when long_int_value_range.include?(value)
-        create_tempvar(long_int_type, ScalarValue.of(value))
-      when unsigned_long_int_value_range.include?(value)
-        create_tempvar(unsigned_long_int_type, ScalarValue.of(value))
-      when long_long_int_value_range.include?(value)
-        create_tempvar(long_long_int_type, ScalarValue.of(value))
-      when unsigned_long_long_int_value_range.include?(value)
-        create_tempvar(unsigned_long_long_int_type, ScalarValue.of(value))
+      when int_range.include?(i)
+        create_tmpvar(int_t, scalar_value_of(i))
+      when unsigned_int_range.include?(i)
+        create_tmpvar(unsigned_int_t, scalar_value_of(i))
+      when long_int_range.include?(i)
+        create_tmpvar(long_int_t, scalar_value_of(i))
+      when unsigned_long_int_range.include?(i)
+        create_tmpvar(unsigned_long_int_t, scalar_value_of(i))
+      when long_long_int_range.include?(i)
+        create_tmpvar(long_long_int_t, scalar_value_of(i))
+      when unsigned_long_long_int_range.include?(i)
+        create_tmpvar(unsigned_long_long_int_t, scalar_value_of(i))
       else
         # NOTE: The ISO C99 standard says;
         #
@@ -328,18 +330,18 @@ module C #:nodoc:
         #   has no type.
         #
         # NOTE: Use ExtendedBigIntType for unrepresentable integer constants.
-        create_tempvar(extended_big_int_type, ScalarValue.of(value))
+        create_tmpvar(extended_big_int_t, scalar_value_of(i))
       end
     end
 
-    def eval_as_non_decimal_integer_constant_with_u(value)
+    def eval_as_non_decimal_integer_constant_with_u(i)
       case
-      when unsigned_int_value_range.include?(value)
-        create_tempvar(unsigned_int_type, ScalarValue.of(value))
-      when unsigned_long_int_value_range.include?(value)
-        create_tempvar(unsigned_long_int_type, ScalarValue.of(value))
-      when unsigned_long_long_int_value_range.include?(value)
-        create_tempvar(unsigned_long_long_int_type, ScalarValue.of(value))
+      when unsigned_int_range.include?(i)
+        create_tmpvar(unsigned_int_t, scalar_value_of(i))
+      when unsigned_long_int_range.include?(i)
+        create_tmpvar(unsigned_long_int_t, scalar_value_of(i))
+      when unsigned_long_long_int_range.include?(i)
+        create_tmpvar(unsigned_long_long_int_t, scalar_value_of(i))
       else
         # NOTE: The ISO C99 standard says;
         #
@@ -350,20 +352,20 @@ module C #:nodoc:
         #   has no type.
         #
         # NOTE: Use ExtendedBigIntType for unrepresentable integer constants.
-        create_tempvar(extended_big_int_type, ScalarValue.of(value))
+        create_tmpvar(extended_big_int_t, scalar_value_of(i))
       end
     end
 
-    def eval_as_non_decimal_integer_constant_with_l(value)
+    def eval_as_non_decimal_integer_constant_with_l(i)
       case
-      when long_int_value_range.include?(value)
-        create_tempvar(long_int_type, ScalarValue.of(value))
-      when unsigned_long_int_value_range.include?(value)
-        create_tempvar(unsigned_long_int_type, ScalarValue.of(value))
-      when long_long_int_value_range.include?(value)
-        create_tempvar(long_long_int_type, ScalarValue.of(value))
-      when unsigned_long_long_int_value_range.include?(value)
-        create_tempvar(unsigned_long_long_int_type, ScalarValue.of(value))
+      when long_int_range.include?(i)
+        create_tmpvar(long_int_t, scalar_value_of(i))
+      when unsigned_long_int_range.include?(i)
+        create_tmpvar(unsigned_long_int_t, scalar_value_of(i))
+      when long_long_int_range.include?(i)
+        create_tmpvar(long_long_int_t, scalar_value_of(i))
+      when unsigned_long_long_int_range.include?(i)
+        create_tmpvar(unsigned_long_long_int_t, scalar_value_of(i))
       else
         # NOTE: The ISO C99 standard says;
         #
@@ -374,16 +376,16 @@ module C #:nodoc:
         #   has no type.
         #
         # NOTE: Use ExtendedBigIntType for unrepresentable integer constants.
-        create_tempvar(extended_big_int_type, ScalarValue.of(value))
+        create_tmpvar(extended_big_int_t, scalar_value_of(i))
       end
     end
 
-    def eval_as_non_decimal_integer_constant_with_ul(value)
+    def eval_as_non_decimal_integer_constant_with_ul(i)
       case
-      when unsigned_long_int_value_range.include?(value)
-        create_tempvar(unsigned_long_int_type, ScalarValue.of(value))
-      when unsigned_long_long_int_value_range.include?(value)
-        create_tempvar(unsigned_long_long_int_type, ScalarValue.of(value))
+      when unsigned_long_int_range.include?(i)
+        create_tmpvar(unsigned_long_int_t, scalar_value_of(i))
+      when unsigned_long_long_int_range.include?(i)
+        create_tmpvar(unsigned_long_long_int_t, scalar_value_of(i))
       else
         # NOTE: The ISO C99 standard says;
         #
@@ -394,16 +396,16 @@ module C #:nodoc:
         #   has no type.
         #
         # NOTE: Use ExtendedBigIntType for unrepresentable integer constants.
-        create_tempvar(extended_big_int_type, ScalarValue.of(value))
+        create_tmpvar(extended_big_int_t, scalar_value_of(i))
       end
     end
 
-    def eval_as_non_decimal_integer_constant_with_ll(value)
+    def eval_as_non_decimal_integer_constant_with_ll(i)
       case
-      when long_long_int_value_range.include?(value)
-        create_tempvar(long_long_int_type, ScalarValue.of(value))
-      when unsigned_long_long_int_value_range.include?(value)
-        create_tempvar(unsigned_long_long_int_type, ScalarValue.of(value))
+      when long_long_int_range.include?(i)
+        create_tmpvar(long_long_int_t, scalar_value_of(i))
+      when unsigned_long_long_int_range.include?(i)
+        create_tmpvar(unsigned_long_long_int_t, scalar_value_of(i))
       else
         # NOTE: The ISO C99 standard says;
         #
@@ -414,14 +416,14 @@ module C #:nodoc:
         #   has no type.
         #
         # NOTE: Use ExtendedBigIntType for unrepresentable integer constants.
-        create_tempvar(extended_big_int_type, ScalarValue.of(value))
+        create_tmpvar(extended_big_int_t, scalar_value_of(i))
       end
     end
 
-    def eval_as_non_decimal_integer_constant_with_ull(value)
+    def eval_as_non_decimal_integer_constant_with_ull(i)
       case
-      when unsigned_long_long_int_value_range.include?(value)
-        create_tempvar(unsigned_long_long_int_type, ScalarValue.of(value))
+      when unsigned_long_long_int_range.include?(i)
+        create_tmpvar(unsigned_long_long_int_t, scalar_value_of(i))
       else
         # NOTE: The ISO C99 standard says;
         #
@@ -432,32 +434,32 @@ module C #:nodoc:
         #   has no type.
         #
         # NOTE: Use ExtendedBigIntType for unrepresentable integer constants.
-        create_tempvar(extended_big_int_type, ScalarValue.of(value))
+        create_tmpvar(extended_big_int_t, scalar_value_of(i))
       end
     end
 
-    def int_value_range
-      int_type.min_value..int_type.max_value
+    def int_range
+      int_t.min..int_t.max
     end
 
-    def long_int_value_range
-      long_int_type.min_value..long_int_type.max_value
+    def long_int_range
+      long_int_t.min..long_int_t.max
     end
 
-    def long_long_int_value_range
-      long_long_int_type.min_value..long_long_int_type.max_value
+    def long_long_int_range
+      long_long_int_t.min..long_long_int_t.max
     end
 
-    def unsigned_int_value_range
-      unsigned_int_type.min_value..unsigned_int_type.max_value
+    def unsigned_int_range
+      unsigned_int_t.min..unsigned_int_t.max
     end
 
-    def unsigned_long_int_value_range
-      unsigned_long_int_type.min_value..unsigned_long_int_type.max_value
+    def unsigned_long_int_range
+      unsigned_long_int_t.min..unsigned_long_int_t.max
     end
 
-    def unsigned_long_long_int_value_range
-      unsigned_long_long_type.min_value..unsigned_long_long_type.max_value
+    def unsigned_long_long_int_range
+      unsigned_long_long_t.min..unsigned_long_long_t.max
     end
   end