Wed Aug 28 10:51:30 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.ga : 3.2.0
	  - Support experimental context-tracing feature so that the warning
	    message can be complemented with the context messages.

Tue Aug 27 19:35:30 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* share/doc/users_guide_ja.texi : Add descriptions about newly added
	  context-messages supporting context-tracing.
	* share/doc/users_guide_en.texi : Ditto.

Mon Aug 26 11:44:55 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 3.1.0
	  - Support experimental context-tracing feature so that the warning
	    message can be complemented with the context messages.

Fri Aug 23 15:55:53 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cc1/value.rb : Fix value version management degraded
	  during supporting context-tracing.

	* features/code_check/W0460.feature : Add scenario to reproduce
	  false-positive of W0460 code check.

Thu Aug 22 14:17:54 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cc1/interp.rb : Fix bad context-tracing during or after
	  evaluation of an iteration statement.
	* lib/adlint/cc1/object.rb : Ditto.
	* lib/adlint/cc1/value.rb : Ditto.

	* lib/adlint/cc1/trace.rb : Revise context-tracing interface in order
	  not to output context messages about futural controlling-expressions.
	* lib/adlint/exam/c_builtin/cc1_check.rb : Ditto.

Wed Aug  7 15:01:04 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/exam/c_builtin/cc1_check.rb : Fix bad W0570 code check
	  degraded during supporting context-tracing.

	* features/code_check/W0570.feature : Add scenario to reproduce a known
	  bug.

Wed Aug  7 13:40:55 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cc1/trace.rb : Fix bad context message emission of
	  undefinable variables.

	* features/code_check/W0460.feature : Add scenario to reproduce bad
	  context message problem.

Wed Aug  7 10:28:42 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/**/* : Support context-tracing to improve readability of
	  warning messages.
	* lib/adlint/cc1/trace.rb : Add new context tracing module.

	* features/code_check/* : Add scenarios for testing context-tracing.

Wed Jul 10 15:14:43 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cc1/value.rb : Refactor relationships between VersionGroup
	  object and its Version object in order to exactly represent a design
	  of the value version management.

Fri Jun 28 10:23:30 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.ga : 3.0.10
	  - Add missing comment handling in the initial state of the
	    preprocessing lexer.
	  - Fix incomplete identifier to typedef name translation when the
	    declaring enumerator name is conflicting with the prior typedef
	    name.
	  - Fix evaluation of the global constant variable definition in order
	    not to ignore value of the initializer.
	  - Revise pointer dereferencing behavior to successfully dereference a
	    pointer only when the value of pointer variable is definite.
	  - Improve heuristics of array subscript evaluation with indefinite
	    subscript.
	  - Fix controlling-expression deduction of iteration-statements in
	    order to adopt the ordinary expression when no control breaking
	    condition is found in the iteration body.
	  - Remove unnecessary controlling expression evaluation at entering a
	    do-statement.
	  - Fix value-domain thinning condition to thin domains discarded by a
	    break-statement in the iteration.
	  - Fix bypassing inner-variable's value mutation in order to correctly
	    propagate mutation to the outer-variable.

Wed Jun 26 17:42:13 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 3.0.9
	  - Add missing comment handling in the initial state of the
	    preprocessing lexer.
	  - Fix incomplete identifier to typedef name translation when the
	    declaring enumerator name is conflicting with the prior typedef
	    name.
	  - Fix evaluation of the global constant variable definition in order
	    not to ignore value of the initializer.
	  - Revise pointer dereferencing behavior to successfully dereference a
	    pointer only when the value of pointer variable is definite.
	  - Improve heuristics of array subscript evaluation with indefinite
	    subscript.
	  - Fix controlling-expression deduction of iteration-statements in
	    order to adopt the ordinary expression when no control breaking
	    condition is found in the iteration body.
	  - Remove unnecessary controlling expression evaluation at entering a
	    do-statement.
	  - Fix value-domain thinning condition to thin domains discarded by a
	    break-statement in the iteration.
	  - Fix bypassing inner-variable's value mutation in order to correctly
	    propagate mutation to the outer-variable.

Wed Jun 26 16:07:59 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cc1/object.rb : Fix assignment behavior of the array
	  representative element in order to correctly propagete definiteness
	  of the new value to outer array variable's value.

	* features/code_check/W0461.feature : Add scenario to reproduce
	  false-positive of W0461 code check when the pointee array is
	  initialized by assignment with indefinite subscript value.

Tue Jun 25 15:24:13 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cc1/interp.rb : Revise evaluation behavior of
	  for-statement's explicit controlling-expression in order to properly
	  evaluate the branch entering condition.
	  Revise evaluation behavior of conditional-expressions to adopt the
	  non-NULL pointer as the expression value when a value of the
	  controlling-expression is indefinite.

	* lib/adlint/cc1/mediator.rb : Revise pointer dereferencing behavior to
	  successfully dereference a pointer only when the value of pointer
	  variable is definite again.

	* features/code_check/W0610.feature : Add scenario to reproduce bad
	  variables' value-domain management problem.

Mon Jun 24 17:22:47 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cc1/branch.rb : Fix over-thinning of controlling
	  variable's value-domain when the terminating branch is of
	  switch-statement enclosed by an iteration-statement.

	* features/code_check/W0459.feature : Add scenario to reproduce
	  false-positive of W0459 code check caused by bad break statement
	  evaluation in thinning value-domain of the controlling variable.

Mon Jun 24 16:51:36 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cc1/object.rb : Restore scrapped side-effect rollback of
	  inner-variables.

Fri Jun 21 19:14:39 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cc1/object.rb : Fix incomplete assignment to the array
	  representative element.

	* features/code_check/W0459.feature : Add scenario to reproduce
	  false-positive of W0459 code check caused by missing representative
	  element updating.

Fri Jun 21 17:59:24 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cc1/object.rb : Add assignment to the array representative
	  element.

	* features/code_check/W0459.feature : Add scenario to reproduce
	  false-negative of W0459 code check caused by missing representative
	  element updating.

Fri Jun 21 16:16:16 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cc1/expr.rb : Improve heuristics of array subscript
	  evaluation with indefinite subscript again and again.

	* lib/adlint/cc1/object.rb : Fix bad management of the representative
	  element of array variables in order to correctly update the array by
	  reassigning new value to its representative element.
	  Add UnmappedMemoryWindow instead of UnmappedMemoryBlock.

	* features/code_check/W0100.feature : Add scenario to reproduce
	  false-positive of W0100 code check caused by bad representative array
	  element.
	* MANIFEST : Ditto.

Thu Jun 20 17:59:25 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cc1/expr.rb : Improve heuristics of array subscript
	  evaluation with indefinite subscript again.

	* lib/adlint/cc1/object.rb : Add management of the representative
	  element of array variables.
	  Add UnmappedMemoryBlock which is not mapped to the MemoryPool in
	  order to bind representative elements to their values.

	* lib/adlint/cc1/interp.rb : Scrap interpretation mode for controlling
	  expressions.
	* lib/adlint/cc1/option.rb : Ditto.

Thu Jun 20 11:21:59 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cc1/object.rb : Fix bad value version management in order
	  not to forget histories of a value.

	* features/code_check/W1050.feature : Add scenario to reproduce bad
	  value version management problem.
	* MANIFEST : Ditto.

Wed Jun 19 17:17:27 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cc1/object.rb : Fix bypassing inner-variable's value
	  mutation in order to correctly propagate mutation to the
	  outer-variable.
	  Add missing value-domain thinning of inner-variables.

	* lib/adlint/cc1/branch.rb : Fix value-domain thinning condition to
	  thin domains discarded by a break-statement in the iteration.
	* lib/adlint/cc1/environ.rb : Ditto.
	* lib/adlint/cc1/interp.rb : Ditto.
	* lib/adlint/cc1/option.rb : Ditto.

	* features/code_check/W0422.feature : Add scenario to reproduce
	  false-positive of W0422 code check caused by incomplete value-domain
	  thinning.

	* lib/adlint/cc1/builtin.rb : Fix broken `__adlint__eval' builtin debug
	  function.

Mon Jun 17 16:43:32 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cpp/lexer.rb : Add missing comment handling in the initial
	  state of the preprocessing lexer.

	* features/code_check/E0008.feature : Add scenario to reproduce a parse
	  error when a #define directive appears right after a block comment
	  followed by an escaped newline.
	* MANIFEST : Ditto.

Mon Jun 17 15:24:10 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0704.feature : Add scenario to reproduce a parse
	  error when the enumerator name is conflicting with the prior typedef
	  name.
	* MANIFEST : Ditto.

	* lib/adlint/cc1/lexer.rb : Rewrite identifier set to track declared
	  identifiers in preparation for fixing incomplete identifier to
	  typedef name translation.

	* lib/adlint/cc1/parser.y : Fix incomplete identifier to typedef name
	  translation when the declaring enumerator name is conflicting with
	  the prior typedef name.

Thu Jun 13 15:53:21 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cc1/interp.rb : Remove unnecessary controlling expression
	  evaluation at entering a do-statement.

	* features/code_check/W9001.feature : Add scenario to reproduce
	  false-positive of W9001 code check about body of the one-shot
	  do-statement.

Thu Jun 13 13:42:24 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cc1/domain.rb : Fix bad bitwise & evaluation with
	  indefinite value domains.

	* features/code_check/W0612.feature : Add scenario to reproduce
	  false-positive of W0612 code check when value of an operand is
	  indefinite.  
	* MANIFEST : Ditto.

Wed Jun 12 19:57:55 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cc1/syntax.rb : Fix controlling-expression deduction of
	  iteration-statements in order to adopt the ordinary expression when
	  no control breaking condition is found in the iteration body.

	* features/code_check/W0422.feature : Add scenario to reproduce a known
	  bug.

Wed Jun 12 15:51:38 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cc1/object.rb : Add missing value coercing in evaluation
	  of variable definition when the variable has already been declared.

Wed Jun 12 11:43:35 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0459.feature : Add scenario to reproduce a known
	  bug.

	* lib/adlint/cc1/interp.rb : Fix conditional-expression evaluation in
	  order to evaluate controlling expression in the same manner as that
	  of if-statement.

	* lib/adlint/cc1/mediator.rb : Fix pointer dereference behavior in
	  order to find possible pointee objects when the pointer value is not
	  definite.

Fri Jun  7 11:45:23 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cc1/expr.rb : Revise global constant array subscript
	  evaluation policy in order to make undefined-value when the subscript
	  value is indefinite.

Fri Jun  7 10:44:06 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W1071.feature : Add scenario to reproduce the
	  broken array subscript evaluation in controlling expressions.

	* lib/adlint/cc1/expr.rb : Fix bad array subscript evaluation so that
	  the array-subscript-expression makes undefined-value when no
	  designated object is found.

Thu Jun  6 18:36:13 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0613.feature : Add scenario to reproduce
	  false-positive of W0613 code check when an array-subscript-expression
	  refers to the global constant array is specified as the controlling
	  expression.

	* lib/adlint/cc1/expr.rb : Improve heuristics of array subscript
	  evaluation with indefinite subscript only in controlling expressions.
	* lib/adlint/cc1/interp.rb : Ditto.
	* lib/adlint/cc1/option.rb : Ditto.

Wed Jun  5 17:37:23 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cc1/object.rb : Fix variable's value version rollback
	  mechanism in order not to do unnecessary rollback of inner-variables
	  of array or composite value.

	* lib/adlint/cc1/type.rb : Fix bad type traits predicate methods for
	  array type.

	* features/code_check/W0097.feature : Add scenario to reproduce a known
	  bug.
	* features/code_check/W0461.feature : Ditto.

	* lib/adlint/cc1/value.rb : Add comment to newly added destructive
	  #force_oeverwrite! method.

Wed Jun  5 17:21:36 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cc1/mediator.rb : Revise pointer dereferencing behavior to
	  successfully dereference a pointer only when the value of pointer
	  variable is definite.

Tue Jun  4 20:33:44 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0705.feature : Add scenario to reproduce a known
	  bug.

	* lib/adlint/cc1/interp.rb : Fix evaluation of the global constant
	  variable definition in order not to ignore value of the initializer.
	* lib/adlint/cc1/object.rb : Ditto.
	* lib/adlint/cc1/value.rb : Ditto.

Fri May 31 10:54:11 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.ga : 3.0.8
	  - Fix abend problem of preprocessor when a block comment is not
	    terminated in the translation-unit.
	  - Fix block comment handling in order not to dive into nested part
	    when a single slash character appears before the comment
	    terminator.
	  - Fix infinite-loop problem of preprocessor when the #include
	    directive appears with undefined macro.
	  - Fix bad expression-constancy check in order to treat an expression
	    derives an address-constant as a constant-expression.
	  - Fix bad variable defining behavor in order to correctly evaluate
	    sizeof-expression that refers defining variable in the initializer.
	  - Revise specification of W0642 code check in order to warn about all
	    the illegal address derivation from the object declared as
	    `register'.
	  - Fix abend problem in parsing unnamed bit-field declaration.
	  - Fix W0786 code check in order not to warn when a typedefed type
	    which is same as signed or unsigned int is specified as a base of
	    the bit-field.
	  - Fix incomplete object cross-reference extraction in order to record
	    object references within global scope in case of global function
	    table initialization.
	  - Fix incomplete object cross-reference graph and function call graph
	    in order to correctly warn about useless objects.
	  - Fix bad `##' operator evaluation in order to comply with the ISO
	    C99 standard.

Thu May 30 21:05:44 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 3.0.7
	  - Fix function call extraction in order to output function calls
	    within the global scope.
	  - Improve performance of FN_CALL metric measurement.
	  - Fix bad function call graph calculation.
	  - Fix bad expression-constancy check in order not to misunderstand
	    that an expression contains object-specifier which designates a
	    variable is constant-expression when a function of the same name
	    has been declared.

Thu May 30 20:07:56 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cc1/syntax.rb : Fix bad expression-constancy check in
	  order not to misunderstand that an expression contains
	  object-specifier which designates a variable is constant-expression
	  when a function of the same name has been declared.
	* lib/adlint/cc1/mediator.rb : Ditto.
	* lib/adlint/cc1/object.rb : Ditto.

	* features/code_check/W0422.feature : Add scenario to reproduce a known
	  bug.

Thu May 30 13:54:20 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/exam/c_builtin/cc1_code.rb : Fix function call extraction
	  in order to output function calls within the global scope.

	* lib/adlint/exam/c_builtin/ld_metric.rb : Improve performance of
	  FN_CALL metric measurement.

	* lib/adlint/ld/object.rb : Fix bad function call graph calculation.

	* lib/adlint/exam/c_builtin.rb : Fix bad abbreviations of class names.
	* lib/adlint/code.rb : Ditto.
	* lib/adlint/report.rb : Ditto.

Wed May 29 18:48:01 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 3.0.5
	  - Fix abend problem of preprocessor when a block comment is not
	    terminated in the translation-unit.
	  - Fix block comment handling in order not to dive into nested part
	    when a single slash character appears before the comment
	    terminator.
	  - Fix infinite-loop problem of preprocessor when the #include
	    directive appears with undefined macro.
	  - Fix bad expression-constancy check in order to treat an expression
	    derives an address-constant as a constant-expression.
	  - Fix bad variable defining behavor in order to correctly evaluate
	    sizeof-expression that refers defining variable in the initializer.
	  - Revise specification of W0642 code check in order to warn about all
	    the illegal address derivation from the object declared as
	    `register'.
	  - Fix abend problem in parsing unnamed bit-field declaration.
	  - Fix W0786 code check in order not to warn when a typedefed type
	    which is same as signed or unsigned int is specified as a base of
	    the bit-field.
	  - Fix incomplete object cross-reference extraction in order to record
	    object references within global scope in case of global function
	    table initialization.
	  - Fix incomplete object cross-reference graph and function call graph
	    in order to correctly warn about useless objects.
	  - Fix bad `##' operator evaluation in order to comply with the ISO
	    C99 standard.

Wed May 29 18:31:55 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0422.feature : Add scenario to reproduce a known
	  bug.

	* lib/adlint/cc1/ctrlexpr.rb : Fix controlling expression evaluation in
	  order not to install implicit functions when the effective
	  controlling expression is not a regular one and the controlling
	  variable is declared in the iteration body.

Wed May 29 13:26:20 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0830.feature : Add scenario to reproduce bad
	  macro replacement problem.

	* lib/adlint/cpp/macro.rb : Fix bad `##' operator evaluation in order
	  to comply with the ISO C99 standard.

Tue May 28 21:47:56 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/exam/c_builtin/ld_metric.rb : Fix FN_CALL measurement to
	  count a number of caller functions instead of a number of function
	  calls.

Tue May 28 20:59:27 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/exam/c_builtin/ld_check.rb : Fix W0589 code check in order
	  to warn when only one function which is defined in the same
	  translation-unit refers to the object but the function refers to that
	  twice or more.

Tue May 28 19:08:41 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/exam/c_builtin/ld_check.rb : Fix incomplete object
	  cross-reference graph and function call graph in order to correctly
	  warn about useless objects.
	* lib/adlint/exam/c_builtin/ld_metric.rb : Ditto.
	* lib/adlint/ld/phase.rb : Ditto.
	* lib/adlint/ld/util.rb : Ditto.

Tue May 28 16:28:11 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/ld/object.rb : Rewrite object cross-reference graph and
	  function call graph management.
	* lib/adlint/ld/typedef.rb : Ditto.
	* lib/adlint/analyzer.rb : Ditto.

Tue May 28 11:31:54 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cpp/phase.rb : Refine inner object names of phase context.
	* lib/adlint/cc1/phase.rb : Ditto.
	* lib/adlint/exam/c_builtin/cpp_check.rb : Ditto.
	* lib/adlint/exam/c_builtin/cpp_check_shima.rb : Ditto.
	* lib/adlint/exam/c_builtin/cpp_code.rb : Ditto.
	* lib/adlint/exam/c_builtin/cc1_check.rb : Ditto.
	* lib/adlint/exam/c_builtin/cc1_check_shima.rb : Ditto.
	* lib/adlint/exam/c_builtin/cc1_metric.rb : Ditto.
	* lib/adlint/cc1/util.rb : Ditto.

Mon May 27 15:21:14 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/exam/c_builtin/cc1_code.rb : Fix incomplete object
	  cross-reference extraction in order to record object references
	  within global scope in case of global function table initialization.
	* lib/adlint/code.rb : Ditto.

Fri May 24 19:11:52 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cc1/parser.y : Remove useless state management of the
	  identifier translation in `struct_declaration'.

Fri May 24 16:05:07 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0491.feature : Add scenario to reproduce abend
	  problem of parser.

	* lib/adlint/cc1/parser.y : Fix bad state management of the identifier
	  translation again and again.

Fri May 24 15:09:25 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0542.feature : Add scenario to reproduce abend
	  problem of parser.

	* lib/adlint/cc1/parser.y : Fix bad state management of the identifier
	  translation again.

Fri May 24 13:47:47 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0491.feature : Add scenario to reproduce abend
	  problem of parser.

	* lib/adlint/cc1/parser.y : Fix bad state management of the identifier
	  translation.

Fri May 24 12:32:54 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0491.feature : Add scenario to reproduce abend
	  problem of parsing the same name in different namespaces.

	* lib/adlint/cc1/parser.y : Fix incomplete identifier to typedef-name
	  translation.

Thu May 23 19:10:38 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0492.feature : Add scenario to reproduce abend
	  problem of parsing the same name in different namespaces.

	* lib/adlint/cc1/parser.y : Fix incomplete identifier to typedef-name
	  translation.

	* lib/adlint/cc1/lexer.rb : Add note about namespaces of identifiers.

Wed May 22 13:12:48 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0786.feature : Add scenario to reproduce a known
	  bug.

	* lib/adlint/exam/c_builtin/cc1_check.rb : Fix W0786 code check in
	  order not to warn when a typedefed type which is same as signed or
	  unsigned int is specified as a base of the bit-field.

Tue May 21 19:34:10 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cc1/parser.y : Fix abend problem in parsing unnamed
	  bit-field declaration.

Sat May 18 15:25:51 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W1047.feature : Add scenario to reproduce a known
	  bug.

	* lib/adlint/cc1/syntax.rb : Fix bad expression-constancy check in
	  order to treat an address-expression as a constant-expression.

	* lib/adlint/exam/c_builtin/cc1_check.rb : Fix W1047 code check to
	  check expression constancy by the newly added unified interface.

Fri May 17 17:42:35 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0610.feature : Add scenario to reproduce a known
	  bug.

	* lib/adlint/cc1/interp.rb : Fix bad value domain management of the
	  variable whose storage duration is static.

Fri May 17 15:42:42 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* share/doc/users_guide_ja.texi : Revise description of W0642 message.
	* share/doc/users_guide_en.texi : Ditto.

Fri May 17 15:00:25 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W9003.feature : Add scenario to reproduce a known
	  bug.

	* lib/adlint/exam/c_builtin/cc1_check.rb : Revise specification of
	  W0642 code check in order to warn about all the illegal address
	  derivation from the object declared as `register'.
	* etc/mesg.d/c_builtin/ja_JP/messages.yml : Ditto.
	* etc/mesg.d/c_builtin/en_US/messages.yml : Ditto.

	* lib/adlint/exam/c_builtin/cc1_check.rb : Add notification about
	  object address derivation.

Fri May 17 12:55:38 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0642.feature : Add scenario to reproduce a known
	  bug.

	* lib/adlint/exam/c_builtin/cc1_check.rb : Fix W0642 code check in
	  order to warn only when the original object of implicit conversion is
	  an array.

	* lib/adlint/cc1/mediator.rb : Add implicit conversion notification in
	  object conversion methods to notify illegal conversions.
	* lib/adlint/cc1/interp.rb : Ditto.
	* lib/adlint/cc1/expr.rb : Ditto.
	* lib/adlint/cc1/ctrlexpr.rb : Ditto.

	* lib/adlint/cc1/object.rb : Fix argument to parameter assignment
	  behavior in order to notify illegal conversions correctly.

Fri May 17 09:35:36 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cc1/interp.rb : Fix bad variable defining behavor in order
	  not to predefine a variable of incomplete type.

Thu May 16 18:38:40 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0580.feature : Add scenario to reproduce a known
	  bug.

Thu May 16 17:08:41 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0422.feature : Add scenario to reproduce a known
	  bug.

	* lib/adlint/cc1/interp.rb : Fix bad variable defining behavor in order
	  to correctly evaluate sizeof-expression that refers defining variable
	  in the initializer.

Thu May 16 11:00:07 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W1047.feature : Add scenario to reproduce a known
	  bug.

	* lib/adlint/cc1/syntax.rb : Fix bad expression-constancy check in
	  order to treat an expression derives an address-constant as a
	  constant-expression.

	* lib/adlint/cc1/interp.rb : Move runtime object manipulation interface
	  to InterpreterMediator.
	  Fix over-notification of implicit conversion in order not to check
	  the natural conversions suck as function to function-pointer
	  conversion.

	* lib/adlint/cc1/mediator.rb : Add convenient interface for
	  expression-constancy check and runtime object manipulations.
	* lib/adlint/cc1/expr.rb : Ditto.
	* lib/adlint/exam/c_builtin/cc1_check.rb : Ditto.

	* lib/adlint/cc1/enum.rb : Add enumerator name extraction interface for
	  expression-constancy check.

	* lib/adlint/cc1/object.rb : Move object conversion responsibilities
	  from Interpreter to TypedObject.
	  Add function name extraction interface for expression-constancy
	  check.

Mon May 13 19:19:31 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cpp/eval.rb : Fix infinite-loop problem of preprocessor
	  when the #include directive appears with undefined macro.
	* lib/adlint/error.rb : Ditto.
	* etc/mesg.d/core/ja_JP/messages.yml : Ditto.
	* etc/mesg.d/core/en_US/messages.yml : Ditto.

Mon May 13 17:41:41 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cpp/lexer.rb : Fix block comment handling in order not to
	  dive into nested part when a single slash character appears before
	  the comment terminator.

Mon May 13 16:29:47 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cpp/lexer.rb : Fix bad handling of block comments in order
	  not to assume comment terminator as a part of comment content.

	* lib/adlint/cpp/eval.rb : Fix abend problem of preprocessor when a
	  block comment is not terminated in the translation-unit.

Sun May 12 21:26:44 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/memo.rb : Revise cache name generation rule by the example
	  of Lisp naming conventions.

Sat May  4 01:29:26 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/memo.rb : Add `force_nullary' option to Memoizable#memoize
	  and improve performance of memoized unary method.
	* lib/adlint/cc1/domain.rb : Ditto.
	* lib/adlint/ld/object.rb : Ditto.
	* lib/adlint/location.rb : Ditto.

Fri Apr 12 13:06:31 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.ga : 3.0.4
	  - Fix abend problem of adlint_chk command.

Fri Apr 12 12:06:23 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 3.0.3
	  - Fix abend problem of adlint_chk command.

Fri Apr 12 11:56:59 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/analyzer.rb : Fix abend problem of adlint_chk command.

Thu Apr 12 10:48:11 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.ga : 3.0.2
	  - Add missing transparency between an array and a pointer to its
	    first element in expression evaluation.
	  - Add missing transparency between a function and a function pointer
	    in expression evaluation.
	  - Clarify W0100 message text.
	  - Refactor memoizing utility in preparation for performance tuning.

Wed Apr 10 17:18:42 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/memo.rb : Refactor memoizing utility in preparation for
	  performance improvement.

Tue Apr  2 17:22:02 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 3.0.1
	  - Add missing transparency between an array and a pointer to its
	    first element in expression evaluation.
	  - Add missing transparency between a function and a function pointer
	    in expression evaluation.
	  - Clarify W0100 message text.

Tue Apr  2 16:50:12 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* etc/mesg.d/c_builtin/ja_JP/messages.yml : Clarify W0100 message text.
	* etc/mesg.d/c_builtin/en_US/messages.yml : Ditto.

Mon Apr  1 15:55:03 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cc1/expr.rb : Add missing transparency between a function
	  and a function pointer in expression evaluation.
	* lib/adlint/cc1/interp.rb : Ditto.

Thu Apr  1 10:08:45 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cc1/expr.rb : Add missing transparency between an array
	  and a pointer to its first element in expression evaluation.
	* lib/adlint/cc1/interp.rb : Ditto.

Tue Mar 26 17:01:16 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.ga : 3.0.0
	  - Support pathname based code-exam selection.
	  - Improve performance of code-exams.
	  - Add ad-hoc traits schema migration for 3.0.0 release.
	  - Support message-class based code-check selection.
	  - Support annotation based message suppression.
	  - Fix traits object freezing in order not to over-freeze memoizing
	    objects.
	  - Rename `individual_selection' item in the traits file to
	    `individual_suppression'.
	  - Fix sma-time annotation parser in order to correctly evaluate
	    suppression specifiers including new-line characters.
	  - Fix cma-time annotation parser in order to correctly evaluate
	    suppression specifiers including new-line characters.
	  - Fix cma-time annotation parser in order to handle the location of
	    each annotation correctly.
	  - Add new field indicates whether the function is declared implicitly
	    or explicitly to DCL(F) record of the metrics file.
	  - Fix bad output validation that lines of the analysis result is
	    fewer than one of the specification.
	  - Add missing function reference notification after insertion of the
	    implicit function declaration.
	  - Fix missing function-call notification problem of the
	    control-breaking standard library functions such as exit(3).
	  - Fix W1063 code check in order to warn when the function returns
	    value of non-constant inconsistent enum-typed expression.
	  - Fix W1062 code check in order to warn when an enum type of the rhs
	    operand is not consistent to one of the lhs operand.
	  - Fix W1061 code check in order to warn when an enum type of the
	    argument expression is not consistent to one of the corresponding
	    parameter.
	  - Fix W0023 code check in order to warn only when the pointer operand
	    appears in an arithmetic expressions.
	  - Improve library interface to support concurrent analysis.
	  - Fix missing literal_prefix of LIT record for the octal-constant.
	  - Improve library interface not to use thread local storage in the
	    library core.
	  - Rename AdLint::C namespace to AdLint::Cc1 in order to distinguish
	    `c' as a language and `cc1' as a analysis phase.
	  - Add missing reference notification of the controlling expression
	    value in switch-statement.
	  - Fix fall-through logic of switch-statement in order to work
	    correctly with consecutive case and default labels.
	  - Fix normalized controlling-expression derivation logic of
	    switch-statement's case and default clause in order to work
	    correctly with consecutive case and default labels.
	  - Fix W0003 code check not to misunderstand that the switch-statement
	    has no default clause when the switch-statement contains
	    consecutive case and default labels.
	  - Fix switch-statement evaluation in order to correctly fall-through
	    when the switch-statement has consecutive case labels.
	  - Fix bad value domain management in order to correctly thin a value
	    domain of the terminating execution path.

Tue Mar 23 19:21:08 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.7.11
	  - Fix bad value domain management in order to correctly thin a value
	    domain of the terminating execution path.

Tue Mar 22 21:19:43 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cc1/interp.rb : Fix bad value domain management in order
	  to correctly thin a value domain of the terminating execution path.
	* lib/adlint/cc1/branch.rb : Ditto.
	* lib/adlint/cc1/option.rb : Ditto.
	* lib/adlint/cc1/ctrlexpr.rb : Ditto.
	* lib/adlint/cc1/value.rb : Ditto.

Tue Mar 20 13:27:15 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.7.10
	  - Fix switch-statement evaluation in order to correctly fall-through
	    when the switch-statement has consecutive case labels.

Tue Mar 19 16:44:41 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cc1/interp.rb : Fix switch-statement evaluation in order
	  to correctly fall-through when the switch-statement has consecutive
	  case labels.

Tue Mar 19 11:30:46 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.7.9
	  - Add missing reference notification of the controlling expression
	    value in switch-statement.
	  - Fix fall-through logic of switch-statement in order to work
	    correctly with consecutive case and default labels.
	  - Fix normalized controlling-expression derivation logic of
	    switch-statement's case and default clause in order to work
	    correctly with consecutive case and default labels.
	  - Fix W0003 code check not to misunderstand that the switch-statement
	    has no default clause when the switch-statement contains
	    consecutive case and default labels.

Mon Mar 18 16:05:49 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cc1/interp.rb : Fix fall-through logic of switch-statement
	  in order to work correctly with consecutive case and default labels.

	* lib/adlint/cc1/syntax.rb : Fix normalized controlling-expression
	  derivation logic of switch-statement's case and default clause in
	  order to work correctly with consecutive case and default labels.

	* lib/adlint/exam/c_builtin/cc1_check.rb : Fix W0003 code check not to
	  misunderstand that the switch-statement has no default clause when
	  the switch-statement contains consecutive case and default labels.

Fri Mar 15 17:40:52 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cc1/interp.rb : Add missing reference notification of the
	  controlling expression value in switch-statement.

Thu Mar 14 17:45:37 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.7.8
	  - Improve library interface not to use thread local storage in the
	    library core.
	  - Rename AdLint::C namespace to AdLint::Cc1 in order to distinguish
	    `c' as a language and `cc1' as a analysis phase.

Thu Mar 14 17:43:10 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/**/* : Rename AdLint::C namespace to AdLint::Cc1 in order
	  to distinguish `c' as a language and `cc1' as a analysis phase.

Tue Feb 19 14:19:46 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/**/* : Improve library interface not to use thread local
	  storage in the library core.
	* bin/adlint : Ditto.
	* bin/adlint_sma : Ditto.
	* bin/adlint_cma : Ditto.
	* bin/adlint_chk : Ditto.

Tue Feb 12 17:34:51 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.7.7
	  - Add missing function reference notification after insertion of the
	    implicit function declaration.
	  - Fix missing function-call notification problem of the
	    control-breaking standard library functions such as exit(3).
	  - Fix W1063 code check in order to warn when the function returns
	    value of non-constant inconsistent enum-typed expression.
	  - Fix W1062 code check in order to warn when an enum type of the rhs
	    operand is not consistent to one of the lhs operand.
	  - Fix W1061 code check in order to warn when an enum type of the
	    argument expression is not consistent to one of the corresponding
	    parameter.
	  - Fix W0023 code check in order to warn only when the pointer operand
	    appears in an arithmetic expressions.
	  - Improve library interface to support concurrent analysis.
	  - Fix missing literal_prefix of LIT record for the octal-constant.

Fri Feb  8 18:41:53 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/syntax.rb : Fix missing literal_prefix of LIT record for
	  the octal-constant.

Fri Feb  8 15:11:47 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/**/* : Improve library interface to support concurrent
	  analysis and refactor thoroughly.
	* bin/adlint : Ditto.
	* bin/adlint_sma : Ditto.
	* bin/adlint_cma : Ditto.
	* bin/adlint_chk : Ditto.

Mon Feb  4 15:58:49 2013  Rie Shima  <rkakuuchi@users.sourceforge.net>

	* features/code_check/W0023.feature : Add W0023 specification.
	* features/code_check/W0024.feature : Add W0024 specification.

Fri Feb  1 11:29:53 2013  Rie Shima  <rkakuuchi@users.sourceforge.net>

	* lib/adlint/exam/c_builtin/c_check.rb : Fix W0023 code check in order
	  to warn only when the pointer operand appears in an arithmetic
	  expressions.

Thu Jan 31 15:13:23 2013  Rie Shima  <rkakuuchi@users.sourceforge.net>

	* features/code_check/W0018.feature : Add W0018 specification.
	* features/code_check/W0019.feature : Add W0019 specification.
	* features/code_check/W0021.feature : Add W0021 specification.

Thu Jan 24 17:44:57 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W1057.feature : Add W1057 specification.

Thu Jan 24 14:56:55 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W1058.feature : Add W1058 specification.

Thu Jan 24 14:01:53 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W1059.feature : Add W1059 specification.

Thu Jan 24 13:38:43 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W1060.feature : Add W1060 specification.

Thu Jan 24 13:20:13 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W1061.feature : Add W1061 specification.

	* lib/adlint/exam/c_builtin/c_check.rb : Fix W1061 code check in order
	  to warn when an enum type of the argument expression is not
	  consistent to one of the corresponding parameter.

Thu Jan 24 11:27:28 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W1062.feature : Add W1062 specification.

	* lib/adlint/exam/c_builtin/c_check.rb : Fix W1062 code check in order
	  to warn when an enum type of the rhs operand is not consistent to one
	  of the lhs operand.

Thu Jan 24 11:00:16 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* etc/mesg.d/c_builtin/ja_JP/messages.yml : Clarify W1062 and W1063
	  message text.
	* share/doc/users_guide_ja.texi : Ditto.

Wed Jan 23 17:25:33 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/exam/c_builtin/c_check.rb : Fix W1063 code check in order
	  to warn when the function returns value of non-constant inconsistent
	  enum-typed expression.

	* features/code_check/W1064.feature : Fix W1064 specification.
	* features/code_check/W1063.feature : Fix W1063 specification.
	* features/code_check/W1065.feature : Fix W1065 specification.

Tue Jan 22 13:09:31 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/expr.rb : Fix missing function-call notification problem
	  of the control-breaking standard library functions such as exit(3).

Tue Jan 22 11:00:13 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/expr.rb : Add missing function reference notification
	  after insertion of the implicit function declaration.

Mon Jan 21 19:49:45 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.7.6
	  - Fix sma-time annotation parser in order to correctly evaluate
	    suppression specifiers including new-line characters.
	  - Fix cma-time annotation parser in order to correctly evaluate
	    suppression specifiers including new-line characters.
	  - Fix cma-time annotation parser in order to handle the location of
	    each annotation correctly.
	  - Add new field indicates whether the function is declared implicitly
	    or explicitly to DCL(F) record of the metrics file.
	  - Fix bad output validation that lines of the analysis result is
	    fewer than one of the specification.

Mon Jan 21 19:45:59 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/expr.rb : Correct to run on Ruby 1.9.3-p374 without
	  warnings.

Mon Jan 21 19:39:56 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/step_definitions/code_check_steps.rb : Fix bad output
	  validation that lines of the analysis result is fewer than one of the
	  specification.
	* features/support/env.rb : Ditto.

Mon Jan 21 18:40:33 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/expr.rb : Add notification about insertion of implicit
	  function declarations.
	* lib/adlint/c/interp.rb : Ditto.
	* lib/adlint/c/mediator.rb : Ditto.

	* lib/adlint/c/object.rb : Add FunctionTable#declare_implicitly for
	  implicit function declaration.

	* lib/adlint/code.rb : Add new field indicates whether the function is
	  declared implicitly or explicitly to DCL(F) record of the metrics
	  file.
	* lib/adlint/metric.rb : Ditto.
	* lib/adlint/report.rb : Ditto.
	* lib/adlint/ld/object.rb : Ditto.
	* lib/adlint/exam/c_builtin/c_code.rb : Ditto.

	* lib/adlint/exam/c_builtin/c_check.rb : Correct W0109 code check not
	  to warn about function-calls of same implicitly declared function.

	* lib/adlint/exam/c_builtin/ld_check.rb : Correct W0770 and W1037 code
	  checks to check only about explicitly declared functions.

Mon Jan 21 14:44:40 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/ld/phase.rb : Fix cma-time annotation parser in order to
	  handle the location of each annotation correctly.

Sat Jan 19 14:56:09 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/ld/phase.rb : Fix cma-time annotation parser in order to
	  correctly evaluate suppression specifiers including new-line
	  characters.

Fri Jan 18 15:30:41 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/annot.rb : Fix sma-time annotation parser in order to
	  correctly evaluate suppression specifiers including new-line
	  characters.

Thu Jan 17 17:14:58 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.7.5
	  - Rename `individual_selection' item in the traits file to
	    `individual_suppression'.

Thu Jan 17 16:57:27 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/traits.rb : Rename `individual_selection' item in the
	  traits file to `individual_suppression'.
	* lib/adlint/cpp/phase.rb : Ditto.
	* lib/adlint/ld/phase.rb : Ditto.
	* bin/adlintize : Ditto.
	* etc/conf.d/**/traits*.erb : Ditto.
	* features/support/env.rb : Ditto.
	* spec/conf.d/default_traits.yml : Ditto.

Thu Jan 17 13:57:11 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.7.4
	  - Fix traits object freezing in order not to over-freeze memoizing
	    objects.

Thu Jan 17 13:32:11 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/traits.rb : Fix traits object freezing in order not to
	  over-freeze memoizing objects.

Thu Jan 17 10:46:03 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.7.3
	  - Support annotation based message suppression.

Thu Jan 17 09:25:47 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/ld/phase.rb : Support cma-time evaluation of annotations
	  for message suppression.
	* lib/adlint/ld/typedef.rb : Ditto.
	* lib/adlint/ld/object.rb : Ditto.
	* lib/adlint/analyzer.rb : Ditto.

Thu Jan 15 18:47:43 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/report.rb : Simplify message output interface and support
	  deferred message output.
	* lib/adlint/exam.rb : Ditto.
	* lib/adlint/driver.rb : Ditto.

	* lib/adlint/supp.rb : Add annotation based message suppression.
	* MANIFEST : Ditto.

	* lib/adlint/message.rb : Bump pair of package name and message name to
	  new MessageId object.
	* lib/adlint/traits.rb : Ditto.
	* lib/adlint/error.rb : Ditto.
	* lib/adlint/exam.rb : Ditto.
	* lib/adlint/report.rb : Ditto.

	* lib/adlint/cpp/phase.rb : Support sma-time evaluation of annotations
	  for message suppression.
	* lib/adlint/analyzer.rb : Ditto.

	* lib/adlint/exam/c_builtin/c_check.rb : Revise output method of
	  context messages.
	* lib/adlint/exam/c_builtin/ld_check.rb : Ditto.

	* lib/adlint/exam.rb : Support deferred warning message output.
	* lib/adlint/phase.rb : Ditto.
	* lib/adlint/exam/c_builtin/cpp_check.rb : Ditto.

Thu Jan 10 15:06:15 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/annot.rb : Add inline annotation feature.
	* MANIFEST : Ditto.

Mon Jan  7 11:13:12 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.7.2
	  - Support message-class based code-check selection.

Mon Jan  7 09:35:21 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/exam.rb : Support message-class based code-check
	  selection.
	* lib/adlint/phase.rb : Ditto.
	* lib/adlint/message.rb : Ditto.
	* lib/adlint/traits.rb : Ditto.

Fri Dec 28 11:05:20 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.7.1
	  - Add ad-hoc traits schema migration for 3.0.0 release.

Fri Dec 28 10:58:26 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* bin/adlintize : Add ad-hoc traits schema migration for 3.0.0 release.

Thu Dec 27 14:40:05 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.7.0
	  - Support pathname based code-exam selection.
	  - Improve performance of code-exams.

Wed Dec 26 17:01:36 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/traits.rb : Revise format of the traits file to remove
	  `message_with_class' controls format of the message file.
	* lib/adlint/message.rb : Ditto.
	* etc/conf.d/**/traits*.erb : Ditto.
	* features/support/env.rb : Ditto.
	* spec/conf.d/default_traits.yml : Ditto.

Wed Dec 26 14:53:47 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/prelude.rb : Improve performance of methods of Pathname.

Tue Dec 25 16:07:02 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/metric.rb : Fix bad cma behavior that all locations of
	  source files are converted into absolute pathnames not relative
	  pathnames from cma's cwd.

Tue Dec 25 15:26:48 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/exam/c_builtin/c_check.rb : Fix W0117 and W0118 code check
	  to keep existing behavior after supporting pathname based code-exam
	  selection.

Tue Dec 25 14:38:38 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cpp/util.rb : Fix bad definition of basic source character
	  set table in order to correct W0576 code check.

Tue Dec 25 11:00:55 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/memo.rb : Add new file to split responsibilities for
	  method memoization.
	* lib/adlint/util.rb : Ditto.

	* lib/adlint/c/syntax.rb : Fix abend problem when an array parameter
	  declaration without identifier appears.

	* lib/adlint/metric.rb : Fix abend problem when the working directory
	  of cma is different with one of sma.
	* lib/adlint/ld/object.rb : Ditto.
	* lib/adlint/ld/typedef.rb : Ditto.

Fri Dec 21 18:43:45 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/location.rb : Improve performance of #in_analysis_target?
	  predicate method.

	* lib/adlint/util.rb : Fix Memoizable#memoize to support result caching
	  of predicate methods ends with `?'.

	* lib/adlint/prelude.rb : Override Pathname#realpath to cache result in
	  order to reduce file-system access.

Fri Dec 21 16:43:35 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/exam.rb : Support pathname based code-exam selection.
	* lib/adlint/exam/c_builtin/cpp_check.rb : Ditto.
	* lib/adlint/exam/c_builtin/cpp_check_shima.rb : Ditto.
	* lib/adlint/exam/c_builtin/cpp_code.rb : Ditto.
	* lib/adlint/exam/c_builtin/c_check.rb : Ditto.
	* lib/adlint/exam/c_builtin/c_check_shima.rb : Ditto.
	* lib/adlint/exam/c_builtin/c_code.rb : Ditto.
	* lib/adlint/exam/c_builtin/c_metric.rb : Ditto.
	* lib/adlint/exam/c_builtin/ld_check.rb : Ditto.
	* lib/adlint/exam/c_builtin/ld_metric.rb : Ditto.

	* lib/adlint/cpp/syntax.rb : Add #analysis_target? predicate method to
	  location aware entities.
	* lib/adlint/cpp/macro.rb : Ditto.
	* lib/adlint/c/syntax.rb : Ditto.
	* lib/adlint/c/seqp.rb : Ditto.
	* lib/adlint/ld/typedef.rb : Ditto.
	* lib/adlint/ld/object.rb : Ditto.

	* lib/adlint/location.rb : Add new file to split responsibilities for
	  code location management.
	* lib/adlint/token.rb : Ditto.
	* spec/adlint/location_spec.rb : Ditto.
	* MANIFEST : Ditto.

	* lib/adlint/prelude.rb : Add #identical? and #under? methods to
	  standard Pathname class.

Tue Dec 18 19:43:46 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/traits.rb : Revise format of the traits file to support
	  useless warning suppression and selective code checking.
	* lib/adlint/cpp/eval.rb : Ditto.
	* lib/adlint/cpp/subst.rb : Ditto.
	* lib/adlint/c/type.rb : Ditto.
	* etc/conf.d/**/traits*.erb : Ditto.
	* features/support/env.rb : Ditto.
	* spec/conf.d/default_traits.yml : Ditto.

Mon Dec 17 15:14:46 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.ga : 2.6.14
	  - Revise specification of code checks about implicit conversion from
	    or to `char' type to clarify warning's intention.
	  - Improve the library interface to easily integrate AdLint with other
	    products.
	  - Support lint and AdLint specific predefined macros;
	     `__LINT__', `lint', `__lint', `__lint__', `__ADLINT__', `adlint',
	     `__adlint' and `__adlint__'.
	  - Revise code checks' output specification of W0051, W0052, W0491,
	    W0492, W0703, W0704, W0770, W0771, W0787, W0788, W0789, W0790 and
	    W1037 to add context messages telling where is the problematic pair
	    identifiers.

Fri Dec 14 15:22:10 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.6.13
	  - Revise specification of code checks about implicit conversion from
	    or to `char' type to clarify warning's intention.
	  - Improve the library interface to easily integrate AdLint with other
	    products.
	  - Support lint and AdLint specific predefined macros;
	     `__LINT__', `lint', `__lint', `__lint__', `__ADLINT__', `adlint',
	     `__adlint' and `__adlint__'.
	  - Revise code checks' output specification of W0051, W0052, W0491,
	    W0492, W0703, W0704, W0770, W0771, W0787, W0788, W0789, W0790 and
	    W1037 to add context messages telling where is the problematic pair
	    identifiers.

Thu Dec 13 15:33:33 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/exam/c_builtin/c_check.rb : Revise code checks' output
	  specification of W0051, W0052, W0491, W0492, W0703, W0704, W0771,
	  W0787, W0788, W0789 and W0790 to add context messages telling where
	  is the problematic pair identifiers.

	* lib/adlint/exam/c_builtin/ld_check.rb : Revise code checks' output
	  specification of W0770, W0791 and W1037 to add context message
	  telling where is the problematic pair identifiers.

	* share/doc/users_guide_ja.texi : Update descriptions about revised
	  W0051, W0052, W0491, W0492, W0703, W0704, W0770, W0771, W0787, W0788,
	  W0789, W0790, W0791 and W1037 messages.
	* share/doc/users_guide_en.texi : Ditto.

Tue Dec 11 17:55:27 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cpp/macro.rb : Support lint and AdLint specific predefined
	  macros;
	   `__LINT__', `lint', `__lint', `__lint__', `__ADLINT__', `adlint',
	   `__adlint' and `__adlint__'.

Tue Dec 11 17:18:35 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint.rb : Improve the library interface to easily integrate
	  AdLint with other products.
	* lib/adlint/message.rb : Ditto.
	* bin/adlintize : Ditto.
	* bin/adlint : Ditto.
	* bin/adlint_sma : Ditto.
	* bin/adlint_cma : Ditto.
	* bin/adlint_chk : Ditto.
	* spec/spec_helper.rb : Ditto.
	* features/support/env.rb : Ditto.

Thu Dec  6 16:21:42 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/exam/c_builtin/c_check.rb : Revise specification of code
	  checks about implicit conversion from or to `char' type to clarify
	  warning's intention.
	* lib/adlint/exam/c_builtin/c_check_shima.rb : Ditto.

	* etc/mesg.d/c_builtin/ja_JP/messages.yml : Clarify warning message
	  texts of the implicit conversion.
	* etc/mesg.d/c_builtin/en_US/messages.yml : Ditto.

Thu Nov 29 15:49:50 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.ga : 2.6.12
	  - Fix abend problem of huge integer-constant evaluation.
	  - Correct to run on Ruby 2.0.0dev (r37962) without warnings.

Thu Nov 29 14:21:04 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/domain.rb : Correct to run on Ruby 2.0.0dev (r37962)
	  without warnings.

Fri Nov  9 13:54:59 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/type.rb : Fix abend problem of huge integer-constant
	  evaluation.

Thu Nov  8 13:01:03 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.ga : 2.6.10
	  - Fix code checks so that duplicative messages of the same ID at the
	    same location can be unique till the function step-in analysis is
	    supported.
	  - Fix W1069 detection to output a warning message at correct location
	    when an incomplete if-else statements chain appears in a complete
	    if-else-statement.
	  - Fix W0708 detection not to warn when an address of the controlling
	    variable is passes to a function in the controlling part of
	    for-statement.
	  - Fix W0534, W0585, W0611 and w0708 detections to correctly deduct
	    the controlling variable.
	  - Add missing notification of the controlling expression value
	    reference.
	  - Fix W0460 detection to output outermost variable name when the
	    referencing variable is an array element or a member of struct or
	    union.

Wed Nov  7 15:17:28 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.6.9
	  - Fix W0460 detection to output outermost variable name when the
	    referencing variable is an array element or a member of struct or
	    union.
	  - Add missing notification of the controlling expression value
	    reference and sequence-point at the end of the 1st expression
	    evaluation in the conditional-expression.

Wed Nov  7 14:10:54 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0599.feature : Add W0599 specification to
	  reproduce a known bug.

	* lib/adlint/c/interp.rb : Add missing notification of the controlling
	  expression value reference and sequence-point at the end of the 1st
	  expression evaluation in the conditional-expression.

Wed Nov  7 13:37:45 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/exam/c_builtin/c_check.rb : Fix W0460 detection to output
	  outermost variable name when the referencing variable is an array
	  element or a member of struct or union.

Wed Nov  7 11:19:41 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.6.7
	  - Move value reference notification of whole controlling expression
	    to notification suppressible section.

Wed Nov  7 11:15:59 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0599.feature : Add W0599 specification to
	  reproduce a known bug.

	* lib/adlint/c/ctrlexpr.rb : Move value reference notification of whole
	  controlling expression to notification suppressible section.

Wed Nov  7 10:01:25 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.6.5
	  - Add missing sequence-point notification after referencing value of
	    whole controlling expression in the controlling-statement.

Wed Nov  7 09:57:52 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0599.feature : Add W0599 specification to
	  reproduce a known bug.

	* lib/adlint/c/interp.rb : Add missing sequence-point notification
	  after referencing value of whole controlling expression in the
	  controlling-statement.

Tue Nov  6 16:48:25 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.6.3
	  - Fix code checks so that duplicative messages of the same ID at the
	    same location can be unique till the function step-in analysis is
	    supported.
	  - Fix W1069 detection to output a warning message at correct location
	    when an incomplete if-else statements chain appears in a complete
	    if-else-statement.
	  - Fix W0708 detection not to warn when an address of the controlling
	    variable is passes to a function in the controlling part of
	    for-statement.
	  - Fix W0534, W0585, W0611 and w0708 detections to correctly deduct
	    the controlling variable.
	  - Add missing notification of the controlling expression value
	    reference.

Tue Nov  6 16:17:03 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W1073.feature : Add W1073 specification to
	  reproduce a known bug.

	* lib/adlint/c/interp.rb : Add missing notification of the controlling
	  expression value reference.
	* lib/adlint/c/ctrlexpr.rb : Ditto.

Tue Nov  6 13:35:28 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0611.feature : Add W0611 specification.
	* MANIFEST : Ditto.

	* lib/adlint/exam/c_builtin/c_check.rb : Fix W0611 detection to
	  correctly deduct controlling variable of the iteration-statement.

Tue Nov  6 11:46:49 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0534.feature : Add W0534 specification.
	* MANIFEST : Ditto.

	* lib/adlint/exam/c_builtin/c_check.rb : Fix W0534 detection not to
	  warn about const variable appears in the controlling expression.

Tue Nov  6 10:57:45 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0585.feature : Add W0585 specification.
	* MANIFEST : Ditto.

	* lib/adlint/exam/c_builtin/c_check.rb : Fix W0585 detection not to
	  warn about const variable appears in the controlling expression.

Mon Nov  5 15:17:58 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0708.feature : Add W0708 specification.
	* MANIFEST : Ditto.

	* lib/adlint/exam/c_builtin/c_check.rb : Fix W0708 detection not to
	  warn when an address of the controlling variable is passes to a
	  function in the controlling part of for-statement.

Fri Nov  2 17:21:20 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W1069.feature : Add W1069 specification to
	  reproduce a known bug.

	* lib/adlint/exam/c_builtin/c_check_shima.rb : Fix W1069 detection to
	  output a warning message at correct location when an incomplete
	  if-else statements chain appears in a complete if-else-statement.

Thu Nov  1 17:17:10 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/exam/c_builtin/c_check.rb : Fix code checks so that
	  duplicative messages of the same ID at the same location can be
	  unique till the function step-in analysis is supported.
	* lib/adlint/exam/c_builtin/c_check_shima.rb : Ditto.

Wed Oct 31 10:16:44 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.ga : 2.6.2
	  - Fix compound-assignment-expression evaluation not to propagate
	    initialization status of the rhs operand.
	  - Fix bad traits file parser in order to parse compound pathname
	    strings correctly on mswin.
	  - Clarify W0082 message text by adding underlying type name of the
	    operand.
	  - Clarify W0578 and W0579 message texts by adding source and
	    destination type names of the conversion.
	  - Clarify W0650 message text by adding lhs type name of the
	    shift-expression.
	  - Clarify W0719 message text by adding lhs underlying type name of
	    the shift-expression.
	  - Clarify W1051 and W1052 message texts by adding type name of the
	    arithmetic expression.
	  - Fix the interpreter to place sequence-point at the end of the
	    return-statement evaluation.

Tue Oct 30 15:08:22 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.6.1
	  - Fix compound-assignment-expression evaluation not to propagate
	    initialization status of the rhs operand.
	  - Fix bad traits file parser in order to parse compound pathname
	    strings correctly on mswin.
	  - Clarify W0082 message text by adding underlying type name of the
	    operand.
	  - Clarify W0578 and W0579 message texts by adding source and
	    destination type names of the conversion.
	  - Clarify W0650 message text by adding lhs type name of the
	    shift-expression.
	  - Clarify W0719 message text by adding lhs underlying type name of
	    the shift-expression.
	  - Clarify W1051 and W1052 message texts by adding type name of the
	    arithmetic expression.
	  - Fix the interpreter to place sequence-point at the end of the
	    return-statement evaluation.

Tue Oct 30 15:05:37 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0599.feature : Add W0599 specification.
	* MANIFEST : Ditto.

	* lib/adlint/c/interp.rb : Fix the interpreter to place sequence-point
	  at the end of the return-statement evaluation.

Mon Oct 29 19:11:17 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/exam/c_builtin/c_check.rb : Clarify W1052 message text by
	  adding type name of the arithmetic expression.
	* etc/mesg.d/c_builtin/ja_JP/messages.yml : Ditto.
	* etc/mesg.d/c_builtin/en_US/messages.yml : Ditto.
	* share/doc/users_guide_ja.texi : Ditto.
	* share/doc/users_guide_en.texi : Ditto.

Mon Oct 29 18:56:58 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/exam/c_builtin/c_check.rb : Clarify W1051 message text by
	  adding type name of the arithmetic expression.
	* etc/mesg.d/c_builtin/ja_JP/messages.yml : Ditto.
	* etc/mesg.d/c_builtin/en_US/messages.yml : Ditto.
	* share/doc/users_guide_ja.texi : Ditto.
	* share/doc/users_guide_en.texi : Ditto.

Mon Oct 29 18:46:23 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/exam/c_builtin/c_check.rb : Clarify W0719 message text by
	  adding lhs underlying type name of the shift-expression.
	* etc/mesg.d/c_builtin/ja_JP/messages.yml : Ditto.
	* etc/mesg.d/c_builtin/en_US/messages.yml : Ditto.
	* share/doc/users_guide_ja.texi : Ditto.
	* share/doc/users_guide_en.texi : Ditto.

Mon Oct 29 18:34:18 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/exam/c_builtin/c_check.rb : Clarify W0650 message text by
	  adding lhs type name of the shift-expression.
	* etc/mesg.d/c_builtin/ja_JP/messages.yml : Ditto.
	* etc/mesg.d/c_builtin/en_US/messages.yml : Ditto.
	* share/doc/users_guide_ja.texi : Ditto.
	* share/doc/users_guide_en.texi : Ditto.

Mon Oct 29 17:59:15 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/exam/c_builtin/c_check.rb : Clarify W0579 message text by
	  adding source and destination type names of the conversion.
	* etc/mesg.d/c_builtin/ja_JP/messages.yml : Ditto.
	* etc/mesg.d/c_builtin/en_US/messages.yml : Ditto.
	* share/doc/users_guide_ja.texi : Ditto.
	* share/doc/users_guide_en.texi : Ditto.

Mon Oct 29 17:43:41 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/exam/c_builtin/c_check.rb : Clarify W0578 message text by
	  adding source and destination type names of the conversion.
	* etc/mesg.d/c_builtin/ja_JP/messages.yml : Ditto.
	* etc/mesg.d/c_builtin/en_US/messages.yml : Ditto.
	* share/doc/users_guide_ja.texi : Ditto.
	* share/doc/users_guide_en.texi : Ditto.

Mon Oct 29 17:14:25 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/exam/c_builtin/c_check.rb : Clarify W0082 message text by
	  adding underlying type name of the operand.
	* etc/mesg.d/c_builtin/ja_JP/messages.yml : Ditto.
	* etc/mesg.d/c_builtin/en_US/messages.yml : Ditto.
	* share/doc/users_guide_ja.texi : Ditto.
	* share/doc/users_guide_en.texi : Ditto.

Mon Oct 29 15:21:18 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/traits.rb : Fix bad traits file parser in order to parse
	  compound pathname strings correctly on mswin.
	* lib/adlint/util.rb : Ditto.

Mon Oct 29 14:37:19 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/expr.rb : Fix compound-assignment-expression evaluation
	  not to propagate initialization status of the rhs operand.

Mon Oct 22 15:02:29 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.ga : 2.6.0
	  - Fix W0609 and w0610 detections not to over-warn about explicit
	    controlling expressions of for-statements by adding workarounds for
	    the interpreter.
	  - Fix W0088 detection not to warn about controlling expression of
	    for-statement.
	  - Fix W0723 detection in order to correctly warn about signed `-'
	    expression.
	  - Fix bad parameter type convertibility check and bad type
	    convertibility check of pointer to arbitrary types to void-pointer.
	  - Revise string representation of typedefed type so that message and
	    metric show typedefed type name itself.
	  - Clarify W9003 message text by adding destination type name of the
	    implicit conversion.

Mon Oct 22 11:07:37 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.5.3
	  - Clarify W9003 message text by adding destination type name of the
	    implicit conversion.

Mon Oct 22 10:59:09 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/exam/c_builtin/c_check.rb : Clarify W9003 message text by
	  adding destination type name of the implicit conversion.
	* etc/mesg.d/c_builtin/ja_JP/messages.yml : Ditto.
	* etc/mesg.d/c_builtin/en_US/messages.yml : Ditto.
	* share/doc/users_guide_ja.texi : Ditto.
	* share/doc/users_guide_en.texi : Ditto.

Fri Oct 19 19:33:19 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.5.2
	  - Fix W0582, W0583, W0584 and W9003 detections to warn about constant
	    pointers except for NULL.

Fri Oct 19 19:26:31 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/conv.rb : Fix #untyped_pointer_conversion? predicate
	  method to support consideration about converting value.

	* features/code_check/W0582.feature : Add W0582 specification to
	  reproduce a known bug.
	* features/code_check/W0583.feature : Add W0583 specification to
	  reproduce a known bug.
	* features/code_check/W0584.feature : Add W0584 specification to
	  reproduce a known bug.
	* features/code_check/W9003.feature : Add W9003 specification to
	  reproduce a known bug.

	* lib/adlint/exam/c_builtin/c_check.rb : Fix W0582, W0583, W0584 and
	  W9003 detections to warn about constant pointers except for NULL.

Fri Oct 19 16:19:35 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.5.1
	  - Fix W0584 detection not to warn when the constant argument is
	    convertible to the corresponding parameter.

Fri Oct 19 14:59:29 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0584.feature: Add W0584 specification to
	  reproduce a known bug.

	* lib/adlint/exam/c_builtin/c_check.rb : Fix W0584 detection not to
	  warn when the constant argument is convertible to the corresponding
	  parameter.

Fri Oct 19 13:43:34 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.5.0
	  - Fix W0582, W0583 and W0584 detections not to warn about unmatched
	    argument which is considerd as untyped constant pointer such as
	    NULL or 0.

Fri Oct 19 13:33:28 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0582.feature : Add W0582 specification to
	  reproduce a known bug.
	* MANIFEST : Ditto.

	* features/code_check/W0583.feature : Add W0583 specification to
	  reproduce a known bug.

	* features/code_check/W0584.feature : Add W0584 specification to
	  reproduce a known bug.
	* MANIFEST : Ditto.

	* lib/adlint/exam/c_builtin/c_check.rb : Fix W0582, W0583 and W0584
	  detections not to warn about unmatched argument which is considerd as
	  untyped constant pointer such as NULL or 0.

Fri Oct 19 11:25:11 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/conv.rb : Move #untyped_pointer_conversion? predicate
	  method to C::Conversion module from CBuiltin::W9003 class.
	* lib/adlint/exam/c_builtin/c_check.rb : Ditto.

Thu Oct 18 16:45:28 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.4.17
	  - Fix W0088 detection not to warn about argument expressions in a
	    function-call-expression.

Thu Oct 18 16:35:48 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0088.feature : Add W0088 specification to
	  reproduce a known bug.

	* lib/adlint/exam/c_builtin/c_check.rb : Fix W0088 detection not to
	  warn about argument expressions in a function-call-expression.

Thu Oct 18 15:17:34 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.4.15
	  - Fix expression-statement evaluation in order to notify end of the
	    evaluation at all times.

Thu Oct 18 15:09:13 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/interp.rb : Fix expression-statement evaluation in order
	  to notify end of the evaluation at all times.

Thu Oct 18 14:07:33 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.4.13
	  - Revise W9003 detection not to warn about implicit conversion of
	    untyped constant pointers such as NULL or 0.
	  - Fix W0088 detection not to skip checking when an outmost expression
	    has side-effect but it contains problematic logical-and-expression
	    or logical-or-expression.

Thu Oct 18 14:03:00 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0088.feature : Add W0088 specification to
	  reproduce a known bug.

	* lib/adlint/exam/c_builtin/c_check.rb : Fix W0088 detection not to
	  skip checking when an outmost expression has side-effect but it
	  contains problematic logical-and-expression or logical-or-expression.

Thu Oct 18 13:19:22 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W9003.feature : Add W9003 specification of
	  implicit convertion of constant pointers.

	* lib/adlint/exam/c_builtin/c_check.rb : Revise W9003 detection not to
	  warn about implicit conversion of untyped constant pointers such as
	  NULL or 0.

Wed Oct 17 18:28:03 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.4.11
	  - Fix W0609 and w0610 detections not to over-warn about explicit
	    controlling expressions of for-statements by adding workarounds for
	    the interpreter.
	  - Fix W0088 detection not to warn about controlling expression of
	    for-statement.
	  - Fix W0723 detection in order to correctly warn about signed `-'
	    expression.
	  - Fix bad parameter type convertibility check and bad type
	    convertibility check of pointer to arbitrary types to void-pointer.
	  - Revise string representation of typedefed type so that message and
	    metric show typedefed type name itself.

Wed Oct 17 18:08:20 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/type.rb : Revise string representation of typedefed type
	  so that message and metric show typedefed type name itself.

Wed Oct 17 14:48:23 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W9003.feature : Add W9003 specification to
	  reproduce a known bug.

	* lib/adlint/c/type.rb : Fix bad parameter type convertibility check
	  and bad type convertibility check of pointer to arbitrary types to
	  void-pointer.

Wed Oct 17 13:30:01 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0722.feature : Add W0722 specification.
	* MANIFEST : Ditto.

	* lib/adlint/exam/c_builtin/c_check.rb : Fix W0723 detection in order
	  to correctly warn about signed `-' expression.

Tue Oct 16 18:44:33 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0088.feature : Add W0088 specification.
	* MANIFEST : Ditto.

	* lib/adlint/c/interp.rb : Add notification about expression-statement
	  evaluation.
	* lib/adlint/c/mediator.rb : Ditto.

	* lib/adlint/exam/c_builtin/c_check.rb : Fix W0088 detection not to
	  warn about controlling expression of a for-statement.

Tue Oct 16 16:39:52 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/exam/c_builtin/c_check.rb : Fix W0609 and w0610 detections
	  not to over-warn about explicit controlling expressions of
	  for-statements by adding workarounds for the abstract interpreter.
	* lib/adlint/c/syntax.rb : Ditto.
	* lib/adlint/c/interp.rb : Ditto.

Mon Oct 15 13:27:34 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.ga : 2.4.10
	  - Add value version rollback feature so that the value version
	    management is correctly given up at the end of the branch whose
	    controlling expression is too complex.
	  - Fix value version management in order to completely rollback all
	    changes to values of all global variables.
	  - Revise evaluation of sizeof-expression and alignof-expression not
	    to evaluate operand expression actually.
	  - Fix W0488, W0489, W0490, W0495, W0496, W0497, W0498, W0499, W0500,
	    W0501 and W0502 detections to warn when a problematic expression is
	    grouped entirely.

Fri Oct 12 17:39:30 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.4.9
	  - Fix W0488 detection to warn about a standalone
	    array-subscript-expression as an operand of a
	    logical-and-expression or a logical-or-expression.
	  - Fix W0499, W0500, W0501 and W0502 detections to warn when a
	    problematic expression is grouped entirely.
	  - Fix interpreter to add missing notification about evaluation of the
	    sizeof-expression.

Fri Oct 12 17:21:38 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0655.feature : Add W0655 specification.
	* MANIFEST : Ditto.

	* lib/adlint/c/expr.rb : Fix interpreter to add missing notification
	  about evaluation of the sizeof-expression.
	* lib/adlint/c/interp.rb : Ditto.

Fri Oct 12 15:07:28 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0502.feature : Add W0502 specification.
	* MANIFEST : Ditto.

	* lib/adlint/exam/c_builtin/c_check.rb : Fix W0502 detection to warn
	  when a problematic expression is grouped entirely.

Fri Oct 12 14:27:12 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0501.feature : Add W0501 specification.
	* MANIFEST : Ditto.

	* lib/adlint/exam/c_builtin/c_check.rb : Fix W0501 detection to warn
	  when a problematic expression is grouped entirely.

Fri Oct 12 13:59:59 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0500.feature : Add W0500 specification.
	* MANIFEST : Ditto.

	* lib/adlint/exam/c_builtin/c_check.rb : Fix W0500 detection to warn
	  when a problematic expression is grouped entirely.

Fri Oct 12 13:17:07 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0499.feature : Add W0499 specification.
	* MANIFEST : Ditto.

	* lib/adlint/exam/c_builtin/c_check.rb : Fix W0499 detection to warn
	  when a problematic expression is grouped entirely.

Fri Oct 12 10:55:04 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0488.feature : Add W0488 specification to
	  reproduce a known bug.

	* lib/adlint/exam/c_builtin/c_check.rb : Fix W0488 detection to warn
	  about a standalone array-subscript-expression as an operand of a
	  logical-and-expression or a logical-or-expression.

Thu Oct 11 21:00:18 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.4.7
	  - Add value version rollback feature so that the value version
	    management is correctly given up at the end of the branch whose
	    controlling expression is too complex.
	  - Fix value version management in order to completely rollback all
	    changes to values of all global variables.
	  - Revise evaluation of sizeof-expression and alignof-expression not
	    to evaluate operand expression actually.
	  - Fix W0488, W0489, W0490, W0495, W0496, W0497 and W0498 detections
	    to warn when a problematic expression is grouped entirely.

Thu Oct 11 20:49:03 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0497.feature : Add W0497 specification.
	* MANIFEST : Ditto.

	* lib/adlint/exam/c_builtin/c_check.rb : Fix W0497 detection to warn
	  when a problematic expression is grouped entirely.

Thu Oct 11 20:19:37 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0496.feature : Add W0496 specification.
	* MANIFEST : Ditto.

	* lib/adlint/exam/c_builtin/c_check.rb : Fix W0496 detection to warn
	  when a problematic expression is grouped entirely.

Thu Oct 11 19:57:17 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0495.feature : Add W0495 specification.
	* MANIFEST : Ditto.

	* lib/adlint/exam/c_builtin/c_check.rb : Fix W0495 detection to warn
	  when a problematic expression is grouped entirely.

Thu Oct 11 19:31:31 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0490.feature : Add W0490 specification.
	* MANIFEST : Ditto.

	* lib/adlint/exam/c_builtin/c_check.rb : Fix W0490 detection to warn
	  when a problematic expression is grouped entirely.

Thu Oct 11 18:44:11 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0489.feature : Add W0489 specification.
	* MANIFEST : Ditto.

	* lib/adlint/exam/c_builtin/c_check.rb : Fix W0489 detection to warn
	  when a problematic expression is grouped entirely.

Thu Oct 11 18:10:53 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0488.feature : Add W0488 specification.
	* MANIFEST : Ditto.

	* lib/adlint/exam/c_builtin/c_check.rb : Fix W0488 detection to warn
	  when a problematic expression is grouped entirely.

Thu Oct 11 17:19:40 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0498.feature : Add W0498 specification.
	* MANIFEST : Ditto.

	* lib/adlint/exam/c_builtin/c_check.rb : Fix W0498 detection to warn
	  when a problematic expression is grouped entirely.

Thu Oct 11 14:36:53 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/interp.rb : Revise evaluation of sizeof-expression and
	  alignof-expression not to evaluate operand expression actually.

Thu Oct 11 11:27:46 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/value.rb : Fix value version management in order to
	  completely rollback all changes to values of all global variables.

Wed Oct 10 18:14:38 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/value.rb : Add value version rollback feature so that
	  the value version management is correctly given up at the end of the
	  branch whose controlling expression is too complex.
	* lib/adlint/c/branch.rb : Ditto.
	* lib/adlint/c/environ.rb : Ditto.
	* lib/adlint/c/object.rb : Ditto.

Tue Oct  9 10:49:00 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.ga : 2.4.6
	  - Fix bad controlling statement evaluation in order to manage value
	    domain of the controlling variable correctly.
	  - Fix bad argument type specification of `%s', `%p' and `%n'
	    conversion-specifiers of *printf standard functions in order to
	    detect W0635 correctly.

Fri Oct  5 16:54:09 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.4.5
	  - Fix bad argument type specification of `%s', `%p' and `%n'
	    conversion-specifiers of *printf standard functions in order to
	    detect W0635 correctly.

Fri Oct  5 15:07:03 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0635.feature : Add W0635 specification.
	* MANIFEST : Ditto.

	* lib/adlint/c/format.rb : Fix bad argument type specification of `%s',
	  `%p' and `%n' conversion-specifiers of *printf standard functions in
	  order to detect W0635 correctly.

Fri Oct  5 15:01:55 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* spec/adlint/c/type_spec.rb : Add `==' and `convertible?' unit
	  specifications of QualifiedType.

	* lib/adlint/c/type.rb : Fix bad type convertibility check of
	  cv-qualified types.

Fri Oct  5 11:11:56 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.4.3
	  - Fix abend problem of iteration-statement evaluation.

Fri Oct  5 11:02:33 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/interp.rb : Fix abend problem of iteration-statement
	  evaluation.
	* lib/adlint/c/branch.rb : Ditto.
	* lib/adlint/c/option.rb : Ditto.

Thu Oct  4 18:11:13 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.4.1
	  - Fix bad controlling statement evaluation in order to manage value
	    domain of the controlling variable correctly.

Thu Oct  4 17:56:03 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/syntax.rb : Add expression transformation in order to
	  correctly deduct controlling expression of an iteration-statement.
	* lib/adlint/c/operator.rb : Ditto.

	* lib/adlint/c/object.rb : Remove FrozenValue value wrapper.
	* lib/adlint/c/ctrlexpr.rb : Ditto.

	* lib/adlint/c/interp.rb : Fix bad controlling statement evaluation to
	  manage value domain of the controlling variable correctly.

Fri Sep 21 15:00:34 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.ga : 2.4.0
	  - Fix W0425 detection not to warn when a selection-statement or a
	    iteration-statement is written in a line.
	  - Fix evaluation of sizeof expression to return `size_t' value or
	    `unsigned long' value if size_t is not declared.
	  - Fix evaluation of function-definition in order to refer symbols of
	    return type and parameter types.
	  - Revise format of the traits file in preparation for supporting
	    warning suppression of 3rd-party headers imported in the target
	    project tree.
	  - Support compound pathname as an entry in the directory pathname
	    list item of the traits file.
	  - Fix abend problem when no examination package name is specified in
	    the traits file.
	  - Fix W0100 detection not to over-warn about variables updated in an
	    iteration-statement.
	  - Fix bad preprocess behavior when an empty argument is given to a
	    function-like macro call which applies `##' operator to the empty
	    perameter.
	  - Fix #include directive evaluation in order to correctly read header
	    file with an absolute path when any include_path items are not
	    specified.

Fri Sep 21 13:00:47 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.3.4
	  - Fix #include directive evaluation in order to correctly read header
	    file with an absolute path when any include_path items are not
	    specified.

Fri Sep 21 12:57:40 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cpp/eval.rb : Fix #include directive evaluation in order
	  to correctly read header file with an absolute path when any
	  include_path items are not specified.

Fri Sep 21 10:07:05 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.3.3
	  - Fix W0692 detection in order to warn about no argument
	    function-like macro call which has one parameter.

Fri Sep 21 09:50:13 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/exam/c_builtin/cpp_check.rb : Fix W0692 detection in order
	  to warn about no argument function-like macro call which has one
	  parameter.

Fri Sep 21 05:10:01 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.3.2
	  - Fix bad macro substitution in order not to apply a function-like
	    macro without parameters when value of a token is same as that
	    function-like macro name.

Fri Sep 21 04:25:22 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cpp/macro.rb : Fix bad macro substitution in order not to
	  apply a function-like macro without parameters when value of a token
	  is same as that function-like macro name.

Thu Sep 20 19:45:06 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.3.1
	  - Fix W0100 detection not to over-warn about variables updated in an
	    iteration-statement.
	  - Fix bad preprocess behavior when an empty argument is given to a
	    function-like macro call which applies `##' operator to the empty
	    perameter.

Thu Sep 20 19:07:54 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cpp/macro.rb : Fix bad preprocess behavior when an empty
	  argument is given to a function-like macro call which applies `##'
	  operator to the empty perameter.

Thu Sep 20 11:22:17 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/exam/c_builtin/c_check.rb : Fix W0100 detection not to
	  over-warn about variables updated in an iteration-statement.

Wed Sep 19 17:13:01 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.3.0
	  - Fix evaluation of sizeof expression to return `size_t' value or
	    `unsigned long' value if size_t is not declared.
	  - Fix evaluation of function-definition in order to refer symbols of
	    return type and parameter types.
	  - Revise format of the traits file in preparation for supporting
	    warning suppression of 3rd-party headers imported in the target
	    project tree.
	  - Support compound pathname as an entry in the directory pathname
	    list item of the traits file.
	  - Fix abend problem when no examination package name is specified in
	    the traits file.

Wed Sep 19 15:41:38 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* share/doc/users_guide_ja.texi : Update descriptions about revised
	  traits file format.
	* share/doc/users_guide_en.texi : Ditto.

Wed Sep 19 14:19:24 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/util.rb : Fix abend problem when no examination package
	  name is specified in the traits file.

Wed Sep 19 14:00:03 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/traits.rb : Support compound pathname as an entry in the
	  directory pathname list item of the traits file.

Wed Sep 19 13:26:48 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/traits.rb : Revise format of the traits file in
	  preparation for supporting warning suppression of 3rd-party headers
	  imported in the target project tree.
	* etc/conf.d/**/traits.erb : Ditto.
	* spec/conf.d/default_traits.yml : Ditto.
	* features/support/env.rb : Ditto.

	* bin/adlintize : Add ad-hoc traits schema migration for 2.4.0 release.

Tue Sep 18 16:06:40 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W9003.feature : Add W9003 specification to
	  reproduce a known bug.

	* features/code_check/W0070.feature : Add W0070 specification.
	* features/code_check/W0071.feature : Add W0071 specification.
	* MANIFEST : Add W0070 and W0071 specifications.

	* lib/adlint/c/expr.rb : Fix evaluation of sizeof expression to return
	  `size_t' value or `unsigned long' value if size_t is not declared.

	* lib/adlint/c/interp.rb : Fix evaluation of function-definition in
	  order to refer symbols of return type and parameter types.

Tue Sep 18 13:45:50 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.2.5
	  - Fix W0425 detection not to warn about one-liner typedef declaration
	    with struct or union type declaration redundantly.

Tue Sep 18 13:38:22 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0425.feature : Add W0425 specification to
	  reproduce a known bug.

	* lib/adlint/exam/c_builtin/c_check.rb : Fix W0425 detection not to
	  warn about one-liner typedef declaration with struct or union type
	  declaration redundantly.

Fri Sep 14 14:05:38 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.2.3
	  - Fix W0425 detection to warn about one-liner struct or union member
	    declarations.

Fri Sep 14 13:43:23 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0425.feature : Add W0425 specification to
	  reproduce a known bug.

	* lib/adlint/exam/c_builtin/c_check.rb : Fix W0425 detection to warn
	  about one-liner struct or union member declarations.

Thu Sep 13 17:53:53 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.2.1
	  - Fix W0425 detection not to warn when a selection-statement or a
	    iteration-statement is written in a line.

Thu Sep 13 13:32:44 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0425.feature : Add W0425 specification.
	* MANIFEST : Ditto.

	* lib/adlint/exam/c_builtin/c_check.rb : Fix W0425 detection not to
	  warn when a selection-statement or a iteration-statement is written
	  in a line.

Wed Sep 12 10:59:42 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.ga : 2.2.0
	  - Fix W0431 and W0432 detections not to warn about displaced
	    beginning of the line tokens following upon a function-like macro
	    call.
	  - Fix W0787 detection not to warn about a definition of the local
	    variable with type which is different from one of previously
	    defined variable in the other scope.
	  - Clarify W0025 and W0026 message texts.

Tue Sep 11 16:00:48 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.1.2
	  - Clarify W0025 and W0026 message texts.

Tue Sep 11 15:51:13 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/exam/c_builtin/cpp_check.rb : Clarify W0025 and W0026
	  message texts.
	* etc/mesg.d/c_builtin/ja_JP/messages.yml : Ditto.
	* etc/mesg.d/c_builtin/en_US/messages.yml : Ditto.
	* share/doc/users_guide_ja.texi : Ditto.
	* share/doc/users_guide_en.texi : Ditto.

Tue Sep 11 15:09:15 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.1.1
	  - Fix W0787 detection not to warn about a definition of the local
	    variable with type which is different from one of previously
	    defined variable in the other scope.

Tue Sep 11 14:32:17 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0787.feature : Add W0787 specification.
	* MANIFEST : Ditto.

	* lib/adlint/exam/c_builtin/c_check.rb : Fix W0787 detection not to
	  warn about a definition of the local variable with type which is
	  different from one of previously defined variable in the other scope.

Tue Sep 11 13:03:09 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.1.0
	  - Fix W0431 and W0432 detections not to warn about displaced
	    beginning of the line tokens following upon a function-like macro
	    call.

Tue Sep 11 11:26:05 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/code_check/W0431.feature : Add W0431 specification.
	* features/code_check/W0432.feature : Add W0432 specification.
	* MANIFEST : Add W0431 and W0432 specifications.

	* lib/adlint/cpp/macro.rb : Fix function-like macro replacement in
	  order to correctly locate substituted argument tokens.
	* lib/adlint/exam/c_builtin/c_check.rb : Fix W0431 and W0432 detections
	  not to warn about displaced beginning of the line tokens following
	  upon a function-like macro call.

Thu Sep  6 15:54:41 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.ga : 2.0.10
	  - Revise value domain management in order not to over-thin value
	    domains of the controlling variables in complexly compounded
	    controlling expression.
	  - Support environment variable substitution in the traits file.

Thu Sep  6 11:52:08 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.0.9
	  - Support environment variable substitution in the traits file.

Thu Sep  6 11:36:26 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/prelude.rb : Support environment variable substitution in
	  the traits file.

Wed Sep  5 16:40:17 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.0.7
	  - Revise value domain management in order not to over-thin value
	    domains of the controlling variables in complexly compounded
	    controlling expression.

Wed Sep  5 16:11:42 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/branch.rb : Revise value domain management in order not
	  to over-thin value domains of the controlling variables in complexly
	  compounded controlling expression.

	* lib/adlint/c/ctrlexpr.rb : Add #complexly_compounded? predicate
	  method.
	* lib/adlint/c/syntax.rb : Ditto.

Thu Aug 30 09:56:15 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.ga : 2.0.6
	  - Fix huge memory consumption problem when a multi-dimensional
	    variable length array is defined without fully narrowed length.
	  - Revise variable cross-reference extraction in order to output only
	    about the outmost-variable when its element or member is accessed.

Wed Aug 29 17:36:59 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.0.5
	  - Revise variable cross-reference extraction in order to output only
	    about the outmost-variable when its element or member is accessed.

Wed Aug 29 17:26:26 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/exam/c_builtin/c_code.rb : Revise variable cross-reference
	  extraction in order to output only about the outmost-variable when
	  its element or member is accessed.

Wed Aug 29 13:02:43 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.0.3
	  - Fix huge memory consumption problem when a multi-dimensional
	    variable length array is defined without fully narrowed length.

Wed Aug 29 11:45:48 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/value.rb : Revise value sampling behavior of the value
	  domain.
	* lib/adlint/c/type.rb : Fix array size evaluation not to fall below 0.

Tue Aug 28 10:28:41 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.ga : 2.0.2
	  - Fix bad group skipping problem of the preprocessor when a
	    conditional inclusion directive is commented out in the skipping
	    group.
	  - Add templates for gcc 4.6.3-1ubuntu5 on Ubuntu 12.04 LTS (64bit).

Mon Aug 27 16:54:52 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 2.0.1
	  - Fix bad group skipping problem of the preprocessor when a
	    conditional inclusion directive is commented out in the skipping
	    group.
	  - Add templates for gcc 4.6.3-1ubuntu5 on Ubuntu 12.04 LTS (64bit).

Mon Aug 27 16:49:19 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* etc/conf.d/x86_64-ubuntu_12.04/traits-gcc_4.6.3.erb : Add templates
	  for gcc 4.6.3-1ubuntu5 on Ubuntu 12.04 LTS (64bit).
	* etc/conf.d/x86_64-ubuntu_12.04/cinit-gcc_4.6.3.erb : Ditto.

Mon Aug 27 15:53:32 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cpp/lexer.rb : Fix bad group skipping problem of the
	  preprocessor when a conditional inclusion directive is commented out
	  in the skipping group.

	* lib/adlint/lexer.rb : Add StringContent#_debug_inspect method in
	  order to ease debugging.

Wed Aug 22 14:41:15 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.ga : 2.0.0
	  - In preparation for using optional source code examination packages,
	    refine internal module structure and revise format of the traits
	    file.
	  - Revise format of the traits file and the message definition file in
	    preparation for supporting selective code check feature.
	  - Revise format of the traits file in preparation for supporting
	    warning suppression of unconcerned headers such as system headers.
	  - Add many more functional specifications of builtin code checks.

Wed Aug 22 11:41:15 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 1.19.6
	  - Fix bad schema migraion with space characters between message ID
	    and `:' in the change_list.

Wed Aug 22 11:36:02 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* bin/adlintize : Fix bad schema migraion with space characters between
	  message ID and `:' in the change_list.

Wed Aug 22 11:05:53 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 1.19.5
	  - Add ad-hoc traits schema migration to adlintize command.

Wed Aug 22 10:59:34 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* bin/adlintize : Add ad-hoc schema migration of the traits file.

Tue Aug 21 16:03:45 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* share/doc/users_guide_ja.texi : Update descriptions about revised
	  traits file format.
	* share/doc/users_guide_en.texi : Ditto.

Mon Aug 20 16:23:31 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 1.19.4
	  - Revise format of the traits file in preparation for supporting
	    warning suppression of unconcerned headers such as system headers.

Mon Aug 20 16:04:22 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/traits.rb : Revise format of the traits file in
	  preparation for supporting warning suppression of unconcerned
	  headers such as system headers.
	* etc/conf.d/**/traits.erb : Ditto.

Fri Aug 17 17:11:17 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 1.19.3
	  - Revise format of the traits file in preparation for supporting
	    selective code check feature.
	  - Revise format of the message definition file so that a message can
	    belong to multiple categories.

Fri Aug 17 16:53:20 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/traits.rb : Revise format of the traits file in
	  preparation for supporting selective code check feature.

	* lib/adlint/message.rb : Revise format of the message definition file
	  so that a message can belong to multiple categories.

Fri Aug 17 11:09:36 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/traits.rb : Clarify error message of invalid version of
	  the traits file.
	* lib/adlint/driver.rb : Suppress unneeded backtrace information of
	  error messages.

Fri Aug 17 10:24:37 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 1.19.2
	  - Fix abend problem when the analyzer encounters a non-fatal error
	    condition.

Fri Aug 17 10:10:27 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/step_definitions/message_detection_steps.rb : Rename to
	  `code_check_steps.rb'.
	* features/message_detection : Rename to `code_check'.

Fri Aug 17 09:50:56 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/report.rb : Fix abend problem when the analyzer encounters
	  a non-fatal error condition.

Thu Aug 16 19:31:47 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 1.19.1
	  - Revise format of the traits file and the message definition file in
	    preparation for supporting selective code check feature.

Thu Aug 16 19:05:23 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/traits.rb : Revise format of the traits file and the
	  message definition file in preparation for supporting selective code
	  check feature.
	* lib/adlint/message.rb : Ditto.

Thu Aug 16 15:10:17 2012  Rie Shima  <rkakuuchi@users.sourceforge.net>

	* features/message_detection/W0477.feature : Add W0477 specification.
	* features/message_detection/W0478.feature : Add W0478 specification.
	* features/message_detection/W0479.feature : Add W0479 specification.
	* features/message_detection/W0480.feature : Add W0480 specification.
	* features/message_detection/W0481.feature : Add W0481 specification.
	* features/message_detection/W0482.feature : Add W0482 specification.
	* features/message_detection/W0483.feature : Add W0483 specification.
	* MANIFEST : Add W0477, W0478, W0479, W0480, W0481, W0482 and W0483
	  specifications.

Wed Aug 15 15:18:53 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 1.19.0
	  - This is the initial release candidate for 2.0.0 GA release.
	  - In preparation for using optional source code examination packages,
	    refine internal module structure and revise format of the traits
	    file.

Wed Aug 15 13:42:09 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/**/* : In preparation for using optional source code examination
	  packages, refine internal module structure and revise format of the
	  traits file.
	* etc/**/* : Ditto.

Tue Aug 14 15:59:48 2012  Rie Shima  <rkakuuchi@users.sourceforge.net>

	* features/message_detection/W0025.feature : Add W0025 specification.
	* features/message_detection/W0026.feature : Add W0026 specification.
	* MANIFEST : Add W0025 and W0026 specifications.

Tue Aug 14 14:54:55 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.ga : 1.18.6
	  - Fix abend problem when a variable of typedefed incomplete array
	    type is defined with an initializer.

Tue Aug 14 10:49:35 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 1.18.5
	  - Fix bad array length deduction in an array variable definition with
	    string-literal-specifier as initializer.

Tue Aug 14 10:37:24 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/interp.rb : Fix bad array length deduction in an array
	  variable definition with string-literal-specifier as initializer.

Mon Aug 13 18:14:49 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 1.18.3
	  - Fix abend problem when a variable of typedefed incomplete array
	    type is defined with an initializer.

Mon Aug 13 18:01:12 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/interp.rb : Fix abend problem when a variable of
	  typedefed incomplete array type is defined with an initializer.
	* lib/adlint/c/object.rb : Ditto.
	* lib/adlint/c/type.rb : Ditto.

Tue Aug  7 11:14:20 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W0016.feature : Add W0016 specification.
	* features/message_detection/W0017.feature : Add W0017 specification.
	* MANIFEST : Add W0016 and W0017 specifications.

Mon Aug  6 17:32:04 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W0{119..254}.feature : Add specifications
	  of implicit conversion detections.
	* features/message_detection/W0{747..769}.feature : Ditto.
	* MANIFEST : Ditto.

Fri Aug  3 13:55:38 2012  Rie Shima  <rkakuuchi@users.sourceforge.net>

	* features/message_detection/W0685.feature : Add W0685 specification.
	* features/message_detection/W0686.feature : Add W0686 specification.
	* features/message_detection/W0695.feature : Add W0695 specification.
	* features/message_detection/W0801.feature : Add W0801 specification.
	* features/message_detection/W1030.feature : Add W1030 specification.
	* MANIFEST : Add W0685, W0686, W0695, W0801 and W1030 specifications.

Fri Aug  3 13:07:04 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.ga : 1.18.2
	  - Fix gem installation problem on mswin.

Fri Aug  3 13:01:28 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* share/demo/bad_include : Remove `bad_include' demo project.
	* share/demo/bad_charset : Remove `bad_charset' demo project.

	* share/demo/Makefile : Remove `bad_include' and `bad_charset' demos.
	* MANIFEST : Ditto.

Thu Aug  2 15:16:29 2012  Rie Shima  <rkakuuchi@users.sourceforge.net>

	* features/message_detection/W0573.feature : Add W0573 specification.
	* features/message_detection/W0726.feature : Add W0726 specification.
	* features/message_detection/W0781.feature : Add W0781 specification.
	* MANIFEST : Add W0573, W0726, W0781 specifications.

Wed Aug  1 13:04:03 2012  Rie Shima  <rkakuuchi@users.sourceforge.net>

	* features/message_detection/W0806.feature : Add W0806 specification.
	* features/message_detection/W0807.feature : Add W0807 specification.
	* features/message_detection/W0808.feature : Add W0808 specification.
	* features/message_detection/W0809.feature : Add W0809 specification.
	* MANIFEST : Add W0806, W0807, W0808 and W0809 specifications.

Wed Aug  1 09:39:53 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.ga : 1.18.0
	  - Add W0641 detection.
	  - Add W0644 detection.
	  - Add W0649 detection.
	  - Add W0650 detection.
	  - Add W0707 detection.
	  - Add W0719 detection.
	  - Add W0780 detection.
	  - Add W0783 detection.
	  - Add W0792 detection.
	  - Add W0793 detection.
	  - Add W0794 detection.
	  - Add W0830 detection.
	  - Add W0833 detection.
	  - Add W0834 detection.
	  - Add W1026 detection.
	  - Add W1039 detection.
	  - Add W1047 detection.
	  - Add W1071 detection.
	  - Fix W0459 detection to output outermost variable name when the
	    uninitialized variable is an array element or a member of struct or
	    union.
	  - Fix W0705 and W0745 detections to warn about not only
	    array-subscript-expressions but also indirection-expressions only
	    when the subscript is constant.
	  - Revise expression evaluation not to give up when a operand is typed
	    as `void'.
	  - Revise arithmetic type resolution not to abort when one type is
	    `void'.
	  - Fix declarator evaluation in order to construct a function object
	    which returns a function pointer correctly when the
	    function-definition written without typedefed function pointer.
	  - Implement missing semantics of union object initialization.
	  - Revise function-like macro replacement in order to evaluate `#'
	    operator makes an empty string-literal when the parameter
	    corresponding to the operand has no argument.
	  - Fix bad sequence-point timing of logical-and-expression and
	    logical-or-expression.
	  - Add extra notification of variable value reference in evaluation of
	    cast-expression in order not to misunderstand that a return value
	    of a function is discarded when the return value is casted before
	    assigning to a variable.
	  - Fix evaluation of prefix-increment-expression and
	    prefix-decrement-expression to make rvalue of the new incremented
	    or decremented value in order to comply with the ISO C99 standard.

Tue Jul 31 17:14:53 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* spec/spec_helper.rb : Add `simplecov' support.
	* features/support/env.rb : Ditto.
	* features/step_definitions/message_detection_steps.rb : Ditto.

Tue Jul 31 15:35:42 2012  Rie Shima  <rkakuuchi@users.sourceforge.net>

	* features/message_detection/W0711.feature : Add W0711 specification.
	* features/message_detection/W0712.feature : Add W0712 specification.
	* features/message_detection/W0713.feature : Add W0713 specification.
	* features/message_detection/W0714.feature : Add W0714 specification.
	* features/message_detection/W0715.feature : Add W0715 specification.
	* MANIFEST : Add W0711, W0712, W0713, W0714 and W0700 specifications.

Tue Jul 31 13:16:28 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 1.17.3
	  - Fix W0719 detection to warn only when the rhs operand of a
	    shift-expression is greater than or equal to the bit length of
	    underlying type of the lhs operand and less than the bit length of
	    integer-promoted type of the lhs operand.
	  - Revise W1039 detection to output multiple warnings when the format
	    contains multiple `ll' length-modifiers.

Tue Jul 31 13:09:00 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W1039.feature : Add W1039 specification of
	  mutiple warnings at a line.

	* etc/mesg.d/ja_JP/messages.yml : Revise W1039 message text.
	* etc/mesg.d/en_US/messages.yml : Ditto.
	* share/doc/users_guide_ja.texi : Ditto.
	* share/doc/users_guide_en.texi : Ditto.

	* lib/adlint/c/message.rb : Revise W1039 detection to output multiple
	  warnings when the format contains multiple `ll' length-modifiers.

Tue Jul 31 11:45:07 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W0719.feature : Add W0719 specification to
	  reproduce a known bug.

	* lib/adlint/c/message.rb : Fix W0719 detection to warn only when the
	  rhs operand of a shift-expression is greater than or equal to the bit
	  length of underlying type of the lhs operand and less than the bit
	  length of integer-promoted type of the lhs operand.

Mon Jul 30 16:37:33 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 1.17.2
	  - Fix W0705 and W0745 detections not to cause extra side-effects in
	    evaluation of the subscript expression.
	  - Fix abend problem when a conditional-expression appears in an array
	    subscript of array-subscript-expressions or
	    indirection-expressions.
	  - Fix evaluation of prefix-increment-expression and
	    prefix-decrement-expression to make rvalue of the new incremented
	    or decremented value in order to comply with the ISO C99 standard.

Mon Jul 30 16:25:08 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* share/doc/users_guide_ja.texi : Update descriptions about W0641,
	  W0644, W0649, W0650, W0707, W0719, W0780, W0783, W0792, W0793, W0794,
	  W0830, W0833, W0834, W1026, W1039, W1047 and W1071 messages.
	* share/doc/users_guide_en.texi : Ditto.

Mon Jul 30 15:39:38 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/expr.rb : Fix evaluation of prefix-increment-expression
	  and prefix-decrement-expression to make rvalue of the new incremented
	  or decremented value in order to comply with the ISO C99 standard.

Mon Jul 30 14:44:44 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Fix abend problem when a
	  conditional-expression appears in an array subscript of
	  array-subscript-expressions or indirection-expressions.

Mon Jul 30 11:57:47 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W0705.feature : Add W0705 specification to
	  reproduce a known bug.

	* lib/adlint/c/interp.rb : Add new interpretation mode to evaluate an
	  expression quietly without any side-effects.
	* lib/adlint/c/branch.rb : Ditto.
	* lib/adlint/c/option.rb : Ditto.

	* lib/adlint/c/message.rb : Fix W0705 and W0745 detections not to cause
	  extra side-effects in evaluation of the subscript expression.

Fri Jul 27 17:31:53 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 1.17.1
	  - Add W0707 detection.
	  - Fix W0705 and W0745 detections to warn about not only
	    array-subscript-expressions but also indirection-expressions only
	    when the subscript is constant.

Fri Jul 27 16:22:15 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W0705.feature : Add W0705 specification.
	* MANIFEST : Ditto.

	* features/message_detection/W0745.feature : Add W0745 specification.
	* MANIFEST : Ditto.

	* lib/adlint/c/message.rb : Fix W0705 and W0745 detections to warn
	  about not only array-subscript-expressions but also
	  indirection-expressions only when the subscript is constant.

Fri Jul 27 14:24:38 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W0707.feature : Add W0707 specification.
	* MANIFEST : Ditto.

	* lib/adlint/c/message.rb : Add W0707 detection.
	* lib/adlint/c/phase.rb : Ditto.

Fri Jul 27 10:23:38 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 1.17.0
	  - This is the initial release candidate for 1.18.0 GA release.
	  - Add W0641 detection.
	  - Add W0644 detection.
	  - Add W0649 detection.
	  - Add W0650 detection.
	  - Add W0719 detection.
	  - Add W0780 detection.
	  - Add W0783 detection.
	  - Add W0792 detection.
	  - Add W0793 detection.
	  - Add W0794 detection.
	  - Add W0830 detection.
	  - Add W0833 detection.
	  - Add W0834 detection.
	  - Add W1026 detection.
	  - Add W1039 detection.
	  - Add W1047 detection.
	  - Add W1071 detection.
	  - Fix W0459 detection to output outermost variable name when the
	    uninitialized variable is an array element or a member of struct or
	    union.
	  - Revise expression evaluation not to give up when a operand is typed
	    as `void'.
	  - Revise arithmetic type resolution not to abort when one type is
	    `void'.
	  - Fix declarator evaluation in order to construct a function object
	    which returns a function pointer correctly when the
	    function-definition written without typedefed function pointer.
	  - Implement missing semantics of union object initialization.
	  - Revise function-like macro replacement in order to evaluate `#'
	    operator makes an empty string-literal when the parameter
	    corresponding to the operand has no argument.
	  - Fix bad sequence-point timing of logical-and-expression and
	    logical-or-expression.
	  - Add extra notification of variable value reference in evaluation of
	    cast-expression in order not to misunderstand that a return value
	    of a function is discarded when the return value is casted before
	    assigning to a variable.

Thu Jul 26 17:53:31 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/ctrlexpr.rb : Add missing sequence-point notification
	  between lhs and rhs evaluation of logical-and-expression and
	  logical-or-expression in the controlling expression.

Thu Jul 26 16:43:07 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/expr.rb : Add extra notification of variable value
	  reference in evaluation of cast-expression in order not to
	  misunderstand that a return value of a function is discarded when the
	  return value is casted before assigning to a variable.

Thu Jul 26 15:36:23 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/object.rb : Add Variable#inner? predicate method for
	  refactoring.
	* lib/adlint/c/message.rb : Ditto.
	* lib/adlint/c/expr.rb : Ditto.

Thu Jul 26 15:25:09 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/expr.rb : Fix bad sequence-point timing of
	  logical-and-expression and logical-or-expression.
	* lib/adlint/c/syntax.rb : Ditto.

Thu Jul 26 15:15:04 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Fix W0459 detection to output outermost
	  variable name when the uninitialized variable is an array element or
	  a member of struct or union.

Thu Jul 26 11:05:49 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cpp/macro.rb : Revise `#' operator evaluation in order to
	  support " and \ character escape.

Wed Jul 25 17:15:45 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cpp/macro.rb : Revise function-like macro replacement in
	  order to evaluate `#' operator makes an empty string-literal when the
	  parameter corresponding to the operand has no argument.

Wed Jul 25 17:14:46 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/type.rb : Fix function type completeness determination
	  not to consider a type of function whose return type or parameter
	  types contain `void' as the incomplete type.

Wed Jul 25 17:13:11 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W0783.feature : Add W0783 specification.
	* MANIFEST : Ditto.

	* lib/adlint/c/message.rb : Add W0783 detection.
	* lib/adlint/c/phase.rb : Ditto.

Wed Jul 25 14:51:19 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W0830.feature : Add W0830 specification.
	* MANIFEST : Ditto.

	* lib/adlint/c/syntax.rb : Add trailing comma field to enum-specifier
	  node of the C AST.
	* lib/adlint/c/parser.y : Ditto.

	* lib/adlint/c/message.rb : Add W0830 detection.
	* lib/adlint/c/phase.rb : Ditto.

Wed Jul 25 14:15:17 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W0794.feature : Add W0794 specification.
	* MANIFEST : Ditto.

	* lib/adlint/c/message.rb : Add W0794 detection.
	* lib/adlint/c/phase.rb : Ditto.

Wed Jul 25 11:46:37 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W1039.feature : Add W1039 specification.
	* MANIFEST : Ditto.

	* lib/adlint/c/message.rb : Add W1039 detection.
	* lib/adlint/c/phase.rb : Ditto.

Tue Jul 24 18:48:31 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W0833.feature : Add W0833 specification.
	* MANIFEST : Ditto.

	* lib/adlint/c/message.rb : Add W0833 detection.
	* lib/adlint/c/phase.rb : Ditto.

Tue Jul 24 15:56:40 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/E0013.feature : Add E0013 specification.
	* MANIFEST : Ditto.

	* etc/mesg.d/ja_JP/messages.yml : Unify E0013 and W1044 into E0013.
	* etc/mesg.d/en_US/messages.yml : Ditto.
	* share/doc/users_guide_ja.texi : Ditto.
	* share/doc/users_guide_en.texi : Ditto.

Tue Jul 24 15:43:11 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Fix W9003 detection not to warn when the
	  object type is undefined or unresolved.

Tue Jul 24 15:06:45 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W1047.feature : Add W1047 specification.
	* MANIFEST : Ditto.

	* lib/adlint/c/interp.rb : Implement missing semantics of union object
	  initialization.

	* lib/adlint/c/message.rb : Add W1047 detection.
	* lib/adlint/c/phase.rb : Ditto.

Tue Jul 24 11:54:50 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W1071.feature : Add W1071 specification.
	* MANIFEST : Ditto.

	* lib/adlint/c/message.rb : Add W1071 detection.
	* lib/adlint/c/phase.rb : Ditto.

Mon Jul 23 18:56:16 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W0641.feature : Add W0641 specification.
	* MANIFEST : Ditto.

	* lib/adlint/c/message.rb : Add W0641 detection.
	* lib/adlint/c/phase.rb : Ditto.

Mon Jul 23 16:52:21 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W0793.feature : Add W0793 specification.
	* MANIFEST : Ditto.

	* lib/adlint/c/message.rb : Add W0793 detection.
	* lib/adlint/c/phase.rb : Ditto.

Mon Jul 23 15:23:47 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W0792.feature : Add W0792 specification.
	* MANIFEST : Ditto.

	* lib/adlint/c/syntax.rb : Fix declarator evaluation in order to
	  construct a function object which returns a function pointer
	  correctly when the function-definition written without typedefed
	  function pointer.

	* lib/adlint/c/message.rb : Add W0792 detection.
	* lib/adlint/c/phase.rb : Ditto.

Fri Jul 20 18:54:19 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W0644.feature : Add W0644 specification.
	* MANIFEST : Ditto.

	* lib/adlint/c/expr.rb : Revise expression evaluation not to give up
	  when a operand is typed as `void'.

	* lib/adlint/c/expr.rb : Add missing notification of variable value
	  reference in logical-and-expression and logical-or-expression.
	* lib/adlint/c/ctrlexpr.rb : Ditto.

	* lib/adlint/c/type.rb : Revise arithmetic type resolution not to abort
	  when one type is `void'.

	* lib/adlint/c/object.rb : Revise arguments to parameters assignment
	  behavior not to skip assignment whenever the parameter is typed as
	  `void'.

	* lib/adlint/c/message.rb : Add W0644 detection.
	* lib/adlint/c/phase.rb : Ditto.

Fri Jul 20 14:51:45 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W0780.feature : Add W0780 specification.
	* MANIFEST : Ditto.

	* lib/adlint/c/message.rb : Add W0780 detection.
	* lib/adlint/c/phase.rb : Ditto.

Fri Jul 20 14:00:20 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W0719.feature : Add W0719 specification.
	* MANIFEST : Ditto.

	* lib/adlint/c/expr.rb : Fix bad arguments of shift-expression
	  notification in evaluating `<<=' and `>>=' expressions.

	* lib/adlint/c/message.rb : Add W0719 detection.
	* lib/adlint/c/phase.rb : Ditto.

Fri Jul 20 12:56:37 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W0650.feature : Add W0650 specification.
	* MANIFEST : Ditto.

	* lib/adlint/c/message.rb : Add W0650 detection.
	* lib/adlint/c/phase.rb : Ditto.

Thu Jul 19 17:48:15 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W0649.feature : Add W0649 specification.
	* MANIFEST : Ditto.

	* lib/adlint/c/message.rb : Add W0649 detection.
	* lib/adlint/c/phase.rb : Ditto.

Thu Jul 19 16:44:17 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W1026.feature : Add W1026 specification.
	* MANIFEST : Ditto.

	* lib/adlint/c/message.rb : Add W1026 detection.
	* lib/adlint/c/phase.rb : Ditto.

Thu Jul 19 14:53:48 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W0834.feature : Add W0834 specification.
	* MANIFEST : Ditto.

	* lib/adlint/c/type.rb : Add a visitor of the type-object tree.

	* lib/adlint/c/resolver.rb : Add type field to parameter-declarations.
	* lib/adlint/c/syntax.rb : Ditto.

	* lib/adlint/c/message.rb : Add W0834 detection.
	* lib/adlint/c/phase.rb : Ditto.

Wed Jul 18 11:19:21 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.ga : 1.16.0
	  - Add W0643 detection.
	  - Add W0646 detection.
	  - Add W0691 detection.
	  - Add W0692 detection.
	  - Add W0694 detection.
	  - Add W0805 detection.
	  - Add W0811 detection.
	  - Add W1040 detection.
	  - Add W1041 detection.
	  - Add W1046 detection.
	  - Add W1073 detection.
	  - Add W1074 detection.
	  - Add W1075 detection.
	  - Add W1076 detection.
	  - Add W1077 detection.
	  - Add extra sequence-point notification in the conditional-expression
	    in order not to over-warn about side-effects between
	    sequence-points.
	  - Add extra variable value reference notification not to discard
	    function return values in the 2nd and 3rd expressions of the
	    conditional-expression.
	  - Add missing notification of variable value reference in comparison
	    expressions.

Tue Jul 17 17:41:56 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 1.15.1
	  - Revise W0692 message text.

Tue Jul 17 17:29:36 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cpp/message.rb : Revise W0692 message text.
	* etc/mesg.d/ja_JP/messages.yml : Ditto.
	* etc/mesg.d/en_US/messages.yml : Ditto.
	* share/doc/users_guide_ja.texi : Ditto.
	* share/doc/users_guide_en.texi : Ditto.

Tue Jul 17 14:17:01 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 1.15.0
	  - This is the initial release candidate for 1.16.0 GA release.
	  - Add W0643 detection.
	  - Add W0646 detection.
	  - Add W0691 detection.
	  - Add W0692 detection.
	  - Add W0694 detection.
	  - Add W0805 detection.
	  - Add W0811 detection.
	  - Add W1040 detection.
	  - Add W1041 detection.
	  - Add W1046 detection.
	  - Add W1073 detection.
	  - Add W1074 detection.
	  - Add W1075 detection.
	  - Add W1076 detection.
	  - Add W1077 detection.
	  - Add extra sequence-point notification in the conditional-expression
	    in order not to over-warn about side-effects between
	    sequence-points.
	  - Add extra variable value reference notification not to discard
	    function return values in the 2nd and 3rd expressions of the
	    conditional-expression.
	  - Add missing notification of variable value reference in comparison
	    expressions.

Wed Jul 11 14:38:16 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W0643.feature : Add W0643 specification.
	* MANIFEST : Ditto.

	* lib/adlint/cpp/lexer.rb : Revise text-line tokenizing behavior not to
	  discard `\' token which is not at the end of line.

	* lib/adlint/cpp/macro.rb : Add notification about discarding unwanted
	  `\' token when the operand of `#' operator ends with standalone `\'
	  token.

	* lib/adlint/cpp/message.rb : Add W0643 detection.
	* lib/adlint/cpp/phase.rb : Ditto.

Wed Jul 11 13:20:45 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W1046.feature : Add W1046 specification.
	* MANIFEST : Ditto.

	* lib/adlint/cpp/lexer.rb : Add notification about illformed newline
	  escape.
	* lib/adlint/cpp/eval.rb : Ditto.

	* lib/adlint/cpp/message.rb : Add W1046 detection.
	* lib/adlint/cpp/phase.rb : Ditto.

Wed Jul 11 11:16:55 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W1041.feature : Add W1041 specification.
	* MANIFEST : Ditto.

	* lib/adlint/cpp/syntax.rb : Add non-standard preprocessing directive
	  node to abstract-syntax-tree for cpp language.

	* lib/adlint/cpp/lexer.rb : Add tokenizer method for non-standard
	  preprocessing directive.

	* lib/adlint/cpp/eval.rb : Add non-standard preprocessing directive
	  evaluation to the preprocessor.

	* etc/mesg.d/ja_JP/messages.yml : Revise W1041 message text.
	* etc/mesg.d/en_US/messages.yml : Ditto.

	* lib/adlint/cpp/message.rb : Add W1041 detection.
	* lib/adlint/cpp/phase.rb : Ditto.

Tue Jul 10 18:03:03 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W1040.feature : Add W1040 specification.
	* MANIFEST : Ditto.

	* lib/adlint/cpp/lexer.rb : Revise tokenizing behavior in order to pass
	  unwanted extra tokens to the preprocessor.

	* lib/adlint/cpp/eval.rb : Add notification about extra tokens after
	  preprocessing directives.

	* lib/adlint/cpp/message.rb : Add W1040 detection.
	* lib/adlint/cpp/phase.rb : Ditto.

Tue Jul 10 15:31:13 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W0811.feature : Add W0811 specification.
	* MANIFEST : Ditto.

	* lib/adlint/cpp/macro.rb : Add result tokens to notification of macro
	  replacements.

	* lib/adlint/cpp/message.rb : Add W0811 detection.
	* lib/adlint/cpp/phase.rb : Ditto.

Tue Jul 10 14:27:10 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W0805.feature : Add W0805 specification.
	* MANIFEST : Ditto.

	* lib/adlint/cpp/constexpr.y : Add argument existence to notification
	  of the illformed `defined' operator evaluation.
	* lib/adlint/cpp/eval.rb : Ditto.

	* lib/adlint/cpp/message.rb : Add W0805 detection.
	* lib/adlint/cpp/phase.rb : Ditto.

Tue Jul 10 13:37:13 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W0694.feature : Add W0694 specification.
	* MANIFEST : Ditto.

	* lib/adlint/c/message.rb : Add W0694 detection.
	* lib/adlint/c/phase.rb : Ditto.

Mon Jul  9 19:04:48 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W0692.feature : Add W0692 specification.
	* MANIFEST : Ditto.

	* lib/adlint/cpp/macro.rb : Add pre-parsed arguments to notification of
	  the function-like macro replacement.

	* lib/adlint/cpp/message.rb : Add W0692 detection.
	* lib/adlint/cpp/phase.rb : Ditto.

Mon Jul  9 17:45:09 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W0691.feature : Add W0691 specification.
	* MANIFEST : Ditto.

	* lib/adlint/cpp/macro.rb : Add notification about `##' operator
	  evaluation.

	* lib/adlint/cpp/message.rb : Add W0691 detection.
	* lib/adlint/cpp/phase.rb : Ditto.

Mon Jul  9 15:47:46 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W0646.feature : Add W0646 specification.
	* MANIFEST : Ditto.

	* lib/adlint/c/lexer.rb : Add notification about string-literal
	  concatenations.
	* lib/adlint/c/parser.y : Ditto.

	* lib/adlint/c/message.rb : Add W0646 detection.
	* lib/adlint/c/phase.rb : Ditto.
	* lib/adlint/lang.rb : Ditto.

Fri Jul  6 17:25:19 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W1077.feature : Add W1077 specification.
	* MANIFEST : Ditto.

	* lib/adlint/c/message.rb : Add W1077 detection.
	* lib/adlint/c/phase.rb : Ditto.

Fri Jul  6 17:04:28 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W1076.feature : Add W1076 specification.
	* MANIFEST : Ditto.

	* lib/adlint/c/message.rb : Add W1076 detection.
	* lib/adlint/c/phase.rb : Ditto.

Fri Jul  6 13:45:05 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W1075.feature : Add W1075 specification.
	* MANIFEST : Ditto.

	* lib/adlint/c/message.rb : Add W1075 detection.
	* lib/adlint/c/phase.rb : Ditto.

Fri Jul  6 11:04:19 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W1074.feature : Add W1074 specification.
	* MANIFEST : Ditto.

	* lib/adlint/c/message.rb : Add W1074 detection.
	* lib/adlint/c/phase.rb : Ditto.

Thu Jul  5 18:07:40 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W1073.feature : Add W1073 specification.
	* MANIFEST : Ditto.

	* lib/adlint/c/message.rb : Add W1073 detection.
	* lib/adlint/c/phase.rb : Ditto.

Thu Jul  5 17:38:08 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/syntax.rb : Add extra sequence-point notification in the
	  conditional-expression in order not to over-warn about side-effects
	  between sequence-points.

	* lib/adlint/c/interp.rb : Add extra variable value reference
	  notification not to discard function return values in the 2nd and 3rd
	  expressions of the conditional-expression.

Thu Jul  5 17:02:49 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/ctrlexpr.rb : Add missing notification of variable value
	  reference in comparison expressions.

Wed Jul  4 10:42:39 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.ga : 1.14.0
	  - Add W0645 detection.
	  - Add W0697 detection.
	  - Add W0700 detection.
	  - Add W1066 detection.
	  - Add W1067 detection.
	  - Add W1068 detection.
	  - Add W1069 detection.
	  - Add W1070 detection.
	  - Add W1072 detection.
	  - Fix W0104 detection not to warn when the unchanged parameter is
	    typed with `const volatile' qualifiers.
	  - Add W0104, W0645, W0697, W0700, W1066, W1067, W1068, W1069, W1070
	    and W1072 specifications.

Mon Jul  2 17:34:36 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 1.13.0
	  - This is the initial release candidate for 1.14.0 GA release.
	  - Add W0645 detection.
	  - Add W0697 detection.
	  - Add W0700 detection.
	  - Add W1066 detection.
	  - Add W1067 detection.
	  - Add W1068 detection.
	  - Add W1069 detection.
	  - Add W1070 detection.
	  - Add W1072 detection.
	  - Fix W0104 detection not to warn when the unchanged parameter is
	    typed with `const volatile' qualifiers.
	  - Add W0104, W0645, W0697, W0700, W1066, W1067, W1068, W1069, W1070
	    and W1072 specifications.

Mon Jul  2 17:28:14 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W0104.feature : Add W0104 specification to
	  reproduce a known bug.
	* MANIFEST : Ditto.

	* lib/adlint/c/type.rb : Fix bad qualified type object structure.

Mon Jul  2 13:54:32 2012  Rie Shima  <rkakuuchi@users.sourceforge.net>

	* share/doc/users_guide_ja.texi : Update descriptions about W0645,
	  W0697, W0700, W1066, W1067, W1068, W1069, W1070 and W1072
	  messages.
	* share/doc/users_guide_en.texi : Ditto.

Fri Jun 29 10:04:56 2012  Rie Shima  <rkakuuchi@users.sourceforge.net>

	* lib/adlint/c/message_shima.rb : Add W0645, W0697 and W0700
	  detections.
	* lib/adlint/c/phase.rb : Ditto.

	* features/message_detection/W0645.feature : Add W0645 specification.
	* features/message_detection/W0697.feature : Add W0697 specification.
	* features/message_detection/W0700.feature : Add W0700 specification.
	* MANIFEST : Add W0645, W0697 and W0700 specifications.

Thu Jun 28 18:26:16 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/interp.rb : Refactor long method of FunctionInterpreter.

Wed Jun 27 15:00:25 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/interp.rb : Add implicit return notification.
	* lib/adlint/c/mediator.rb : Ditto.

Fri Jun 22 15:37:18 2012  Rie Shima  <rkakuuchi@users.sourceforge.net>

	* lib/adlint/c/message_shima.rb : Add W1069, W1070 and W1072
	  detections.
	* lib/adlint/c/phase.rb : Ditto.

	* features/message_detection/W1069.feature : Add W1069 specification.
	* features/message_detection/W1070.feature : Add W1070 specification.
	* features/message_detection/W1072.feature : Add W1072 specification.
	* MANIFEST : Add W1069, W1070 and W1072 specifications.

Thu Jun 21 14:52:12 2012  Rie Shima  <rkakuuchi@users.sourceforge.net>

	* lib/adlint/c/message_shima.rb : Add W1066, W1067 and W1068
	  detections.
	* lib/adlint/c/phase.rb : Ditto.

	* features/message_detection/W1066.feature : Add W1066 specification.
	* features/message_detection/W1067.feature : Add W1067 specification.
	* features/message_detection/W1068.feature : Add W1068 specification.
	* MANIFEST : Add W1066, W1067 and W1068 specifications.

Wed Jun 20 13:36:49 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.ga : 1.12.0
	  - Add W0732 detection.
	  - Add W0733 detection.
	  - Add W0734 detection.
	  - Add W0735 detection.
	  - Add W9003 detection.
	  - Revise the value domain narrowing in order not to over-narrow and
	    under-narrow a value domain of the controlling variable.
	  - Fix bad multiplication logic in order to detect W0723 and W1052
	    correctly.
	  - Add unit specifications of domain of variables' value.
	  - Add unit specifications of syntax tree of the C language.
	  - Add W0093, W0687, W0688, W0689, W0690, W0732, W0733, W0734, W0735,
	    W1052, W9001 and W9003 specifications.
	  - Add W1066, W1067, W1068, W1069, W1070, W1071, W1072, W1073, W1074,
	    W1075, W1076, W1077 and W9003 message definitions.

Wed Jun 20 10:49:52 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 1.11.2
	  - Revise W9003 specification not to over-warn about natural
	    conversions.

Wed Jun 20 10:46:17 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Revise W9003 specification not to over-warn
	  about natural conversions.

Tue Jun 19 17:37:04 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 1.11.1
	  - Add W9003 detection.

Tue Jun 19 16:33:54 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W9003.feature : Add W9003 specification.
	* MANIFEST : Ditto.

	* lib/adlint/c/type.rb : Add Type#standard? predicate method and insert
	  StandardFloatingType in FloatingType class hierarchy.

	* lib/adlint/c/type.rb : Revise integer-promotion rule of any
	  enumerated types in order not to over-warn W9003 about enum-enum
	  expressions.

	* lib/adlint/c/message.rb : Add W9003 detection.
	* lib/adlint/c/phase.rb : Ditto.

Tue Jun 19 14:48:20 2012  Rie Shima  <rkakuuchi@users.sourceforge.net>

	* share/doc/users_guide_ja.texi : Update descriptions about W0732,
	  W0733, W0734 and W0735 messages.
	* share/doc/users_guide_en.texi : Ditto.

	* share/doc/users_guide_ja.texi : Add W1066, W1067, W1068, W1069,
	  W1070, W1071, W1072, W1073, W1074, W1075, W1076, W1077 and W9003
	  message definitions.
	* share/doc/users_guide_en.texi : Ditto.

Fri Jun 15 17:25:51 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 1.11.0
	  - This is the initial release candidate for 1.12.0 GA release.
	  - Add W0732 detection.
	  - Add W0733 detection.
	  - Add W0734 detection.
	  - Add W0735 detection.
	  - Revise the value domain narrowing in order not to over-narrow and
	    under-narrow a value domain of the controlling variable.
	  - Fix bad multiplication logic in order to detect W0723 and W1052
	    correctly.
	  - Add unit specifications of domain of variables' value.
	  - Add unit specifications of syntax tree of the C language.
	  - Add W0093, W0687, W0688, W0689, W0690, W0732, W0733, W0734, W0735,
	    W1052 and W9001 specifications.
	  - Add W1066, W1067, W1068, W1069, W1070, W1071, W1072, W1073, W1074,
	    W1075, W1076, W1077 and W9003 message definitions.

Wed Jun 13 18:20:47 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W0723.feature : Add W0723 specification to
	  reproduce a known bug.
	* features/message_detection/W1052.feature : Add W1052 specification to
	  reproduce a known bug.
	* MANIFEST : Ditto.

	* lib/adlint/c/domain.rb : Fix bad multiplication logic of
	  IntersectionValueDomain in order to detect W0723 and W1052
	  correctly.

Wed Jun 13 15:57:32 2012  Rie Shima  <rkakuuchi@users.sourceforge.net>

	* lib/adlint/c/syntax.rb : Add predicate methods to check whether an
	  expression is #arithmetic? or #bitwise?.
	* spec/adlint/c/syntax_spec.rb : Add unit specifications of syntax tree
	  of the C language.
	* MANIFEST : Ditto.

	* lib/adlint/c/message_shima.rb : Add W0732, W0733, W0734 and W0735
	  detections.
	* lib/adlint/c/phase.rb : Ditto.

	* features/message_detection/W0732.feature : Add W0732 specification.
	* features/message_detection/W0733.feature : Add W0733 specification.
	* features/message_detection/W0734.feature : Add W0734 specification.
	* features/message_detection/W0735.feature : Add W0735 specification.
	* MANIFEST : Add W0732, W0733, W0735 and W0690 specifications.

Wed Jun 13 11:59:36 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/ctrlexpr.rb : Revise the value domain narrowing in order
	  not to under-narrow a value domain of the controlling variable.
	* lib/adlint/c/value.rb : Ditto.

	* features/message_detection/W0093.feature : Add W0093 specification to
	  reproduce a known bug.
	* MANIFEST : Ditto.

Tue Jun 12 18:41:54 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* spec/adlint/c/ctrlexpr_spec.rb : Add unit specifications of
	  controlling expression of selection-statements and
	  iteration-statements.

Mon Jun 11 17:49:11 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/prelude.rb : Add __NOTREACHED__ function in order to ease
	  debugging.
	* lib/adlint/c/expr.rb : Ditto.
	* lib/adlint/c/ctrlexpr.rb : Ditto.
	* lib/adlint/c/domain.rb : Ditto.
	* lib/adlint/c.rb : Ditto.

	* lib/adlint/c/operator.rb : Add Operator and ComparisonOperator to
	  represent a comparison operator symbol directly and move
	  responsibilities to Operator from ::Symbol.
	* spec/adlint/c/operator_spec.rb : Ditto.
	* spec/adlint/c/domain_spec.rb : Ditto.
	* lib/adlint/c/interp.rb : Ditto.
	* lib/adlint/c/ctrlexpr.rb : Ditto.
	* lib/adlint/c/type.rb : Ditto.
	* lib/adlint/c/object.rb : Ditto.
	* lib/adlint/c/value.rb : Ditto.
	* lib/adlint/c/domain.rb : Ditto.
	* lib/adlint/prelude.rb : Ditto.
	* MANIFEST : Ditto.

Fri Jun  8 14:43:14 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/value.rb : Add Value#definite? to check whether the
	  value is definite.

	* features/message_detection/W9001.feature : Add W9001 specification to
	  reproduce a known bug.
	* MANIFEST : Ditto.

	* lib/adlint/c/ctrlexpr.rb : Revise the value domain narrowing in order
	  not to over-narrow a value domain of the controlling variable.

Thu Jun  7 16:30:23 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* spec/adlint/c/domain_spec.rb : Add unit specifications of domain of
	  variables' value.
	* MANIFEST : Ditto.

Thu Jun  7 11:54:09 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* etc/mesg.d/ja_JP/messages.yml : Add W1066, W1067, W1068, W1069,
	  W1070, W1071, W1072, W1073, W1074, W1075, W1076, W1077 and W9003
	  message definitions.
	* etc/mesg.d/en_US/messages.yml : Ditto.

Wed Jun  6 11:27:32 2012  Rie Shima  <rkakuuchi@users.sourceforge.net>

	* features/message_detection/W0687.feature : Add W0687 specification.
	* features/message_detection/W0688.feature : Add W0688 specification.
	* features/message_detection/W0689.feature : Add W0689 specification.
	* features/message_detection/W0690.feature : Add W0690 specification.
	* MANIFEST : Add W0687, W0688, W0689 and W0690 specifications.

Wed Jun  6 10:19:58 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.ga : 1.10.0
	  - Add W0716 detection.
	  - Add W0717 detection.
	  - Add W0718 detection.
	  - Fix W0500 detection not to warn when two standalone binary
	    arithmetic expressions are appears at 2nd and 3rd expressions of a
	    conditional-expression.
	  - Fix W0501 detection not to duplicate warnings about a
	    conditional-expression.
	  - Fix W0582, W0583 and W0584 detections in order to consider type
	    convertibility correctly.
	  - Fix W1031 detection not to warn when the declaration with `static'
	    and definition without storage-class-specifier.
	  - Fix lack of sequence-point notification of controlling expressions.
	  - Add unit specifications of C type models.
	  - Add W0001, W0002, W0003, W0007, W0010, W0013, W0109, W0583, W0606,
	    W0698, W0699, W0703, W0716, W0717, W0718, W0723 and W1031
	    specifications.

Tue Jun  5 16:45:06 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 1.9.2
	  - Fix W1031 detection to correctly warn when the declaration with
	    `extern' and the definition with `static'.
	  - Remove initialization semantics of the program execution which is
	    not comply with the ISO C99 standard.

Tue Jun  5 15:58:40 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/interp.rb : Remove initialization semantics of the
	  program execution which is not comply with the ISO C99 standard.
	* lib/adlint/c/object.rb : Ditto.

Tue Jun  5 13:44:28 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W0703.feature : Add W0703 specification to
	  reproduce a known bug.
	* features/message_detection/W0109.feature : Add W0109 specification to
	  reproduce a known bug.
	* MANIFEST : Ditto.

Mon Jun  4 18:23:48 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Fix W1031 detection to correctly warn when
	  the declaration with `extern' and the definition with `static'.

	* lib/adlint/c/interp.rb : Add notification about function-definition.
	* lib/adlint/c/mediator.rb : Ditto.
	* lib/adlint/c/message.rb : Ditto.
	* lib/adlint/c/code.rb : Ditto.

	* lib/adlint/c/object.rb : Fix bad linkage determination logic.

	* features/message_detection/W1031.feature : Add W1031 specification to
	  reproduce a known bug.

Fri Jun  1 19:50:31 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 1.9.1
	  - Fix W1031 detection not to warn when the declaration with `static'
	    and definition without storage-class-specifier.
	  - Support initialization semantics preceding the program starup in
	    order to correctly evaluate expressions in initializers of the
	    static storage duration object definition.
	  - Add W0606, W0698 and W0699 specifications.

Fri Jun  1 19:01:13 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/interp.rb : Support initialization semantics preceding
	  the program starup in order to correctly evaluate expressions in
	  initializers of the static storage duration object definition.
	* lib/adlint/c/phase.rb : Ditto.
	* lib/adlint/c/mediator.rb : Ditto.
	* lib/adlint/c/object.rb : Ditto.

	* lib/adlint/c/option.rb : Add new module `option.rb' to define whole
	  option constants.
	* lib/adlint/c/type.rb : Ditto.
	* lib/adlint/c/branch.rb : Ditto.
	* lib/adlint/c/ctrlexpr.rb : Ditto.
	* lib/adlint/c/message.rb : Ditto.
	* lib/adlint/c.rb : Ditto.
	* MANIFEST : Ditto.

Fri Jun  1 15:42:00 2012  Rie Shima  <rkakuuchi@users.sourceforge.net>

	* features/message_detection/W0606.feature : Add W0606 specification.
	* features/message_detection/W0698.feature : Add W0698 specification.
	* features/message_detection/W0699.feature : Add W0699 specification.
	* MANIFEST : Add W0606, W0698 and W0699 specifications.

Thu May 31 11:46:58 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W0723.feature : Add W0723 specification to
	  reproduce a known bug.

Thu May 31 11:32:16 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W1031.feature : Add W1031 specification to
	  reproduce a known bug.

	* lib/adlint/c/message.rb : Fix W1031 detection not to warn when the
	  declaration with `static' and definition without
	  storage-class-specifier.

Thu May 31 09:43:09 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 1.9.0
	  - This is the initial release candidate for 1.10.0 GA release.
	  - Add W0716 detection.
	  - Add W0717 detection.
	  - Add W0718 detection.
	  - Fix W0501 detection not to duplicate warnings about a
	    conditional-expression.
	  - Fix W0500 detection not to warn when two standalone binary
	    arithmetic expressions are appears at 2nd and 3rd expressions of a
	    conditional-expression.
	  - Fix lack of sequence-point notification of controlling expressions.
	  - Fix W0582, W0583 and W0584 detections in order to consider type
	    convertibility correctly.
	  - Add unit specifications of C type models.
	  - Add W0001, W0002, W0003, W0007, W0010, W0013, W0583, W0716, W0717
	    and W0718 specifications.

Wed May 30 22:23:41 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* spec/adlint/c/type_spec.rb : Add `more cv-qualified' unit
	  specification.

Wed May 30 20:17:38 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/conv.rb : Fix Type#same_as? method invocation to conform
	  with lhs and rhs order of other invocations.
	* lib/adlint/c/expr.rb : Ditto.
	* lib/adlint/c/object.rb : Ditto.
	* lib/adlint/c/message.rb : Ditto.

	* lib/adlint/c/format.rb : Fix too strict argument type checkings in
	  order to consider type convertibility correctly.

	* lib/adlint/c/message.rb : Fix W0582, W0583 and W0584 detections in
	  order to consider type convertibility correctly.

Wed May 30 19:18:11 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/type.rb : Add Type#convertible?(to_type) method to check
	  whether a type is implicitly convertible to another type.

	* spec/adlint/c/type_spec.rb : Add more unit specifications of C type
	  models.

Wed May 30 15:38:00 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.

Tue May 29 16:18:00 2012  Rie Shima  <rkakuuchi@users.sourceforge.net>

	* lib/adlint/c/message_shima.rb : Add W0716, W0717 and W0718
	  detections.
	* lib/adlint/c/phase.rb : Ditto.

	* features/message_detection/W0716.feature : Add W0716 specification.
	* features/message_detection/W0717.feature : Add W0717 specification.
	* features/message_detection/W0718.feature : Add W0718 specification.
	* MANIFEST : Add W0716, W0717 and W0718 specifications.

Tue May 29 15:04:31 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/interp.rb : Fix abend problem of conditional-expression
	  evaluation with the controlling variable's value domain management.

Tue May 29 13:11:02 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W0013.feature : Add W0013 specification.
	* MANIFEST : Ditto.

Tue May 29 11:55:44 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/ctrlexpr.rb : Fix lack of sequence-point notification of
	  controlling expressions.

Mon May 28 17:42:19 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W0010.feature : Add W0010 specification.
	* MANIFEST : Ditto.

Mon May 28 17:27:02 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Fix W0500 detection not to warn when two
	  standalone binary arithmetic expressions are appears at 2nd and 3rd
	  expressions of a conditional-expression.

Mon May 28 17:14:53 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Fix W0501 detection not to duplicate
	  warnings about a conditional-expression.

Mon May 28 13:53:09 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/expr.rb : Move responsibility of conditional-expression
	  evaluation to the upper layer in order to manage value domain of the
	  controlling variable.
	* lib/adlint/c/interp.rb : Ditto.

Mon May 28 11:52:57 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W0007.feature : Add W0007 specification.
	* MANIFEST : Ditto.

Mon May 28 11:03:47 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W0003.feature : Add W0003 specification.
	* MANIFEST : Ditto.

Mon May 28 10:36:06 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W0002.feature : Add W0002 specification.
	* MANIFEST : Ditto.

Mon May 27 12:35:29 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W0001.feature : Add W0001 specification.
	* MANIFEST : Ditto.

Tue May 22 12:12:08 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* features/message_detection/W0583.feature : Add W0583 specification to
	  reproduce a known bug.
	* MANIFEST : Ditto.

	* Rakefile : Add `features' task to run Cucumber features.

Mon May 21 16:33:19 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* spec/adlint/c/type_spec.rb : Add unit specifications of C type
	  models.
	* MANIFEST : Ditto.

	* Rakefile : Add `spec' task to run RSpec code examples.

Fri May 18 22:04:23 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.ga : 1.8.10
	  - Fix bad narrowing logic of undefined value domain in order to
	    detect W9001 correctly.
	  - Fix W0635 detection not to warn when the expected type of the
	    conversion specifier is a pointer type and the corresponding
	    argument's type is a pointer type whose base type is cv-qualified.
	  - Fix W0583 detection not to warn when the argument type is a
	    cv-qualified one of the corresponding parameter's type.
	  - Fix W0112 detection not to warn about floating point
	    relational-expressions.
	  - Fix W0117 and W0118 detection not to misunderstand linkage of
	    object definitions.
	  - Fix W0101, W0102, W0103 and W0107 detections not to warn when an
	    address of the parameter array variable (an alias of the caller's
	    array) is going to be saved.
	  - Fix W0828 detection not to warn when the member variable is a type
	    of char array and the corresponding initializer is a
	    string-literal-specifier.
	  - Fix W0635 detection not to warn when the `void *' argument passed
	    as the `%p' conversion specifier.
	  - Fix degraded W0118 detection not to warn when the object
	    declaration is in the header file and the same declaration is in
	    the source file, too.
	  - Fix bad value domain multiplication logic in order to correctly
	    detect W0723 about multiplicative-expressions.
	  - Fix W0771 detection not to warn when declarations of the same
	    object are in a source file.
	  - Fix W0080 detection to warn when the file local static variable is
	    defined without initializer.
	  - Fix bad value domain multiplication logic in order to correctly
	    detect W0608 about multiplicative-expressions.
	  - Fix degraded W0771 detection not to warn when declarations of the
	    same object are in two or more files.
	  - Fix degraded W0118 detection to warn when all declarations of an
	    object are in the source file.

Fri May 18 21:38:59 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 1.8.9
	  - Fix degraded W0771 detection not to warn when declarations of the
	    same object are in two or more files.
	  - Fix degraded W0118 detection to warn when all declarations of an
	    object are in the source file.

Fri May 18 21:21:29 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Fix degraded W0118 detection to warn when
	  all declarations of an object are in the source file.

Fri May 18 21:12:15 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Fix degraded W0771 detection not to warn
	  when declarations of the same object are in two or more files.

Fri May 18 20:46:33 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 1.8.7
	  - Fix bad value domain multiplication logic in order to correctly
	    detect W0608 about multiplicative-expressions.

Fri May 18 20:38:30 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/domain.rb : Fix bad value domain multiplication logic in
	  order to correctly detect W0608 about multiplicative-expressions.

Fri May 18 19:50:35 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 1.8.5
	  - Fix W0828 detection not to warn when the member variable is a type
	    of char array and the corresponding initializer is a
	    string-literal-specifier.
	  - Fix W0635 detection not to warn when the `void *' argument passed
	    as the `%p' conversion specifier.
	  - Fix degraded W0118 detection not to warn when the object
	    declaration is in the header file and the same declaration is in
	    the source file, too.
	  - Fix bad value domain multiplication logic in order to correctly
	    detect W0723 about multiplicative-expressions.
	  - Fix W0771 detection not to warn when declarations of the same
	    object are in a source file.
	  - Fix W0080 detection to warn when the file local static variable is
	    defined without initializer.

Fri May 18 19:10:56 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Fix W0080 detection to warn when the file
	  local static variable is defined without initializer.

Fri May 18 18:42:02 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Fix W0771 detection not to warn when
	  declarations of the same object are in a source file.

Fri May 18 18:25:04 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/domain.rb : Fix bad value domain multiplication logic in
	  order to correctly detect W0723 about multiplicative-expressions.

Fri May 18 15:58:57 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Fix degraded W0118 detection not to warn
	  when the object declaration is in the header file and the same
	  declaration is in the source file, too.

Fri May 18 15:30:29 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/type.rb : Fix and refactor bad type similarity check not
	  to misunderstand that the `void *' is not same as `void *'.

Fri May 18 13:22:41 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Fix W0828 detection not to warn when the
	  member variable is a type of char array and the corresponding
	  initializer is a string-literal-specifier.

Thu May 17 18:32:49 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 1.8.3
	  - This is RC for the 2nd patch release of the 1.8 series.
	  - Fix bad narrowing logic of undefined value domain in order to
	    detect W9001 correctly.
	  - Fix W0635 detection not to warn when the expected type of the
	    conversion specifier is a pointer type and the corresponding
	    argument's type is a pointer type whose base type is cv-qualified.
	  - Fix W0583 detection not to warn when the argument type is a
	    cv-qualified one of the corresponding parameter's type.
	  - Fix W0112 detection not to warn about floating point
	    relational-expressions.
	  - Fix W0117 and W0118 detection not to misunderstand linkage of
	    object definitions.
	  - Fix W0101, W0102, W0103 and W0107 detections not to warn when an
	    address of the parameter array variable (an alias of the caller's
	    array) is going to be saved.

Thu May 17 16:08:47 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/type.rb : Add query interface tells whether the receiver
	  type is a type of function parameters or not.

	* lib/adlint/c/message.rb : Fix W0101, W0102, W0103 and W0107
	  detections not to warn when an address of the parameter array
	  variable (an alias of the caller's array) is going to be saved.

Thu May 17 15:24:49 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Fix scattered object linkage determination
	  logic to use new Object#declared_as_*? method.
	* lib/adlint/c/code.rb : Ditto.

Wed May 16 11:57:18 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/object.rb : Fix bad linkage determination of variables
	  in order not to misunderstand that function local variables have
	  external linkages.

	* lib/adlint/c/message.rb : Fix W0117 and W0118 detection not to
	  misunderstand linkage of object definitions.

Wed May 16 11:33:03 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/ctrlexpr.rb : Fix bad expression evaluation
	  notification not to notify that an equality-expression evaluated when
	  a relational-expression is evaluated.

Wed May 16 10:53:56 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/type.rb : Fix bad type similarity check not to
	  misunderstand that the pointer or array of non cv-qualified type is
	  not similar to the pointer or array of cv-qualified type.

Wed May 16 02:25:04 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* share/demo/Makefile : Add `integer_promotion' demo.
	* share/demo/integer_promotion/integer_promotion.c : Ditto.
	* MANIFEST : Ditto.

Tue May 15 18:05:48 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/domain.rb : Fix bad value domain multiplication logic in
	  order not to result NaN when the rhs domain contains 0.

Tue May 15 15:19:31 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/domain.rb : Fix bad narrowing logic of undefined value
	  domain in order not to mishandle controlling expressions of
	  uninitialized variables.

	* lib/adlint/c/ctrlexpr.rb : Remove redundant ValueDomainManipulator
	  registration.

Mon May  7 22:56:02 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.ga : 1.8.2
	  - Fix evaluation of array-subscript-expression not to convert the
	    derived array object into a pointer in order to resolve a type of
	    the nested array-subscript-expression correctly.

Sat May  5 02:50:24 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 1.8.1
	  - This is RC for the 1st patch release of the 1.8 series.
	  - Fix evaluation of array-subscript-expression not to convert the
	    derived array object into a pointer in order to resolve a type of
	    the nested array-subscript-expression correctly.

Fri May  4 20:59:19 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/expr.rb : Fix evaluation of array-subscript-expression
	  not to convert the derived array object into a pointer variable.

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 only 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
	  - Add W0541 detection.
	  - Add W0573 detection.
	  - Add W0579 detection.
	  - Add W0685 detection.
	  - Add W0686 detection.
	  - Add W0781 detection.
	  - Add W0787 detection.
	  - Add W0788 detection.
	  - Add W0789 detection.
	  - Add W0807 detection.
	  - Add W0808 detection.
	  - Add W0809 detection.
	  - Add W1030 detection.
	  - Add W1053 detection.
	  - Add W1054 detection.
	  - Add W1055 detection.
	  - Add W1056 detection.
	  - Add W1057 detection.
	  - Add W1058 detection.
	  - Add W1059 detection.
	  - Add W1060 detection.
	  - Add W1061 detection.
	  - Add W1062 detection.
	  - Add W1063 detection.
	  - Fix W0027 detection not to warn when a pointer variable is compared
	    with NULL constant.
	  - Fix W0728, W0729 and W0730 detections not to warn when the target
	    is a variable of the other enum type.
	  - Fix W0104 detection not to warn about invariant parameter of array
	    type whose base type is qualified as const.
	  - Fix bad W0031, W0100, W0104, W0459 and W0460 detections.
	  - Fix bad FN_UNUV measurement.
	  - Update the user's guide in Japanese.
	  - Update the user's guide in English.

Fri Apr  6 19:49:19 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  6 19:13:05 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* 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>

	* lib/adlint/c/message.rb : Fix W1053 detection to warn only about
	  constant expressions.

Fri Apr  6 16:44:17 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 1.5.4
	  - Fix abend problem of W0461 and W0462 detections when a function is
	    specified as an argument.

Fri Apr  6 15:51:59 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Fix abend problem of W0461 and W0462
	  detections when a function is specified as an argument.

Fri Apr  6 15:35:17 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* 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>

	* lib/adlint/c/expr.rb : Fix degraded W0581, W0639 and W0640
	  detections.

Fri Apr  6 11:48:37 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* 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
	    type whose base type is qualified as const.
	  - Fix bad W0031, W0100, W0104, W0459 and W0460 detections.
	  - Fix bad FN_UNUV measurement.

Fri Apr  6 11:33:43 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/metric.rb : Fix FN_UNUV measurement to watch variable
	  references and variable value references.

	* lib/adlint/c/message.rb : Fix W0031 detection to watch variable
	  references and variable value references.

	* lib/adlint/c/message.rb : Fix W0104 detection not to warn about a
	  parameter of const array type.

Fri Apr  6 11:18:33 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/expr.rb : Revise evaluation of object-specifier not to
	  convert the derived array object into a pointer variable.

	* lib/adlint/c/expr.rb : Revise evaluation of
	  array-subscript-expression not to notify a value reference of the
	  base array object.

	* lib/adlint/c/expr.rb : Revise evaluation of
	  array-subscript-expression not to convert the derived array object
	  into a pointer variable.

	* lib/adlint/c/expr.rb : Revise evaluation of function-call-expression
	  not to notify a value reference of the array argument in assigning an
	  argument to a parameter.
	* lib/adlint/c/object.rb : Ditto.

	* lib/adlint/c/expr.rb : Revise evaluation of
	  member-access-by-value-expression not to notify a value reference of
	  the base composite object.

	* lib/adlint/c/expr.rb : Revise evaluation of
	  member-access-by-value-expression not to convert the derived array
	  object into a pointer variable.

	* lib/adlint/c/expr.rb : Revise evaluation of
	  member-access-by-pointer-expression not to convert the derived array
	  object into a pointer variable.

	* lib/adlint/c/expr.rb : Revise evaluation of string-literal-specifier
	  not to convert the character array object into a pointer variable.

	* lib/adlint/c/expr.rb : Revise evaluation of conditional-expression to
	  convert results of 2nd and 3rd expression into scalar variables
	  before unifying those values.

	* lib/adlint/c/object.rb : Revise function's `value returning via
	  parameters' behavior to return a value when the parameter type is
	  non-const array.

Fri Apr  6 09:36:42 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Fix W0104 detection not to warn about
	  invariant parameter of array type whose base type is qualified as
	  const.

Thu Apr  5 16:43:55 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Fix W0787, W0788 and W0789 detections to
	  consider variable and function definitions.

	* share/demo/multi_decl/multi_decl_1.c : Add sample code.

Thu Apr  5 15:05:37 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 1.5.1
	  - Add W0579 detection.
	  - Add W0686 detection.
	  - Add W0787 detection.
	  - Add W0788 detection.
	  - Add W0789 detection.
	  - Fix W0809 detection not to warn about the AdLint internal tag name.

Thu Apr  5 12:03:52 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Add W0579 detection.
	* lib/adlint/c/phase.rb : Ditto.

	* share/demo/implicit_conv/implicit_conv.c : Add sample code.

Thu Apr  5 11:21:23 2012  Rie Shima  <rkakuuchi@users.sourceforge.net>

	* lib/adlint/c/message_shima.rb : Add W0686 detection.
	* lib/adlint/c/phase.rb : Ditto.

	* share/demo/bad_conv/bad_conv.c : Add sample code.

Thu Apr  5 10:37:13 2012  Rie Shima  <rkakuuchi@users.sourceforge.net>

	* lib/adlint/c/message_shima.rb : Fix W0809 detection not to warn about
	  the AdLint internal tag name.

	* share/demo/reserved_ident/reserved_ident.c : Add sample code.

Thu Apr  5 10:21:37 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Add W0789 detection.
	* lib/adlint/c/phase.rb : Ditto.

Tue Apr  3 20:12:29 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Add W0788 detection.
	* lib/adlint/c/phase.rb : Ditto.

	* share/demo/multi_decl/multi_decl_1.c : Add sample code.

Tue Apr  3 19:03:44 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Add W0787 detection.
	* lib/adlint/c/phase.rb : Ditto.

	* share/demo/multi_decl/multi_decl_1.c : Add sample code.

Tue Apr  3 16:37:30 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* 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.
	  - Add W0781 detection.
	  - Add W0807 detection.
	  - Add W0808 detection.
	  - Add W0809 detection.
	  - Add W1030 detection.
	  - Add W1053 detection.
	  - Add W1054 detection.
	  - Add W1055 detection.
	  - Add W1056 detection.
	  - Add W1057 detection.
	  - Add W1058 detection.
	  - Add W1059 detection.
	  - Add W1060 detection.
	  - Add W1061 detection.
	  - Add W1062 detection.
	  - Add W1063 detection.
	  - Fix W0027 detection not to warn when a pointer variable is compared
	    with NULL constant.
	  - Fix W0728, W0729 and W0730 detections not to warn when the target
	    is a variable of the other enum type.

Tue Apr  3 16:22:23 2012  Rie Shima  <rkakuuchi@users.sourceforge.net>

	* lib/adlint/cpp/message_shima.rb : Add W0807 and W0808 detections.
	* lib/adlint/cpp/phase.rb : Ditto.

	* share/demo/bad_macro/bad_macro.c : Add sample code.

Tue Apr  3 16:05:54 2012  Rie Shima  <rkakuuchi@users.sourceforge.net>

	* lib/adlint/c/message_shima.rb : Add W0685 detection.
	* lib/adlint/c/phase.rb : Ditto.

	* share/demo/bad_conv/bad_conv.c : Add sample code.

Tue Apr  3 15:35:10 2012  Rie Shima  <rkakuuchi@users.sourceforge.net>

	* lib/adlint/c/message_shima.rb : Add W1030 detection.
	* lib/adlint/c/phase.rb : Ditto.

	* share/demo/Makefile : Add `bad_label' demo.
	* share/demo/bad_label/bad_label.c : Ditto.
	* MANIFEST : Ditto.

Tue Apr  3 15:15:03 2012  Rie Shima  <rkakuuchi@users.sourceforge.net>

	* lib/adlint/c/message_shima.rb : Add W0809 detection.
	* lib/adlint/c/phase.rb : Ditto.

	* share/demo/Makefile : Add `reserved_ident' demo.
	* share/demo/reserved_ident/reserved_ident.c : Ditto.
	* MANIFEST : Ditto.

Tue Apr  3 11:22:03 2012  Rie Shima  <rkakuuchi@users.sourceforge.net>

	* lib/adlint/c/message_shima.rb : Add W0781 detection.
	* lib/adlint/c/phase.rb : Ditto.

	* share/demo/Makefile : Add `redundant_select' demo.
	* share/demo/redundant_select/redundant_select.c : Ditto.
	* MANIFEST : Ditto.

Tue Apr  3 10:22:45 2012  Rie Shima  <rkakuuchi@users.sourceforge.net>

	* lib/adlint/c/message_shima.rb : Add W0573 detection.
	* lib/adlint/c/phase.rb : Ditto.

Tue Apr  3 09:42:18 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Fix W0027 detection not to warn when a
	  pointer variable is compared with NULL constant.

Mon Apr  2 17:29:18 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cpp/message.rb : Add W0541 detection.
	* lib/adlint/cpp/phase.rb : Ditto.

	* share/demo/Makefile : Add `inline_asm' demo.
	* share/demo/inline_asm/inline_asm.c : Ditto.
	* MANIFEST : Ditto.

Mon Apr  2 17:24:58 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cpp/asm.rb : Support extended inline assembly notations.
	* lib/adlint/cpp/source.rb : Ditto.
	* lib/adlint/cpp.rb : Ditto.
	* MANIFEST : Ditto.

Mon Apr  2 15:55:22 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Add W1063 detection.
	* lib/adlint/c/phase.rb : Ditto.

	* share/demo/bad_enum/bad_enum.c : Add sample code.

Mon Apr  2 15:43:19 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Add W1062 detection.
	* lib/adlint/c/phase.rb : Ditto.

	* share/demo/bad_enum/bad_enum.c : Add sample code.

Mon Apr  2 15:15:39 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Add W1061 detection.
	* lib/adlint/c/phase.rb : Ditto.

	* share/demo/bad_enum/bad_enum.c : Add sample code.

Mon Apr  2 13:40:40 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Add W1060 detection.
	* lib/adlint/c/phase.rb : Ditto.

	* share/demo/bad_enum/bad_enum.c : Add sample code.

Mon Apr  2 13:31:52 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Add W1059 detection.
	* lib/adlint/c/phase.rb : Ditto.

	* share/demo/bad_enum/bad_enum.c : Add sample code.

Mon Apr  2 13:21:52 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Add W1058 detection.
	* lib/adlint/c/phase.rb : Ditto.

	* share/demo/bad_enum/bad_enum.c : Add sample code.

Mon Apr  2 13:15:48 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Add W1057 detection.
	* lib/adlint/c/phase.rb : Ditto.

	* share/demo/bad_enum/bad_enum.c : Add sample code.

Mon Apr  2 13:05:00 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Add W1056 detection.
	* lib/adlint/c/phase.rb : Ditto.

Mon Apr  2 11:58:59 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Fix W0728, W0729 and W0730 detections not
	  to warn when the target is a variable of the other enum type.

	* share/demo/bad_enum/bad_enum.c : Add sample code.

Mon Apr  2 11:42:24 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/syntax.rb : Fix incomplete decision about the expression
	  constancy.
	* lib/adlint/c/expr.rb : Ditto.
	* lib/adlint/c/type.rb : Ditto.
	* lib/adlint/c/enum.rb : Ditto.
	* lib/adlint/c/object.rb : Ditto.
	* lib/adlint/c/mediator.rb : Ditto.
	* lib/adlint/c.rb : Ditto.
	* lib/adlint/message.rb : Ditto.
	* MANIFEST : Ditto.

Fri Mar 30 15:09:52 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Add W1055 detection.
	* lib/adlint/c/phase.rb : Ditto.

	* share/demo/bad_enum/bad_enum.c : Add sample code.

Fri Mar 30 15:05:37 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Add W1054 detection.
	* lib/adlint/c/phase.rb : Ditto.

	* share/demo/bad_enum/bad_enum.c : Add sample code.

Fri Mar 30 14:59:19 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Add W1053 detection.
	* lib/adlint/c/phase.rb : Ditto.

	* share/demo/bad_enum/bad_enum.c : Add sample code.

Thu Mar 29 10:53:48 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.ga : 1.4.0
	  - Add W0606 detection.
	  - Add W0687 detection.
	  - Add W0695 detection.
	  - Add W0698 detection.
	  - Add W0699 detection.
	  - Add W0720 detection.
	  - Add W0721 detection.
	  - Add W0722 detection.
	  - Add W0723 detection.
	  - Add W0726 detection.
	  - Add W0727 detection.
	  - Add W0728 detection.
	  - Add W0729 detection.
	  - Add W0730 detection.
	  - Add W0731 detection.
	  - Add W0737 detection.
	  - Add W0738 detection.
	  - Add W0739 detection.
	  - Add W0740 detection.
	  - Add W0741 detection.
	  - Add W0743 detection.
	  - Add W0801 detection.
	  - Add W0806 detection.
	  - Add W1033 detection.
	  - Add W1064 detection.
	  - Add W1065 detection.
	  - Add missing implicit conversion of return-statement in order to
	    detect W0727 at an expression of return-statement.
	  - Update the user's guide in Japanese.
	  - Update the user's guide in English.

Wed Mar 28 15:30:55 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* 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>

	* lib/adlint/c/interp.rb : Fix evaluation of a string literal as an
	  initializer of the array variable definition in order to detect W0653
	  correctly.

Wed Mar 28 13:51:55 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* 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.
	  - Update the user's guide in English.

Wed Mar 28 13:48:16 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/interp.rb : Fix initialization of the array variable
	  defined with a string literal as an initializer in order to detect
	  W0580 correctly.

Wed Mar 28 13:39:56 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/interp.rb : Fix notification of variable initialization
	  to pass the original object of an implicit conversion in order to
	  detect W0653 and W0654 correctly.

Wed Mar 28 12:04:08 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/interp.rb : Fix notification of return-statement
	  evaluation not to confuse W0255 family and W0730 detections.

Wed Mar 28 11:39:43 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/expr.rb : Fix access notification of array or composite
	  typeed variable value and add missing reference notification of the
	  array value in evaluation of an array-subscript-expression in order
	  to detect W0459 and W0460 correctly.

Wed Mar 28 09:58:58 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* share/doc/users_guide_ja.texi : Update descriptions about added
	  warning messages.
	* share/doc/users_guide_en.texi : Ditto.

Tue Mar 27 17:59:37 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 1.3.1
	  - Add W0737 detection.
	  - Add W0738 detection.
	  - Add W0739 detection.
	  - Add W0740 detection.
	  - Add W0741 detection.
	  - Add W0743 detection.
	  - Add missing implicit conversion of return-statement in order to
	    detect W0727 at an expression of return-statement.
	  - Update the user's guide in Japanese.
	  - Update the user's guide in English.

Tue Mar 27 17:51:06 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Add W0743 detection.
	* lib/adlint/c/phase.rb : Ditto.

	* share/demo/overflow/overflow.c : Add sample code.

Tue Mar 27 17:34:14 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Add W0740 and W0741 detections.
	* lib/adlint/c/phase.rb : Ditto.

	* share/demo/wrap_around/wrap_around.c : Add sample code.

Tue Mar 27 17:14:34 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Add W0739 detection.
	* lib/adlint/c/phase.rb : Ditto.

	* share/demo/wrap_around/wrap_around.c : Add sample code.

Tue Mar 27 16:20:13 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Add W0738 detection.
	* lib/adlint/c/phase.rb : Ditto.

	* share/demo/overflow/overflow.c : Add sample code.

Tue Mar 27 16:18:14 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/interp.rb : Move responsibility of implicit conversion
	  in evaluation of a variable-definition with initializers to
	  InitializerInterpreter in order to detect implicit conversions at
	  expressions in initializers.

Tue Mar 27 15:02:45 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Add W0737 detection.
	* lib/adlint/c/phase.rb : Ditto.

	* share/demo/incomplete_type/incomplete_type.c : Add sample code.

Tue Mar 27 12:05:03 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/interp.rb : Add missing conversion logic of
	  return-statement evaluation.

	* share/demo/bad_enum/bad_enum.c : Add sample code.

Mon Mar 26 17:05:05 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* 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.
	  - Add W0698 detection.
	  - Add W0699 detection.
	  - Add W0720 detection.
	  - Add W0721 detection.
	  - Add W0722 detection.
	  - Add W0723 detection.
	  - Add W0726 detection.
	  - Add W0727 detection.
	  - Add W0728 detection.
	  - Add W0729 detection.
	  - Add W0730 detection.
	  - Add W0731 detection.
	  - Add W0801 detection.
	  - Add W0806 detection.
	  - Add W1033 detection.
	  - Add W1064 detection.
	  - Add W1065 detection.
	  - Update the user's guide in Japanese.
	  - Update the user's guide in English.

Mon Mar 26 16:50:45 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.

Mon Mar 26 16:13:26 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/interp.rb : Add notifications about switch-statement.
	* lib/adlint/c/mediator.rb : Ditto.

	* lib/adlint/c/message.rb : Add W0731, W1064 and W1065 detections.
	* lib/adlint/c/phase.rb : Ditto.

	* share/demo/bad_enum/bad_enum.c : Add sample code.

Mon Mar 26 12:23:10 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Add W0727, W0728, W0729 and W0730
	  detections.
	* lib/adlint/c/phase.rb : Ditto.
	* lib/adlint/c/expr.rb : Ditto.
	* lib/adlint/c/type.rb : Ditto.

	* share/demo/Makefile : Add `bad_enum' demo.
	* share/demo/bad_enum/bad_enum.c : Ditto.

Mon Mar 26 12:19:13 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/resolver.rb : Add type attribute to enumerators.
	* lib/adlint/c/syntax.rb : Ditto.

Mon Mar 26 10:14:06 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Add W0722 and W0723 detections.
	* lib/adlint/c/phase.rb : Ditto.

	* share/demo/wrap_around/wrap_around.c : Add sample code.

Fri Mar 23 21:24:08 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Add W0721 detection.
	* lib/adlint/c/phase.rb : Ditto.

	* share/demo/overflow/overflow.c : Add sample code.

Fri Mar 23 20:11:29 2012  Rie Shima  <rkakuuchi@users.sourceforge.net>

	* lib/adlint/cpp/message_shima.rb : Add W0687, W0695 and W0806
	  detections.
	* lib/adlint/cpp/phase.rb : Ditto.

	* share/demo/bad_macro/bad_macro.c : Add sample code.

Fri Mar 23 20:08:37 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cpp/eval.rb : Add #undef notification.

Fri Mar 23 19:00:17 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* etc/mesg.d/ja_JP/messages.yml : Refine message text of W0726.
	* etc/mesg.d/en_US/messages.yml : Ditto.
	* share/doc/users_guide_ja.texi : Ditto.
	* share/doc/users_guide_en.texi : Ditto.

Fri Mar 23 18:55:29 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/syntax.rb : Refactor using Enumerable#each_with_object.

Fri Mar 23 18:44:30 2012  Rie Shima  <rkakuuchi@users.sourceforge.net>

	* lib/adlint/c/message_shima.rb : Add W0606, W0698, W0699, W0726, W0801
	  and W1033 detections.
	* lib/adlint/c/phase.rb : Ditto.
	* lib/adlint/c.rb : Ditto.
	* MANIFEST : Ditto.

	* share/demo/Makefile : Add `bad_return' and `unnamed_member' demos.
	* share/demo/bad_return/bad_return.c : Ditto.
	* share/demo/unnamed_member/unnamed_member.c : Ditto.

	* share/demo/union_type/union_type.c : Add sample code.
	* share/demo/various_fundef/various_fundef.c : Ditto.

Fri Mar 23 16:39:13 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Add W0720 detection.
	* lib/adlint/c/phase.rb : Ditto.
	* share/demo/overflow/overflow.c : Ditto.

Fri Mar 23 14:11:20 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Modify W0457 and W0458 detections to use
	  new #implicitly_typed? method to check whether a definition or
	  declaration is typed implicitly.

	* lib/adlint/c/syntax.rb : Fix inverted check logic.

Fri Mar 23 13:39:12 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/syntax.rb : Add DeclarationSpecifiersHolder module to
	  commonalize accessors of DeclarationSpecifiers.

Fri Mar 23 12:07:52 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/syntax.rb : Add DeclarationSpecifiers#explicitly_typed?
	  and DeclarationSpecifiers#implicitly_typed? methods.

Fri Mar 23 12:03:14 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/syntax.rb : Move common responsibilities of
	  VariableDefinition, FunctionDefinition and ParameterDefinition to
	  Definition class.

Wed Mar 21 18:50:39 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.ga : 1.2.0
	  - 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.

Wed Mar 21 14:36:30 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* 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.

Wed Mar 21 14:28:59 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/interp.rb : Fix lack of reference notification of the
	  controlling variable's value in for-statements and c99-for-statements
	  at end of the last iteration.

Wed Mar 21 13:07:29 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/expr.rb : Fix lack of notification of array and
	  composite type objects when its inner variable is accessed.

Wed Mar 21 13:03:26 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/expr.rb : Fix lack of notification of value references
	  in relational-expressions and equality-expressions.

Mon Mar 19 17:48:34 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 1.1.1
	  - Add W0688 detection.
	  - Add W0689 detection.
	  - Add W0690 detection.
	  - Fix W0459 detection to warn when a pointer argument points to an
	    uninitialized array object.
	  - Clarify message text of W0459 and W0460.
	  - Update the user's guide in Japanese.
	  - Update the user's guide in English.

Mon Mar 19 17:27:53 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cpp/eval.rb : Fix abend problem of incomplete pp-directive
	  processing.
	* lib/adlint/cpp/code.rb : Ditto.
	* lib/adlint/cpp/message.rb : Ditto.
	* lib/adlint/cpp/syntax.rb : Ditto.

Mon Mar 19 17:17:18 2012  Rie Shima  <rkakuuchi@users.sourceforge.net>

	* lib/adlint/cpp/message_shima.rb : Add W0688, W0689 and W0690
	  detections.
	* lib/adlint/cpp/phase.rb : Ditto.
	* lib/adlint/cpp.rb : Ditto.
	* MANIFEST : Ditto.
	* etc/mesg.d/ja_JP/messages.yml : Ditto.

	* share/demo/Makefile : Add `bad_line' demo.
	* share/demo/bad_line : Ditto.
	* share/demo/bad_line/bad_line.c : Ditto.

Mon Mar 19 15:06:29 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* etc/mesg.d/ja_JP/messages.yml : Clarify message text of W0459 and
	  W0460.
	* etc/mesg.d/en_US/messages.yml : Ditto.
	* share/doc/users_guide_ja.texi : Ditto.
	* share/doc/users_guide_en.texi : Ditto.

Mon Mar 19 14:49:07 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/expr.rb : Fix lack of notification of the array value
	  reference when the object-specifier specifies an array object.

	* lib/adlint/c/message.rb : Remove useless branching in W0459
	  detection.

Mon Mar 19 12:43:33 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* 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.
	  - Add W0600 detection.
	  - Change schema version validation method of input YAML files.
	  - Update the user's guide in Japanese.
	  - Update the user's guide in English.

Sat Mar 17 12:29:09 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/version.rb : Change schema version validation method of
	  input YAML files.
	* lib/adlint/message.rb : Ditto.
	* lib/adlint/traits.rb : Ditto.
	* etc/conf.d/fallback/traits.erb : Ditto.
	* etc/conf.d/i686-cygwin/traits-gcc_4.3.4.erb : Ditto.
	* etc/conf.d/i686-devkit/traits-gcc_4.5.2.erb : Ditto.
	* etc/conf.d/i686-linux/traits-gcc_4.5.1.erb : Ditto.
	* etc/conf.d/i686-mingw/traits-gcc_4.6.1.erb : Ditto.

Fri Mar 16 21:05:17 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/message.rb : Add W0599 and W0600 detections.

Fri Mar 15 18:17:40 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/phase.rb : Add W0597 and W0598 detections.
	* lib/adlint/c/message.rb : Ditto.

	* share/demo/Makefile : Add `sequence_point' demo.
	* share/demo/sequence_point/sequence_point.c : Ditto.

Thu Mar 15 16:21:32 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/c/interp.rb : Add sequence-points tracking feature to the
	  interpreter.
	* lib/adlint/c/object.rb : Ditto.
	* lib/adlint/c/syntax.rb : Ditto.
	* lib/adlint/c/expr.rb : Ditto.
	* lib/adlint/c/seqp.rb : Ditto.
	* lib/adlint/c.rb : Ditto.

Wed Mar  7 18:01:54 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* lib/adlint/cpp/message.rb : Fix bad comment about ensuring of
	  uniqueness of duplicative warning messages.

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.

Wed Feb 22 18:48:24 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 0.6.8
	  - Fix traits file validation to allow nil as `initial_header'.
	  - Fix traits file validation to allow only a numerical value as
	    numerical items such as `tab_width'.
	  - Fix traits file validation to allow a value which is between 1 and
	    256 as type-size items such as `char_size'.
	  - Fix traits file validation to allow only true or false as boolean
	    items such as `char_as_unsigned_char'.
	  - Refine the message catalog for the locale `ja_JP' and `en_US'.
	  - Update the user's guide in Japanese.
	  - Update the user's guide in English.

Tue Feb 21 18:28:05 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 0.6.7
	  - Implement missing `traits file validation' feature.

Mon Feb 20 19:26:03 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 0.6.6
	  - Revise project_traits:coding_style specification.
	  - Update the user's guide in Japanese.
	  - Update the user's guide in English.

Fri Feb 17 18:28:16 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 0.6.5
	  - Update the user's guide in Japanese.
	  - Update the user's guide in English.

Thu Feb 16 18:50:17 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 0.6.4
	  - Revise specification of W0534 detection to warn when the
	    controlling variable is not initialized in the for-statement
	    including when the initial-statement is empty.
	  - Fix freeze problem of scanning string-literal which contains
	    unescaped newline character.
	  - Fix abend problem of evaluating an indirection-expression as the
	    controlling expression of if-statement when the dereferencing
	    function pointer points nothing.
	  - Fix lack of variable definition records problem when the
	    storage-class-specifier is `register' or `auto'.
	  - Update the user's guide in Japanese.

Fri Feb 10 17:26:03 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 0.6.3
	  - Change gem packaging method.
	  - Update the user's guide in Japanese.

Wed Feb  8 11:12:30 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 0.6.2
	  - Fix abend problem of evaluating the indirection-expression which
	    makes a function object.

Tue Feb  7 18:59:44 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 0.6.1
	  - Fix lack of variable cross-ref records problem of the
	    member-access-by-pointer-expression whose pointer variable is
	    global.
	  - Fix lack of variable cross-ref records problem of the
	    array-subscript-expression whose value is of the global variable.
	  - Fix W0055 detection not to count macro definitions in AdLint
	    specific project's and compiler's initial headers.
	  - Fix lack of variable cross-ref records problem when the inner
	    variable of the global array or composite variable is accessed.
	  - Fix unnecessary variable cross-ref records problem when the global
	    variable definition whose initializer refers to other global
	    variable appears after any function definitions.
	  - Fix lack of variable cross-ref records problem when the global
	    pointer variable is refered in the reassigning context.
	  - Refine the message catalog for the locale `ja_JP'.
	  - Refine the user's guide in Japanese.

Mon Feb  6 19:18:59 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.rc : 0.6.0
	  - This is the initial release candidate for 1.0.0 GA release.
	  - Fix abend problem of the interpreter in evaluating an arithmetic
	    operation with operands whose type has not been resolved.
	  - Fix abend problem of the interpreter in evaluating a
	    member-access-by-pointer-expression whose pointer points to an
	    array object or nothing.
	  - Fix incomplete variable name problem of the DEP record in the
	    metrics file.
	  - Update the user's guide in Japanese.
	  - Update the user's guide in English.

Wed Feb  1 17:37:02 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.beta : 0.5.15
	  - Fix degraded W0031 detection.
	  - Fix bad value domain of an arbitrary value of the floating type
	    family.
	  - Update the user's guide in Japanese.

Mon Jan 30 17:47:11 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.beta : 0.5.14
	  - Fix bootstrap error messages not to contain full pathname of the
	    command.
	  - Fix off-by-one problems in W0055 detection.
	  - Fix W0440 detection to warn at the closing brace.
	  - Fix bad macro expansion problem of the function-like macro whose
	    replacement-list contains consecutive `## #' operators.
	  - Fix abend problem of W0031 detection when the initializer of the
	    global variable definition refers to other variables.
	  - Fix abend problem of W0102 detection when the initializer of the
	    global variable definition refers to other variables.
	  - Fix abend problem of W0104 detection when the initializer of the
	    global variable definition updates value of other variables.
	  - Fix abend problem of W0105 detection when the initializer of the
	    global variable definition contains indirection-expressions.
	  - Fix abend problem of W0580 detection when the initializer of the
	    global variable definition contains assignment-expressions.
	  - Fix W0457 and W0458 detection to correctly warn about implicitly
	    typed function-declarations, parameter-definitions and
	    variable-definitions.
	  - Update the user's guide in Japanese.

Thu Jan 26 16:40:52 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.beta : 0.5.13
	  - Fix adlintize command to output files with UTF-8 encoding.
	  - Clarify the error message when adlint, adlint_sma, adlint_cma and
	    adlint_chk commands failed to parse the traits file.
	  - Fix W0072, W0574, W0575 and W0576 detection to correctly warn when
	    the `file_encoding' is "binary" or omitted.
	  - Add usage description of `verbose-cma-only' target to the
	    adlintized GNUmakefile.
	  - Implement missing `change_list' feature.

Wed Jan 25 18:09:57 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.beta : 0.5.12
	  - Fix abend problem when the `file_encoding' is "binary" or omitted
	    and messages are not able to be converted into the default external
	    encoding.
	  - Change adlintized default `file_encoding' to be omitted (equivalent
	    to "binary") from "utf-8".
	  - Fix macro replacement algorithm to correctly manage the hide set
	    and to support the rescanning.
	  - Fix abend problem when the pathname of the target source file
	    contains Japanese characters.
	  - Update the user's guide in English.

Fri Jan 20 11:22:38 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.beta : 0.5.11
	  - Fix bad lexing problem when an escaped newline appears at the line
	    above a preprocessing directive line.
	  - Fix gcc profile to emulate the __builtin_va_* functions.

Thu Jan 19 18:36:36 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.beta : 0.5.10
	  - Add i686-mingw-gcc_4.6.1 profile.
	  - Fix abend problem of W0108 and W0580 detection when the initializer
	    of the global variable definition contains indirection-expressions.

Tue Jan 17 16:24:09 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.beta : 0.5.9
	  - Fix W0061 detection not to include newline characters in the
	    ignoring tokens of the message text.
	  - Fix bad token substitution problem when the substitutive pattern is
	    at end of the translation-unit.
	  - Add `verbose-cma-only' target to the adlintized GNUmakefile.
	  - Fix W0586 message duplication.
	  - Fix duplication of messages about the preprocessing phase.
	  - Update the user's guide in Japanese.
	  - Update the user's guide in English.

Mon Jan 16 19:33:19 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.beta : 0.5.8
	  - Fix message duplication problem after improving the memory usage on
	    0.5.7 release.
	  - Correct to run on Ruby 1.9.3-p0 without warnings.

Thu Jan 12 18:03:42 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.beta : 0.5.7
	  - Improve the memory usage.
	  - Fix bad macro expansion problem of the function-like macro when two
	    or more function-like macro calls are in the same line and the last
	    call ends at the next line.
	  - Update the user's guide in Japanese.

Fri Jan  6 20:46:13 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.beta : 0.5.6
	  - Fix W0553 detection to warn about the explicit conversion between
	    function pointers of different types.
	  - Fix W0578 detection to warn when the `integer conversion rank' of
	    the conversion destination type is greater than the one of the
	    conversion source type.
	  - Improve performance of the C parser.
	  - Fix huge memory consumption problem in evaluating the initializer
	    of a huge array variable.
	  - Fix bad pointer dereference problem that the indirection-expression
	    makes an object whose type is incompatible to the type of the
	    expression.
	  - Fix bad macro expansion problem of the function-like macro whose
	    name is used by other identifiers.
	  - Update the user's guide in Japanese.
	  - Update the user's guide in English.

Thu Dec 22 18:59:36 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.beta : 0.5.5
	  - Fix the interpreter not to perform the implicit conversion when it
	    is unnecessary.
	  - Fix W0578 detection not to warn when the destination type of the
	    conversion is smaller than the source type.
	  - Refine the message catalog for the locale `en_US'.

Tue Dec 20 17:35:30 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.beta : 0.5.4
	  - Fix W0036 detection to check the total count of
	    pointer-declarators, array-declarators and function-declarators.
	  - Fix degraded W0949 detection.
	  - Fix preprocessor to end the nested block comment at the first `*/'
	    token.
	  - Fix W0043 detection not to misunderstand the number of initial
	    values when the initializer contains useless braces.
	  - Fix W0108 detection to warn when the value of the
	    assignment-expression is directly used by the upper logical
	    operation.
	  - Fix W0446 detection to warn when the value of the
	    assignment-expression is directly used by the upper arithmetic or
	    assignment operation.
	  - Fix W0575 detection to warn when the invalid string literal is
	    found in the macro definition.
	  - Update the user's guide in Japanese.
	  - Add the user's guide in English.

Fri Dec 16 16:00:59 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.beta : 0.5.3
	  - Unify W0093 and W0094 detection into W0093.
	  - Unify W0460 and W0463 detection into W0460.
	  - Unify W0462 and W0464 detection into W0462.
	  - Add `-p' option to `adlint', `adlint_sma' and `adlint_chk' command
	    to analyze without overwriting result files when same basenames in
	    the target source files.

Tue Dec 13 17:07:24 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.beta : 0.5.2
	  - Improve adlintize command to automatically detect the message
	    language.
	  - Fix W0796 detection not to warn when the callee function has
	    variable arguments.
	  - Fix W0479 detection to warn only when the replacement-list seems
	    like specifier-qualifier-list which consists of two or more tokens.
	  - Correct to run on Ruby 1.9.3-p0 and JRuby 1.6.5 without warnings.
	  - Fix W1027, W1028 and W1029 detection to check both definitions and
	    declarations of variables.
	  - Update the user's guide.
	  - Refine the message catalog for the locale `en_US'.

Fri Dec  9 18:43:53 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.beta : 0.5.1
	  - Fix bad macro expansion problem of the function-like macro whose
	    replacement-list contains the token sequence consists of the
	    parameter followed by ## operator.

Fri Dec  9 16:09:00 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.beta : 0.5.0
	  - This is the initial beta release for system tests and various
	    reviews.
	  - Add W0795 detection.
	  - Add W0796 detection.
	  - Add W0797 detection.
	  - Add W0581 detection.
	  - Add W0582 detection.
	  - Add W0583 detection.
	  - Add W0584 detection.
	  - Add W0654 detection.
	  - Fix W0653 detection not to warn the unsurrounded initializer with
	    the variable of the same type.
	  - Fix W0744 detection to warn when the constant expression as the
	    controlling expression of the while-statement always makes false.
	  - Fix W0534, W0585 and W0708 detection not to fail to deduct the
	    controlling variable in the for-statement.
	  - Add W1029 detection.
	  - Add W1027 detection.
	  - Add W1028 detection.
	  - Add W0798 detection.
	  - Fix W0019, W0021, W0067, W0105, W0461, W0462, W0464, W0544, W0553,
	    W0565, W0566 and W0567 detection not to mishandle the base type of
	    the pointer type which is cv-qualified.
	  - Add W0799 detection.
	  - Add W0800 detection.
	  - Change the default locale of messages to `en_US' from `ja_JP'.
	  - Add W0785 detection.
	  - Fix W0101 detection not to warn when a pointer to the function
	    scope static variable is assigned to the pointer variable defined
	    at upper scope.
	  - Fix W0102 detection not to warn when a pointer to the function
	    scope static variable is assigned to the pointer parameter.
	  - Add W0580 detection.
	  - Add W1032 detection.
	  - Add W1034 detection.
	  - Add W0810 detection.

Tue Dec  6 15:16:22 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.alpha : 0.4.11
	  - Fix W0656 detection to warn when the conversion specifier
	    character of the conversion specifier is undefined in the ISO C99
	    and when the conversion specifier character is valid but the whole
	    conversion specifier is illformed.
	  - Fix W0673 detection to warn when the conversion specifier
	    character of the conversion specifier is undefined in the ISO C99
	    and when the conversion specifier character is valid but the whole
	    conversion specifier is illformed.
	  - Fix W0534 detection to improve the accuracy of the controlling
	    variable deduction.
	  - Fix W0708 detection to improve the accuracy of the controlling
	    variable deduction.
	  - Add W0585 detection.
	  - Fix W0704 detection not to warn about two or more declarations or
	    definitions of the same object.
	  - Add W0790 detection.
	  - Add W0744 detection.
	  - Add W0478 detection.
	  - Add W0480 detection.
	  - Add W0481 detection.
	  - Improve interpretation of iteration-statements to manage the value
	    domain of the controlling variable more correctly than 0.4.9
	    release by considering the initial value of the controlling
	    variable.
	  - Add W0622 detection.
	  - Add W0623 detection.
	  - Fix W0088 detection to warn about only the outmost logical
	    expression and to warn at the location of the logical operator.
	  - Add W1031 detection.
	  - Add W0653 detection.
	  - Add W0827 detection.
	  - Add W0828 detection.

Thu Dec  1 18:52:57 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.alpha : 0.4.10
	  - Rewrite the incomplete printf/scanf format analysis to comply with
	    the ISO C99 standard.
	  - Add W0635 detection.
	  - Add W0636 detection.
	  - Add W0637 detection.
	  - Add W0638 detection.
	  - Add W0639 detection.
	  - Add W0640 detection.
	  - Fix W0705 detection not to warn when the constant subscript value
	    is in the valid range.
	  - Fix incomplete W0016 detection to comply with the ISO C99.
	  - Fix incomplete W0017 detection to comply with the ISO C99.
	  - Fix incomplete W0018 detection to comply with the ISO C99.
	  - Fix incomplete W0656 detection to comply with the ISO C99.
	  - Fix incomplete W0657 detection to comply with the ISO C99.
	  - Fix incomplete W0658 detection to comply with the ISO C99.
	  - Fix incomplete W0659 detection to comply with the ISO C99.
	  - Fix incomplete W0660 detection to comply with the ISO C99.
	  - Fix incomplete W0661 detection to comply with the ISO C99.
	  - Fix incomplete W0662 detection to comply with the ISO C99.
	  - Fix incomplete W0663 detection to comply with the ISO C99.
	  - Fix incomplete W0664 detection to comply with the ISO C99.
	  - Fix incomplete W0665 detection to comply with the ISO C99.
	  - Fix incomplete W0666 detection to comply with the ISO C99.
	  - Fix incomplete W0667 detection to comply with the ISO C99.
	  - Fix incomplete W0668 detection to comply with the ISO C99.
	  - Fix incomplete W0669 detection to comply with the ISO C99.
	  - Fix incomplete W0670 detection to comply with the ISO C99.
	  - Fix incomplete W0671 detection to comply with the ISO C99.
	  - Fix incomplete W0672 detection to comply with the ISO C99.
	  - Fix incomplete W0673 detection to comply with the ISO C99.
	  - Fix incomplete W0674 detection to comply with the ISO C99.
	  - Fix incomplete W0675 detection to comply with the ISO C99.
	  - Fix incomplete W0676 detection to comply with the ISO C99.
	  - Fix incomplete W0677 detection to comply with the ISO C99.
	  - Fix incomplete W0678 detection to comply with the ISO C99.
	  - Fix incomplete W0679 detection to comply with the ISO C99.
	  - Fix incomplete W0680 detection to comply with the ISO C99.
	  - Fix incomplete W0681 detection to comply with the ISO C99.
	  - Fix incomplete W0682 detection to comply with the ISO C99.
	  - Fix incomplete W0683 detection to comply with the ISO C99.
	  - Fix incomplete W0684 detection to comply with the ISO C99.
	  - Add the message catalog for the locale `en_US'.

Fri Nov 18 19:12:34 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.alpha : 0.4.9
	  - Improve interpretation of iteration-statements to manage the value
	    domain of the controlling variable correctly.
	  - Fix W0609 detection not to misunderstand that the
	    logical-expression in the controlling expression of the
	    iteration-statement is always true.
	  - Fix W0610 detection not to misunderstand that the
	    logical-expression in the controlling expression of the
	    iteration-statement is always false.
	  - Fix W0611 detection not to misunderstand that the controlling
	    expression of the iteration-statement is always true.
	  - Fix W0612 detection not to misunderstand that the
	    logical-expression with the controlling variable in upper
	    iteration-statement is always false.
	  - Fix W0613 detection not to misunderstand that the controlling
	    expression of the iteration-statement is always false.
	  - Fix abend problem of evaluating the function definition whose
	    return type is omitted.
	  - Fix W0578 detection not to warn the implicit conversion between
	    cv-qualified and non-qualified of same base type in
	    variable-definitions.
	  - Add W0624 detection.
	  - Add W0705 detection.
	  - Add W0745 detection.

Wed Nov 16 20:37:38 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.alpha : 0.4.8
	  - Fix abend problem of evaluating the conditional-expression whose
	    `true expression' is array-subscript-expression makes an array
	    object and `false expression' is object-specifier designating an
	    array object.
	  - Fix W0422 detection to warn the possibly nullable pointer.
	  - Add W1051 detection.
	  - Fix W0578 detection not to warn the implicit conversion between
	    cv-qualified and non-qualified of the same base type.
	  - Add W1052 detection.
	  - Add W0703 detection.
	  - Add W0704 detection.
	  - Fix W0100 detection to warn the variable which is defined without
	    initializer and assigned only once.
	  - Add W0736 detection.
	  - Add W0696 detection.
	  - Add W0708 detection.
	  - Fix W0038 detection not to mishandle the length of the array type.
	  - 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 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 degraded W0777, W0778 and W0779 detection.
	  - Fix abend problem of evaluating the function definition which has
	    unnamed parameter which type is a user type.

Mon Nov 14 19:59:57 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.alpha : 0.4.7
	  - Add W1050 detection.
	  - Fix abend problem of evaluating the else-if statement sequence.
	  - Fix abend problem of evaluating the negative sized array variable
	    definition.
	  - Fix bad value domain narrowing problem after 0.4.5 release.

Fri Nov 11 20:06:19 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.alpha : 0.4.6
	  - Add W0611 detection.
	  - Add W0612 detection.
	  - Add W0613 detection.
	  - Add W0614 detection.
	  - Add W1049 detection.
	  - Improve the variable value version management to reduce the height
	    of the version tree.

Fri Nov  4 18:45:16 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.alpha : 0.4.5
	  - Add W0627 detection.
	  - Fix W0629 detection not to misunderstand that all static functions
	    are not called.
	  - Add W0742 detection.
	  - Add W0491 detection.
	  - Add W0492 detection.
	  - Add W0947 detection.
	  - Add W0948 detection.
	  - Add W0950 detection.
	  - Add W0605 detection.
	  - Add W0609 detection.
	  - Add W0610 detection.

Mon Oct 31 18:56:14 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.alpha : 0.4.4
	  - Fix abend problem of parsing the function definition whose
	    parameter types are omitted.
	  - Add `adlint_chk' command and add `check' target to the adlintized
	    GNUmakefile for fast configuration files validation.
	  - 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.

Wed Oct 26 22:06:55 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.alpha : 0.4.3
	  - Fix W0077 detection to warn when the constant is a decimal integer.
	  - Fix W0081 detection to warn when the operand of the unary-minus
	    expression has `unsigned long long' type.
	  - Fix W0082 detection to warn when the operand of the unary-minus
	    expression has bitfield type.
	  - Fix W0114 detection to warn about the condition part of the
	    conditional-expression.
	  - Fix W0115, W0116, W0568, W0569, W0570 and W0571 detection to warn
	    about the bit shifting compound-assignment-expression.
	  - Fix bad variable value version management problem after rewriting
	    the interpreter on 0.2.0 release.
	  - Add `sma-only' and `verbose-sma-only' targets to the adlintized
	    GNUmakefile.
	  - Improve the interpreter to support the value wrap-around semantics
	    of conversions.
	  - Fix variable value version management not to mishandle the version
	    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 mswin.
	  - Add W0578 detection.

Wed Oct 19 17:47:16 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.alpha : 0.4.2
	  - Fix degraded W0043 detection.
	  - 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 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 (number of estimated static paths per
	    function) metric measurement.
	  - Add W0576 detection.
	  - Add W0577 detection.

Thu Oct 13 19:53:19 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.alpha : 0.4.1
	  - Add W0567 detection.
	  - Add W0568 detection.
	  - Add W0569 detection.
	  - Add W0570 detection.
	  - Fix W0088 detection not to warn about the controlling expression of
	    control statements.
	  - Add W0571 detection.
	  - Add W0572 detection.
	  - Add W0574 detection.
	  - Add W0575 detection.

Tue Oct 11 16:28:46 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.alpha : 0.4.0
	  - Fix W0035 detection to warn when the type of right-hand-side
	    operand in a logical expression is a composite type.
	  - Fix degraded W0039 detection.
	  - Add `linker_traits' section to the traits file.
	  - Improve W0051 detection to consider about case-sensitiveness of
	    external symbols.
	  - Fix W0043 detection not to warn when the initializer is `{0}'.
	  - Fix W0566 detection to warn only when one of operands of the
	    cast-expression has type of the function pointer.

Thu Oct  6 16:10:37 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.alpha : 0.3.4
	  - Fix branch condition ensuring mechanism to suppress warnings about
	    the implicit condition expressions in switch-statement.
	  - Add W0559 detection.
	  - 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 W0080 detection not to warn about function local const
	    variables.
	  - Add W0563 detection.
	  - Add W0564 detection.
	  - Add W0565 detection.
	  - Add W0566 detection.
	  - Fix problem in W0553 detection that the explicit conversion of
	    functions does not cause warnings.
	  - Fix W0117 detection to warn about object definitions, not object
	    declarations.
	  - Fix W0118 detection to warn about object declarations, not object
	    definitions.
	  - 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.

Tue Oct  4 17:30:33 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.alpha : 0.3.3
	  - Fix bad value domain reduction problem after improving the
	    interpreter on 0.3.1 release.
	  - Add W0542 detection.
	  - Add W0543 detection.
	  - Add W0544 detection.
	  - Add W0546 detection.
	  - Add W0549 detection.
	  - Fix W0100 detection not to warn when the member variable of the
	    composite variable is written.
	  - Add W0551 detection.
	  - Add W0552 detection.
	  - Add W0553 detection.
	  - Add W0554 detection.
	  - Add W0556 detection.

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 value domain narrowing problem after improving the
	    interpreter on 0.3.1 release.
	  - Add W0538 detection.
	  - Add W0540 detection.
	  - Fix W0105 detection not to warn about function-pointers.

Tue Sep 27 11:40:10 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.alpha : 0.3.1
	  - Improve the interpreter to support the fall-through semantics of
	    switch-statements.
	  - Change short version of the `--verbose' option to `-v'.

Tue Sep  6 16:59:02 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.alpha : 0.3.0
	  - Merge 3 traits files into single traits file.
	  - Improve `adlint' command to support the list-file.
	  - Improve `adlintize' command to generate list-file, unix sh script
	    and mswin bat file.

Thu Sep  1 11:17:34 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.alpha : 0.2.5
	  - Add W0489 detection.
	  - Add W0490 detection.
	  - Add W0496 detection.
	  - Add W0497 detection.
	  - Add W0532 detection.
	  - Fix problem that the inner switch-statement is not evaluated by the
	    interpreter when the switch-statement is labeled by `default:' of
	    the outer switch-statement.

Tue Aug 23 16:07:49 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.alpha : 0.2.4
	  - Fix W0458 detection to warn when type-specifiers in the parameter
	    list are omitted.
	  - Add W0495 detection.
	  - Add W0498 detection.
	  - Add W0499 detection.
	  - Add W0500 detection.
	  - Add W0501 detection.
	  - Add W0502 detection.
	  - Add W0508 detection.
	  - Fix W0432 detection not to warn the standalone composite-statement.
	  - Fix W0105 detection not to be output when the assignment to the
	    result of the indirection-expression occured.
	  - Fix W0028, W0421 and W0422 detections to warn about null pointer
	    dereference in array-subscript-expression with a pointer.
	  - Fix W0100 detection not to warn about an array of const objects.
	  - Fix W0088 detection to warn the logical-expression has
	    right-hand-side without side effect in the initializer.
	  - Add W0488 detection.

Tue Aug 16 15:08:56 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.alpha : 0.2.3
	  - Fix abend problem when a bitfield base type is not an `int'.
	  - Fix selection condition evaluation to correctly detect that the
	    condition must be true or may be true.
	  - Fix determination logic of completeness of branches of execution
	    paths to correctly trace alteration of variable values.
	  - Fix W0105 detection not to warn when the parameter type is a
	    pointer to a const object.
	  - Add W0461 detection.
	  - Add W0462 detection.
	  - Add W0463 detection.
	  - Add W0464 detection.

Fri Aug 12 13:56:55 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.alpha : 0.2.2
	  - Correct to run on Ruby 1.9.3-preview1 without warnings.
	  - Change the version validation policy of input files.
	  - Fix the interpreter not to misunderstand that the variable defined
	    with an initializer which results to an undefined-value is
	    undefined.
	  - Fix W0028, W0421 and W0422 detections to warn about null pointer
	    dereference in member-access-by-pointer-expressions.
	  - Fix W0459 detection to suppress message with undefined temporary
	    variables.
	  - Fix problem when the recursive object-like macro appears in the
	    argument of the function-like macro.
	  - Fix type resolution problem of the bit-field type.
	  - Improve the value-domain management to support value-domain
	    narrowing to enter the `else' branch.
	  - Fix problem that the indirection-expression results invalid object
	    when the expression designates other than the array object.
	  - Fix abend problem of the builtin `__adlint__eval' function call.
	  - Fix huge memory consumption problem in instantiation of huge
	    variable length array type.

Fri Jul 29 19:04:49 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.alpha : 0.2.1
	  - Fix huge memory consumption problem in value-domain management.
	  - Fix argument substitution bug of function-like macros.

Tue Jul 26 17:38:17 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.alpha : 0.2.0
	  - Add W9001 detection.
	  - Fix mistaken dead code problem of empty condition statement in
	    for-statement.
	  - Fix unnamed implicit function problem in W0109 detection.
	  - Fix mistaken token location problem of macro expansion.
	  - Fix wchar_t min-max value undefined problem in W0441 detection.
	  - Add logging function.
	  - Change metric file name `*.met' to `*.met.csv'.
	  - Change message file name `*.msg' to `*.msg.csv'.
	  - Add the exec_working_directory field in the version record of the
	    metric file and the message file.
	  - Support #include_next directive of the GNU GCC extension.
	  - Rewrite the interpreter to support the value-domain management to
	    improve the accuracy of the dead code detection.
	  - Fix bad cyclomatic complexity measurement problem of if-else
	    statement.

Tue May 17 13:37:17 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.alpha : 0.1.6
	  - Change preprocessed source file name `*.c.i' to `*.i'.
	  - Change exit behavior of `adlint', `adlint_sma' and `adlint_cma'
	    command.
	  - Add W0040 detection.
	  - Add W0655 detection.
	  - Add W0786 detection.
	  - Add W0949 detection.
	  - Add W0059 detection.
	  - Add W0060 detection.
	  - Add W0072 detection.
	  - Add W0440 detection.
	  - Add W0441 detection.
	  - Add W0477 detection.
	  - Add W0479 detection.
	  - Add W0482 detection.
	  - Add W0483 detection.
	  - Add W0493 detection.
	  - Add W0511 detection.
	  - Add W0512 detection.
	  - Add W0528 detection.
	  - Add W0529 detection.
	  - Add W0530 detection.
	  - Fix problem of using `-d' option with adlint command.

Fri May  6 15:04:33 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.alpha : 0.1.5
	  - Fix problem in FN_CALL measurement.
	  - Add location of the function-definition in function metric record.

Mon May  2 15:26:45 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.alpha : 0.1.4
	  - Revise compiler traits file format.
	  - Add W0525 detection.
	  - Fix inconsistent function call-graph problem in W0555 detection.

Wed Apr 27 16:13:23 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.alpha : 0.1.3
	  - Fix bad message catalog entries.

Wed Apr 27 12:43:13 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.alpha : 0.1.2
	  - Fix problems about detection of void-function call in logical
	    expressions.
	  - Support separated project tree and Makefile generation.
	  - Fix problems about generic labeled statement in switch statement.
	  - Implement value-narrowing after the error check path termination.

Mon Apr 18 10:13:37 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.alpha : 0.1.1
	  - Improve performance of the preprocessor.
	  - Fix problems about implicit conversion detections.
	  - Fix problems about nested composite type instantiations.

Wed Apr 13 10:09:52 2011  Yutaka Yanoh  <yanoh@users.sourceforge.net>

	* release.alpha : 0.1.0
	  - This is the initial alpha release for system tests.
	  - Implement `single module analysis' and `cross module analysis'.
	  - Implement 456 kinds of code checkings.
	  - Implement 14 kinds of code structure extractions.
	  - Implement 15 kinds of code quality metric measurements.
