* 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.
* 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.