adlint 1.6.0 → 1.8.0

data/ChangeLog

@@ -1,3 +1,350 @@
+Fri Apr 27 17:29:22 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.ga : 1.8.0
+	  - Add W0607 detection.
+	  - Add W0608 detection.
+	  - Add W0625 detection.
+	  - Add W0632 detection.
+	  - Add W0633 detection.
+	  - Add W0634 detection.
+	  - Add W0642 detection.
+	  - Add W0711 detection.
+	  - Add W0712 detection.
+	  - Add W0713 detection.
+	  - Add W0714 detection.
+	  - Add W0715 detection.
+	  - Add W0832 detection.
+	  - Fix W0629 detection not to warn when the translation-unit local
+	    function is referred to derive a pointer to the function.
+	  - Fix W0459 and W0460 detections not to warn about inner variables
+	    owned by a temporary variable.
+	  - Fix W0461 and W0462 detections not to warn when the length omitted
+	    array parameter is specified as an argument.
+	  - Fix W1031 detection not to warn when the storage-class-specifier of
+	    the object declaration is explicitly specified and the
+	    storage-class-specifier of following object definition is omitted.
+	  - Fix W0581, W0582, W0583 and W0584 detections not to warn when the
+	    corresponding types of argument and parameter are array-array or
+	    array-pointer pair.
+	  - Fix W0581 detection to warn when the number of arguments in current
+	    function call is greater than the number of arguments in previous
+	    function calls.
+	  - Fix W0582, W0583 and W0584 detections to warn when the number of
+	    parameters is greater than the number of arguments.
+	  - Fix abend problem when the pathname of #include_next directive is
+	    not in the executing environment.
+	  - Support mswin path separator in #include or #include_next
+	    directives.
+	  - Fix bad FN_UELS (number of incomplete if-else-if statement chains)
+	    metric measurement.
+	  - Improve value version management of the abstract interpreter.
+
+Fri Apr 27 16:58:38 2012  Rie Shima  <rkakuuchi@users.sourceforge.net>
+
+	* share/doc/users_guide_ja.texi : Update descriptions about added
+	  warning messages.
+	* share/doc/users_guide_en.texi : Ditto.
+
+Fri Apr 27 15:42:29 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* etc/mesg.d/ja_JP/messages.yml : Revise W0541 message text.
+	* etc/mesg.d/en_US/messages.yml : Ditto.
+
+Fri Apr 27 15:36:36 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/c/message.rb : Fix W0629 detection not to warn when the
+	  translation-unit local function is referred to derive a pointer to
+	  the function.
+
+Fri Apr 27 14:24:03 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.rc : 1.7.6
+	  - Fix W0582, W0583 and W0584 detections to warn when the number of
+	    parameters is greater than the number of arguments.
+	  - Fix W0581 detection to warn when the number of arguments in
+	    current function call is greater than the number of arguments in
+	    previous function calls.
+	  - Revise specification of W0541 and W0832 detections to warn at the
+	    inline assembly code.
+
+Fri Apr 27 14:18:05 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/cpp/message.rb : Revise specification of W0541 and W0832
+	  detections to warn at the inline assembly code.
+
+Fri Apr 27 13:40:05 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/c/message.rb : Fix W0581 detection to warn when the
+	  number of arguments in current function call is greater than the
+	  number of arguments in previous function calls.
+
+	* lib/adlint/c/message.rb : Fix W0582, W0583 and W0584 detections to
+	  warn when the number of parameters is greater than the number of
+	  arguments.
+
+Fri Apr 27 11:50:47 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.rc : 1.7.5
+	  - Fix W0459 and W0460 detections not to warn about inner variables
+	    owned by a temporary variable.
+	  - Fix W0461 and W0462 detections not to warn when the length omitted
+	    array parameter is specified as an argument.
+	  - Fix W1031 detection not to warn when the storage-class-specifier
+	    of the object declaration is explicitly specified and the
+	    storage-class-specifier of following object definition is omitted.
+	  - Fix W0581, W0582, W0583 and W0584 detections not to warn when the
+	    corresponding types of argument and parameter are array-array or
+	    array-pointer pair.
+
+Fri Apr 27 11:20:10 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/c/message.rb : Fix W0581, W0582, W0583 and W0584
+	  detections not to warn when the corresponding types of argument and
+	  parameter are array-array or array-pointer pair.
+
+	* share/demo/invalid_call/invalid_call.c : Add sample code.
+
+Fri Apr 27 10:19:32 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/c/message.rb : Fix W1031 detection not to warn when the
+	  storage-class-specifier of the object declaration is explicitly
+	  specified and the storage-class-specifier of following object
+	  definition is omitted.
+
+Thu Apr 26 14:40:36 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/c/message.rb : Fix W0461 and W0462 detections not to warn
+	  when the length omitted array parameter is specified as an argument.
+	* lib/adlint/c/value.rb : Ditto.
+
+Thu Apr 26 14:31:52 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/c/object.rb : Fix W0459 and W0460 detections not to warn
+	  about inner variables owned by a temporary variable.
+
+Thu Apr 26 09:28:26 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.rc : 1.7.4
+	  - Fix bad necessity determination of value version forking.
+	  - Fix bad necessity determination of value recovery at leaving a
+	    versioning group of the value version management.
+	  - Remove redundant original value's snapshot of the value version
+	    management.
+
+Thu Apr 26 06:22:54 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/c/value.rb : Remove redundant original value's snapshot
+	  of the value version management.
+
+Wed Apr 25 23:17:06 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/c/value.rb : Fix bad necessity determination of value
+	  version forking.
+
+	* lib/adlint/c/value.rb : Fix bad necessity determination of value
+	  recovery at leaving a versioning group of the value version
+	  management.
+
+Wed Apr 25 19:13:39 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.rc : 1.7.3
+	  - Fix buggy new variable value version management in order not to
+	    mismerge value versions at end of a branch group.
+
+Wed Apr 25 18:36:53 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/c/value.rb : Fix buggy new variable value version
+	  management in order not to mismerge value versions at end of a branch
+	  group.
+
+Tue Apr 24 19:11:55 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.rc : 1.7.2
+	  - Fix buggy new variable value version management in order not to
+	    misunderstand that the effective branches in switch-statement are
+	    deadcodes.
+
+Tue Apr 24 18:31:18 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/c/value.rb : Fix buggy new variable value version
+	  management in order not to misunderstand that the effective branches
+	  in switch-statement are deadcodes.
+
+Tue Apr 23 22:21:04 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.rc : 1.7.1
+	  - Revise data structure of the variable value versioning in order not
+	    to smother narrowed values in branches without reassignments.
+	  - Revise default value of uninitialized global or static variables to
+	    arbitrary value from 0.
+	  - Fix interpretation environment to correctly manage value versions
+	    of inner variables of global array or composite typed variables.
+
+Tue Apr 23 18:45:14 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/c/value.rb : Revise data structure of the variable value
+	  versioning in order not to smother narrowed values in branches
+	  without reassignments.
+
+	* lib/adlint/c/object.rb : Revise default value of uninitialized global
+	  or static variables to arbitrary value from 0.
+
+	* lib/adlint/c/branch.rb : Rename unfavorite method names.
+	* lib/adlint/c/environ.rb : Ditto.
+	* lib/adlint/c/interp.rb : Ditto.
+	* lib/adlint/c/object.rb : Ditto.
+
+	* lib/adlint/c/environ.rb : Fix interpretation environment to correctly
+	  manage value versions of inner variables of global array or composite
+	  typed variables.
+	* lib/adlint/c/object.rb : Ditto.
+
+Tue Apr 10 18:27:50 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.rc : 1.7.0
+	  - This is the initial release candidate for 1.8.0 GA release.
+	  - Add W0607 detection.
+	  - Add W0608 detection.
+	  - Add W0625 detection.
+	  - Add W0632 detection.
+	  - Add W0633 detection.
+	  - Add W0634 detection.
+	  - Add W0642 detection.
+	  - Add W0711 detection.
+	  - Add W0712 detection.
+	  - Add W0713 detection.
+	  - Add W0714 detection.
+	  - Add W0715 detection.
+	  - Add W0832 detection.
+	  - Fix abend problem when the pathname of #include_next directive is
+	    not in the executing environment.
+	  - Fix bad FN_UELS (number of incomplete if-else-if statement chains)
+	    metric measurement.
+	  - Fix W0541 detection to warn once a function only when an inline
+	    assembly code is not wrapped by macro.
+
+Tue Apr 10 18:25:31 2012  Rie Shima  <rkakuuchi@users.sourceforge.net>
+
+	* lib/adlint/c/message_shima.rb : Add W0711, W0712, W0713, W0714 and
+	  W0715 detections.
+	* lib/adlint/c/phase.rb : Ditto.
+
+	* share/demo/Makefile : Add `logical_expr' demo.
+	* share/demo/logical_expr/logical_expr.c : Ditto.
+	* MANIFEST : Ditto.
+
+Tue Apr 10 17:55:04 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/c/syntax.rb : Add logicality determination of expressions.
+
+Tue Apr 10 17:09:40 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/lang.rb : Fix phase composition to move up preparation so
+	  that commands which depend on both preprocessor and C language
+	  processor can be instantiated earlier.
+	* lib/adlint/cpp/phase.rb : Ditto.
+	* lib/adlint/c/phase.rb : Ditto.
+
+	* lib/adlint/cpp/message.rb : Fix W0541 detection to warn once a
+	  function only when an inline assembly code is not wrapped by macro.
+
+	* lib/adlint/cpp/message.rb : Add W0832 detection.
+	* lib/adlint/cpp/phase.rb : Ditto.
+
+	* share/demo/inline_asm/inline_asm.c : Add sample code.
+
+Tue Apr 10 14:10:31 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/cpp/subst.rb : Revise code substitution notification to
+	  pass the matched token array.
+	* lib/adlint/cpp/message.rb : Ditto.
+
+Tue Apr 10 12:30:13 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/c/interp.rb : Add function object parameter to
+	  notifications of function evaluation.
+	* lib/adlint/c/syntax.rb : Ditto.
+	* lib/adlint/c/metric.rb : Ditto.
+	* lib/adlint/c/code.rb : Ditto.
+	* lib/adlint/c/message.rb : Ditto.
+
+	* lib/adlint/c/object.rb : Change interface of Function#signature to
+	  return a FunctionSignature object.
+
+	* lib/adlint/c/message.rb : Add W0625 detection.
+	* lib/adlint/c/phase.rb : Ditto.
+
+	* share/demo/Makefile : Add `typedef_each_src' demo.
+	* share/demo/typedef_each_src/typedef_each_src.c : Ditto.
+	* MANIFEST : Ditto.
+
+Tue Apr 10 08:43:43 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* etc/mesg.d/en_US/messages.yml : Refine W0688, W0689 and W0690 message
+	  text.
+	* share/doc/users_guide_en.texi : Ditto.
+
+Mon Apr  9 23:21:08 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/c/metric.rb : Fix bad FN_UELS (number of incomplete
+	  if-else-if statement chains) metric measurement.
+
+	* share/demo/Makefile : Add `incomplete_ifelse' demo.
+	* share/demo/incomplete_ifelse/incomplete_ifelse.c : Ditto. 
+	* MANIFEST : Ditto. 
+
+Mon Apr  9 20:34:51 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/c/expr.rb : Add notification about address-expression.
+	* lib/adlint/c/interp.rb : Ditto.
+	* lib/adlint/c/mediator.rb : Ditto.
+
+	* lib/adlint/c/object.rb : Add storage class determination of objects.
+
+	* lib/adlint/c/message.rb : Add W0642 detection.
+	* lib/adlint/c/phase.rb : Ditto.
+
+	* share/demo/Makefile : Add `register_vars' demo.
+	* share/demo/register_vars/register_vars.c : Ditto.
+	* MANIFEST : Ditto.
+
+Mon Apr  9 13:14:51 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/cpp/message.rb : Add W0634 detection.
+	* lib/adlint/cpp/phase.rb : Ditto.
+
+	* lib/adlint/cpp/eval.rb : Fix abend problem when the pathname of
+	  #include_next directive is not in the executing environment.
+
+	* lib/adlint/cpp/eval.rb : Support mswin path separator in #include or
+	  #include_next directives.
+
+	* share/demo/bad_include/bad_include.c : Add sample code.
+
+Mon Apr  9 12:03:08 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/cpp/message.rb : Add W0632 and W0633 detections.
+	* lib/adlint/cpp/phase.rb : Ditto.
+
+	* etc/mesg.d/ja_JP/messages.yml : Revise W0632 and W0633 message text.
+	* etc/mesg.d/en_US/messages.yml : Ditto.
+
+	* share/demo/Makefile : Add `bad_include' demo.
+	* share/demo/bad_include/bad_include.c : Ditto.
+	* share/demo/bad_include/test"1".h : Ditto.
+	* share/demo/bad_include/test'1'.h : Ditto.
+	* share/demo/bad_include/test'2'.h : Ditto.
+
+	* share/doc/users_guide_ja.texi : Update W0632 and W0633 message text.
+	* share/doc/users_guide_en.texi : Ditto.
+
+Mon Apr  9 11:22:39 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/c/message.rb : Add W0607 and W0608 detections.
+	* lib/adlint/c/phase.rb : Ditto.
+
+	* share/demo/wrap_around/wrap_around.c : Add sample code.
+
 Fri Apr  6 20:00:34 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
 	* release.ga : 1.6.0
@@ -44,7 +391,7 @@ Fri Apr  6 19:49:19 2012  Rie Shima  <rkakuuchi@users.sourceforge.net>
 
 Fri Apr  6 19:13:05 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
-	* release.beta : 1.5.5
+	* release.rc : 1.5.5
 	  - Fix W1053 detection to warn only about constant expressions.
 
 Fri Apr  6 19:06:34 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
@@ -54,7 +401,7 @@ Fri Apr  6 19:06:34 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
 Fri Apr  6 16:44:17 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
-	* release.beta : 1.5.4
+	* release.rc : 1.5.4
 	  - Fix abend problem of W0461 and W0462 detections when a function is
 	    specified as an argument.
 
@@ -65,7 +412,7 @@ Fri Apr  6 15:51:59 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
 Fri Apr  6 15:35:17 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
-	* release.beta : 1.5.3
+	* release.rc : 1.5.3
 	  - Fix degraded W0581, W0639 and W0640 detections.
 
 Fri Apr  6 15:32:44 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
@@ -75,7 +422,7 @@ Fri Apr  6 15:32:44 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
 Fri Apr  6 11:48:37 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
-	* release.beta : 1.5.2
+	* release.rc : 1.5.2
 	  - Fix W0787, W0788 and W0789 detections to consider variable and
 	    function definitions.
 	  - Fix W0104 detection not to warn about invariant parameter of array
@@ -150,7 +497,7 @@ Thu Apr  5 16:43:55 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
 Thu Apr  5 15:05:37 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
-	* release.beta : 1.5.1
+	* release.rc : 1.5.1
 	  - Add W0579 detection.
 	  - Add W0686 detection.
 	  - Add W0787 detection.
@@ -200,8 +547,8 @@ Tue Apr  3 19:03:44 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
 Tue Apr  3 16:37:30 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
-	* release.beta : 1.5.0
-	  - This is the initial beta release for 1.6.0 GA release.
+	* release.rc : 1.5.0
+	  - This is the initial release candidate for 1.6.0 GA release.
 	  - Add W0541 detection.
 	  - Add W0573 detection.
 	  - Add W0685 detection.
@@ -424,7 +771,7 @@ Thu Mar 29 10:53:48 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
 Wed Mar 28 15:30:55 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
-	* release.beta : 1.3.3
+	* release.rc : 1.3.3
 	  - Fix interpreter in order to detect W0653 correctly.
 
 Wed Mar 28 15:24:20 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
@@ -435,7 +782,7 @@ Wed Mar 28 15:24:20 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
 Wed Mar 28 13:51:55 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
-	* release.beta : 1.3.2
+	* release.rc : 1.3.2
 	  - Fix interpreter in order to detect W0255 family, W0459, W0580,
 	    W0653, W0654 and W0730 correctly.
 	  - Update the user's guide in Japanese.
@@ -473,7 +820,7 @@ Wed Mar 28 09:58:58 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
 Tue Mar 27 17:59:37 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
-	* release.beta : 1.3.1
+	* release.rc : 1.3.1
 	  - Add W0737 detection.
 	  - Add W0738 detection.
 	  - Add W0739 detection.
@@ -536,8 +883,8 @@ Tue Mar 27 12:05:03 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
 Mon Mar 26 17:05:05 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
-	* release.beta : 1.3.0
-	  - This is the initial beta release for 1.4.0 GA release.
+	* release.rc : 1.3.0
+	  - This is the initial release candidate for 1.4.0 GA release.
 	  - Add W0606 detection.
 	  - Add W0687 detection.
 	  - Add W0695 detection.
@@ -695,7 +1042,7 @@ Wed Mar 21 18:50:39 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
 Wed Mar 21 14:36:30 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
-	* release.beta : 1.1.2
+	* release.rc : 1.1.2
 	  - 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.
@@ -718,7 +1065,7 @@ Wed Mar 21 13:03:26 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
 Mon Mar 19 17:48:34 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
-	* release.beta : 1.1.1
+	* release.rc : 1.1.1
 	  - Add W0688 detection.
 	  - Add W0689 detection.
 	  - Add W0690 detection.
@@ -767,8 +1114,8 @@ Mon Mar 19 14:49:07 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
 Mon Mar 19 12:43:33 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
-	* release.beta : 1.1.0
-	  - This is the initial beta release for 1.2.0 GA release.
+	* release.rc : 1.1.0
+	  - This is the initial release candidate for 1.2.0 GA release.
 	  - Add W0597 detection.
 	  - Add W0598 detection.
 	  - Add W0599 detection.
@@ -820,6 +1167,11 @@ Mon Feb 27 17:39:54 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
 	* release.ga : 1.0.0
 	  - This is the initial GA release!
+	  - Support single module analysis.
+	  - Support cross module analysis.
+	  - Support 597 kinds of warning detections.
+	  - Support 14 kinds of code structure extractions.
+	  - Support 15 kinds of code quality metric measurements.
 	  - Fix traits file validation to allow only values greater than 0 as
 	    memory alignment items such as `char_alignment'.
 	  - Correct to run on Ruby 1.9.3-p125 without warnings.
@@ -1272,12 +1624,12 @@ Wed Nov 16 20:37:38 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 	  - Fix W0950 detection to warn all constants in the multi demension
 	    array variable definition.
 	  - Fix degraded W0088 detection.
-	  - Fix W0459 detection not to warn the array variable initialized
-	    with the string-literal-specifier.
+	  - Fix W0459 detection not to warn the array variable initialized with
+	    the string-literal-specifier.
 	  - Fix W0423 and W0424 detection to warn the
 	    prefix-increment/decrement-expression of the nullable pointer.
-	  - Fix W0578 detection not to warn the implicit conversion of
-	    floating values.
+	  - Fix W0578 detection not to warn the implicit conversion of floating
+	    values.
 	  - Fix degraded W0777, W0778 and W0779 detection.
 	  - Fix abend problem of evaluating the function definition which has
 	    unnamed parameter which type is a user type.
@@ -1328,8 +1680,8 @@ Mon Oct 31 18:56:14 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 	  - Add W0629 detection.
 	  - Fix W0441 detection not to warn about wide character constants.
 	  - Add W0626 detection.
-	  - Activate `file_encoding' setting in the `project_traits' section
-	    of the traits file.
+	  - Activate `file_encoding' setting in the `project_traits' section of
+	    the traits file.
 
 Wed Oct 26 22:06:55 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
@@ -1353,7 +1705,7 @@ Wed Oct 26 22:06:55 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 	    tree at the join point of execution paths.
 	  - Fix W0073 detection to warn when the unguarded header is included
 	    immediately after the inclusion of the guarded header.
-	  - Fix bad character encoding of console and file output on Windows.
+	  - Fix bad character encoding of console and file output on mswin.
 	  - Add W0578 detection.
 
 Wed Oct 19 17:47:16 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>
@@ -1363,15 +1715,15 @@ Wed Oct 19 17:47:16 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 	  - Fix W0030, W0423 and W0424 detection to warn about postfix or
 	    prefix increment expressions and postfix or prefix decrement
 	    expressions.
-	  - Fix W0100 detection not to warn about the array of pointers to
-	    the const object.
+	  - Fix W0100 detection not to warn about the array of pointers to the
+	    const object.
 	  - Fix FN_NEST metric meassurement so that the nest level of the top
 	    of functions is 0.
 	  - Fix computation of the total lines of function definitions so that
-	    the function body is from the line of the function name to the
-	    line of `}' token which ends the definition.
-	  - Rewrite buggy FN_PATH (the number of estimated static paths per
-	    function) measurement.
+	    the function body is from the line of the function name to the line
+	    of `}' token which ends the definition.
+	  - Rewrite buggy FN_PATH (number of estimated static paths per
+	    function) metric measurement.
 	  - Add W0576 detection.
 	  - Add W0577 detection.
 
@@ -1382,8 +1734,8 @@ Thu Oct 13 19:53:19 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 	  - Add W0568 detection.
 	  - Add W0569 detection.
 	  - Add W0570 detection.
-	  - Fix W0088 detection not to warn about the controlling expression
-	    of control statements.
+	  - Fix W0088 detection not to warn about the controlling expression of
+	    control statements.
 	  - Add W0571 detection.
 	  - Add W0572 detection.
 	  - Add W0574 detection.
@@ -1411,8 +1763,8 @@ Thu Oct  6 16:10:37 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 	  - Add W0560 detection.
 	  - Add W0561 detection.
 	  - Add W0562 detection.
-	  - Fix W0100 detection not to warn about the array of const type
-	    whose dimension is greater than 1.
+	  - Fix W0100 detection not to warn about the array of const type whose
+	    dimension is greater than 1.
 	  - Fix W0080 detection not to warn about function local const
 	    variables.
 	  - Add W0563 detection.
@@ -1428,8 +1780,8 @@ Thu Oct  6 16:10:37 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 	  - Trivial correction to run on Ruby 1.9.3-rc1 without warnings.
 	  - Fix off-by-one problems in W0001, W0037, W0049, W0050 and W0054
 	    detection.
-	  - Fix W0549 detection not to warn when the parameter is an operand
-	    of `#' or `##' operator.
+	  - Fix W0549 detection not to warn when the parameter is an operand of
+	    `#' or `##' operator.
 
 Tue Oct  4 17:30:33 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
@@ -1453,8 +1805,8 @@ Fri Sep 30 15:36:31 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
 	* release.alpha : 0.3.2
 	  - Add W0534 detection.
-	  - Fix bad file path in X0003 error message when `--output-dir'
-	    option specified.
+	  - Fix bad file path in X0003 error message when `--output-dir' option
+	    specified.
 	  - Fix bad value domain narrowing problem after improving the
 	    interpreter on 0.3.1 release.
 	  - Add W0538 detection.

data/INSTALL

@@ -43,9 +43,11 @@ You can evaluate \AdLint by following instructions.
 
 First, copy `intro_demo' project into your workspace.  "+adlint+ +--prefix+"
 command prints the prefix pathname of the \AdLint installation directory.
+
  % cp -r `adlint --prefix`/share/demo/intro_demo .
 
 Second, generate configuration files for \AdLint.
+
  % cd intro_demo
  % adlintize
 
@@ -60,6 +62,7 @@ Following files will be generated.
 * [+adlint_files.txt+] List file for sh script and bat file.
 
 Finally, do analysis.
+
  % make verbose-all
  adlint --verbose -t adlint_traits.yml -o . intro_demo.c
                    intro_demo.c [fin] |============================| 0.401s

data/MANIFEST

@@ -113,6 +113,9 @@ share/demo/bad_comment/bad_comment.c
 share/demo/bad_const/bad_const.c
 share/demo/bad_conv/bad_conv.c
 share/demo/bad_enum/bad_enum.c
+share/demo/bad_include/bad_include.c
+share/demo/bad_include/test'1'.h
+share/demo/bad_include/test'2'.h
 share/demo/bad_indent/bad_indent.c
 share/demo/bad_init/bad_init.c
 share/demo/bad_label/bad_label.c
@@ -135,6 +138,7 @@ share/demo/id_hiding/id_hiding.c
 share/demo/ill_defined/ill_defined.c
 share/demo/implicit_conv/implicit_conv.c
 share/demo/implicit_int/implicit_int.c
+share/demo/incomplete_ifelse/incomplete_ifelse.c
 share/demo/incomplete_type/incomplete_type.c
 share/demo/indirect_recur/indirect_recur_1.c
 share/demo/indirect_recur/indirect_recur_1.h
@@ -151,6 +155,7 @@ share/demo/invalid_call/invalid_call.c
 share/demo/kandr_fundef/kandr_fundef.c
 share/demo/line_comment/line_comment.c
 share/demo/local_decl/local_decl.c
+share/demo/logical_expr/logical_expr.c
 share/demo/logical_trick/logical_trick.c
 share/demo/long_sym/long_sym.c
 share/demo/loop_var/loop_var.c
@@ -185,6 +190,7 @@ share/demo/output_by_param/output_by_param.c
 share/demo/overflow/overflow.c
 share/demo/press_release/press_release.c
 share/demo/redundant_select/redundant_select.c
+share/demo/register_vars/register_vars.c
 share/demo/reserved_ident/reserved_ident.c
 share/demo/retn_lvar_addr/retn_lvar_addr.c
 share/demo/sequence_point/sequence_point.c
@@ -193,6 +199,7 @@ share/demo/should_be_typedef/should_be_typedef.c
 share/demo/static_paths/static_paths.c
 share/demo/static_vars/static_vars.c
 share/demo/tag_hiding/tag_hiding.c
+share/demo/typedef_each_src/typedef_each_src.c
 share/demo/tricky_incdec/tricky_incdec.c
 share/demo/undefined_macro/undefined_macro.c
 share/demo/uninit_vars/uninit_vars.c