Dispatch table should be invalid for no-branches case.