treat `while(true)` like `do ... while()` for the purpose of checking local variable initializations (closes #2774)