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