Additional guards to avoid call blockInfoGet() on a WhileDo and DoWhile
Merge pull request #928 from noakesmichael/while-0

Introduce additional guards to avoid call BlockStmt::blockInfoGet() on a WhileDo and DoWhile

Compiled: STD clang/darwin, STD gcc/linux64, LLVM gcc/linux64
Tested: paratest --verify
Review: none