static void foo(int a)
{
        return;
        a = 0;
}

/*
 * check-name: store-deadborn
 */