Change if (cond) ... else llvm_unreachable("text") to assert(cond && "text") ...