r000001.c

// 0 remove function add (25) at ("test/cases/small/add.c": line 1)
// 0 remove parameter at ("test/cases/small/add.c": line 1)
// 0 remove parameter at ("test/cases/small/add.c": line 1)
// 0 remove return statement at ("test/cases/small/add.c": line 5)
// 0 reduce to expression at ("test/cases/small/add.c": line 5)
// 1 reduce to expression at ("test/cases/small/add.c": line 5)

int add(int a, int b)
{
}
int main()
{
    return 10;
}