Test-case reduction for C compiler bugs
