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