/*
 * Verify that the statement following an unused label
 * is not discarded with the label.
 */

static int bad(int a, int b)
{
        int r = 0;

start:
        r += a;
        r += b;

        return r;
}

/*
 * check-name: discarded-label-statement
 * check-command: test-linearize $file
 *
 * check-output-ignore
 * check-output-contains: add
 * check-output-contains: %arg1
 */