java/java-tests/testData/inspection/dataFlow/SCR13626/src/Test.java

class Test
{
class Test
{
    public void x()
    {
        boolean a = false;
        boolean b = true;

        do
        {
            a = true;
        }
        while( !a && b );
    }
}}