Bug 1139: Fix internal error: "bad split" with CONFIG_COMBINE