void a(int c, int e)
{
        for(;                   b; c ;

        if (()) {
                unsigned short d = e;
                if (())
                        while ()
                                ;
                &d;
        }

        if (()) {
                int f = &f;
        }
}

/*
 * check-name: crash rewrite_branch
 * check-command: test-linearize $file
 *
 * check-error-ignore
 * check-output-ignore
 */