/* Bug #2312 */

#error "Compiler should exit with failure"

int main(void)
{
    return 0;
}