#define TEST(N)                 \
        do {                    \
                d = b + a[N];   \
                if (d < b)      \
                        c++;    \
                b = d;          \
        } while (0)

int foo(int *a, int b, int c)
{
        int d;

        TEST(0);
        TEST(1);
        TEST(2);

        return d + c;
}

/*
 * check-name: quadratic phisrc
 * check-command: test-linearize -Wno-decl $file
 * check-output-ignore
 * check-output-excludes: phi\\..*, .*, .*
 * check-output-excludes: phi\\..*, .*, .*, .*
 * check-output-pattern(6): phisrc\\.
 */