break;
default:
- fprintf(stderr, "Mode for Mod not supported: %s\n", get_mode_name(res_mode));
- assert(0);
- return NULL;
-
+ panic("Mode for Mod not supported: %s\n", get_mode_name(res_mode));
}
proj_div = new_rd_Proj(env->dbg, div_result, res_mode, pn_DivMod_res_div);
break;
}
panic("Mode for Abs not supported: %F", env->mode);
- return NULL;
}
/**