path: root/test_deliverable/testcases/test_WHILE0.c

int while0(int a, int b)
{
    while(0)
    {
	a = b;
    }

    return a;
}