java/java-tests/testData/inspection/dataFlow/SCR13702/src/Foo.java

public class Foo {
   public void foo() {
      do {} while(false);
   }
}