adlint 1.0.0 → 1.2.0

data/NEWS

@@ -21,18 +21,37 @@
 
 ++
 
+=== \AdLint 1.2.0 is released (2012-03-21)
+
+==== Changes since the 1.0.0 release
+
+* Add W0597 detection
+* Add W0598 detection
+* Add W0599 detection
+* Add W0600 detection
+* Add W0688 detection
+* Add W0689 detection
+* Add W0690 detection
+* Change schema version validation method of input YAML files
+* Clarify message text of W0459 and W0460
+* Revise specification of W0459 and W0460 detections not to warn when a pointer
+  argument points to an uninitialized object
+* Fix bad FN_UNUV metric measurement
+* Update the user's guide in Japanese
+* Update the user's guide in English
+
+See the file
+{ChangeLog}[http://adlint.sourceforge.net/pmwiki/upload.d/Main/ChangeLog]
+for more details.
+
 === \AdLint 1.0.0 is released (2012-02-28)
 
 This is the initial GA release of \AdLint.
 
-==== Implemented Features
+==== Implemented features
 
 * Single module analysis
 * Cross module analysis
 * 597 kinds of warning detections
 * 14 kinds of code structure extractions
 * 15 kinds of quality metric measurements
-
-See the file
-{ChangeLog}[http://adlint.sourceforge.net/pmwiki/upload.d/Main/ChangeLog]
-for more details.

data/etc/conf.d/fallback/traits.erb

@@ -8,7 +8,7 @@
 
 # Schema version of the traits file.
 # DO NOT EDIT MANUALLY!
-version: "<%= AdLint::SHORT_VERSION %>"
+version: "<%= AdLint::TRAITS_SCHEMA_VERSION %>"
 
 #
 # Project specific traits section

data/etc/conf.d/i686-cygwin/traits-gcc_4.3.4.erb

@@ -8,7 +8,7 @@
 
 # Schema version of the traits file.
 # DO NOT EDIT MANUALLY!
-version: "<%= AdLint::SHORT_VERSION %>"
+version: "<%= AdLint::TRAITS_SCHEMA_VERSION %>"
 
 #
 # Project specific traits section

data/etc/conf.d/i686-devkit/traits-gcc_4.5.2.erb

@@ -8,7 +8,7 @@
 
 # Schema version of the traits file.
 # DO NOT EDIT MANUALLY!
-version: "<%= AdLint::SHORT_VERSION %>"
+version: "<%= AdLint::TRAITS_SCHEMA_VERSION %>"
 
 #
 # Project specific traits section

data/etc/conf.d/i686-linux/traits-gcc_4.5.1.erb

@@ -8,7 +8,7 @@
 
 # Schema version of the traits file.
 # DO NOT EDIT MANUALLY!
-version: "<%= AdLint::SHORT_VERSION %>"
+version: "<%= AdLint::TRAITS_SCHEMA_VERSION %>"
 
 #
 # Project specific traits section

data/etc/conf.d/i686-mingw/traits-gcc_4.6.1.erb

@@ -8,7 +8,7 @@
 
 # Schema version of the traits file.
 # DO NOT EDIT MANUALLY!
-version: "<%= AdLint::SHORT_VERSION %>"
+version: "<%= AdLint::TRAITS_SCHEMA_VERSION %>"
 
 #
 # Project specific traits section

data/etc/mesg.d/en_US/messages.yml

@@ -36,7 +36,7 @@
 #     X9999: "Your custom message for the fatal error of #9999."
 #     E9999: "Your custom message for the error of #9999."
 
-version: "1.0.0"
+version: "1.2.0"
 
 message_definition:
   X0001: "An unknown exception `%s' is found."
@@ -458,8 +458,8 @@ message_definition:
   W0456: "An object or a function `%s which has external coupling is defined in a header file."
   W0457: "The return value doesn't define explicitly in the function declaration or definition. It defined as 'int' implicitly."
   W0458: "The type doesn't define explicitly in the object declaration or definition. It defined as 'int' implicitly."
-  W0459: "A value of variable `%s' doesn't set in this position. This program is danger."
-  W0460: "A value of variable `%s' wouldn't set in this position."
+  W0459: "A value of variable `%s' doesn't set when this expression is evaluated. This program is danger."
+  W0460: "A value of variable `%s' wouldn't set when this expression is evaluated."
   W0461: "A pointer which points the undetermined variable is used for the actual argument of the function. This program is danger."
   W0462: "A pointer which the value will probably not set is used for the actual argument of the function."
   W0463: "UNUSABLE"

data/etc/mesg.d/ja_JP/messages.yml

@@ -36,7 +36,7 @@
 #     X9999: "Your custom message for the fatal error of #9999."
 #     E9999: "Your custom message for the error of #9999."
 
-version: "1.0.0"
+version: "1.2.0"
 
 message_definition:
   X0001: "不明な例外条件 `%s' を検出しました。"
@@ -458,8 +458,8 @@ message_definition:
   W0456: "外部結合を持つオブジェクトあるいは関数 `%s' が、ヘッダファイル内で定義されています。"
   W0457: "関数の宣言あるいは定義で、戻り値型が明示的に定義されていないので、暗黙的に int 型と定義されます。"
   W0458: "オブジェクトの宣言あるいは定義で、型が明示的に定義されていないので、暗黙的に int 型と定義されます。"
-  W0459: "変数 `%s' の値は、この位置では設定されていません。このプログラムは危険です。"
-  W0460: "変数 `%s' の値は、この位置では設定されていないことがあります。"
+  W0459: "変数 `%s' の値は、この式の評価時点では設定されていません。このプログラムは危険です。"
+  W0460: "変数 `%s' の値は、この式の評価時点では設定されていないことがあります。"
   W0461: "値が定まっていない変数を指すポインタを関数の実引数として使っています。このプログラムは危険です。"
   W0462: "値が設定されていないことがありうる変数を指すポインタを関数の実引数として使っています。"
   W0463: "使用不可"
@@ -615,7 +615,7 @@ message_definition:
   W0686: "走査セット(`[]' に囲まれた文字の並び)の中に同じ文字が二つ以上記述されています。"
   W0687: "defined 演算子を削除する目的で #undef を使っています。"
   W0688: "#line 指令の後に、1 から 32767 の範囲の行番号が記述されていません。"
-  W0689: "#line 指令の構文が `#line 汎整数定数 \"文字列 \"' の形式と合っていません。"
+  W0689: "#line 指令の構文が `#line 汎整数定数 \"文字列\"' の形式と合っていません。"
   W0690: "#line 指令の後に行番号が記述されていません。"
   W0691: "`##' 演算子の結果が有効な前処理字句ではありません。"
   W0692: "関数形式マクロに実引数が与えられていません。"

data/lib/adlint/c/builtin.rb

@@ -48,7 +48,7 @@ module C #:nodoc:
       true
     end
 
-    def call(interpreter, args)
+    def call(interpreter, funcall_expr, args)
       interpreter.temporary_variable(type.return_type)
     end
   end
@@ -58,7 +58,7 @@ module C #:nodoc:
       super(type_table, "__adlint__inspect")
     end
 
-    def call(interpreter, args)
+    def call(interpreter, funcall_expr, args)
       puts "__adlint__inspect"
       args.each { |arg, expr| pp arg }
       puts "EOM"
@@ -71,7 +71,7 @@ module C #:nodoc:
       super(type_table, "__adlint__eval")
     end
 
-    def call(interpreter, args)
+    def call(interpreter, funcall_expr, args)
       puts "__adlint__eval"
       char_array = interpreter.pointee_of(args.first.first)
       if char_array.type.array?

data/lib/adlint/c/ctrlexpr.rb

@@ -226,7 +226,7 @@ module C #:nodoc:
                                   object_narrowing, *arg_narrowings) do
         checkpoint(node.location)
 
-        function_calling_context { object_narrowing.execute! }
+        object_narrowing.execute!
         args = arg_narrowings.map { |narrowing|
           narrowing.execute!; [narrowing.result, narrowing.node]
         }
@@ -276,8 +276,7 @@ module C #:nodoc:
       DelayedObjectDerivation.new(self, node, object_narrowing) do
         checkpoint(node.location)
 
-        variable_reassigning_context { object_narrowing.execute! }
-
+        object_narrowing.execute!
         execute_postfix_increment_expression(node, object_narrowing.result)
       end
     end
@@ -290,8 +289,7 @@ module C #:nodoc:
       DelayedObjectDerivation.new(self, node, object_narrowing) do
         checkpoint(node.location)
 
-        variable_reassigning_context { object_narrowing.execute! }
-
+        object_narrowing.execute!
         execute_postfix_decrement_expression(node, object_narrowing.result)
       end
     end
@@ -306,8 +304,7 @@ module C #:nodoc:
       DelayedObjectDerivation.new(self, node, object_narrowing) do
         checkpoint(node.location)
 
-        variable_reassigning_context { object_narrowing.execute! }
-
+        object_narrowing.execute!
         execute_prefix_increment_expression(node, object_narrowing.result)
       end
     end
@@ -320,8 +317,7 @@ module C #:nodoc:
       DelayedObjectDerivation.new(self, node, object_narrowing) do
         checkpoint(node.location)
 
-        variable_reassigning_context { object_narrowing.execute! }
-
+        object_narrowing.execute!
         execute_prefix_decrement_expression(node, object_narrowing.result)
       end
     end
@@ -524,7 +520,7 @@ module C #:nodoc:
       DelayedObjectDerivation.new(self, node, lhs_narrowing, rhs_narrowing) do
         checkpoint(node.location)
 
-        variable_reassigning_context { lhs_narrowing.execute! }
+        lhs_narrowing.execute!
         rhs_narrowing.execute!
 
         execute_simple_assignment_expression(
@@ -541,7 +537,7 @@ module C #:nodoc:
       DelayedObjectDerivation.new(self, node, lhs_narrowing, rhs_narrowing) do
         checkpoint(node.location)
 
-        variable_reassigning_context { lhs_narrowing.execute! }
+        lhs_narrowing.execute!
         rhs_narrowing.execute!
 
         execute_compound_assignment_expression(