r0001.c

// 0 inline variable a at ("test/cases/small/for.c": line 1)
// 0 remove statement at ("test/cases/small/for.c": line 4)
// 0 remove initializer at ("test/cases/small/for.c": line 4)
// 1 reduce to left at ("test/cases/small/for.c": line 4)

static int a = 0;
int main()
{
    for (a;;)
    {
    }
}