函数逻辑报告 |
Source Code:lib\ubsan.c |
Create Date:2022-07-27 08:21:15 |
Last Modify:2020-03-12 14:18:49 | Copyright©Brick |
首页 | 函数Tree |
注解内核,赢得工具 | 下载SCCT | English |
函数名称:__ubsan_handle_divrem_overflow
函数原型:void __ubsan_handle_divrem_overflow(struct overflow_data *data, void *lhs, void *rhs)
返回类型:void
参数:
类型 | 参数 | 名称 |
---|---|---|
struct overflow_data * | data | |
void * | lhs | |
void * | rhs |
234 | 如果suppress_report( & location)则返回 |
237 | ubsan_prologue( & location) |
239 | val_to_string(rhs_val_str, rhs_val_str的长度, type, rhs) |
241 | 如果type_is_signed(type)且get_signed_val(type, rhs)恒等于负1则打印错误信息("division of %s by -1 cannot be represented in type %s\n", rhs_val_str, type_name) |
244 | 否则打印错误信息("division by zero\n") |
247 | ubsan_epilogue() |
源代码转换工具 开放的插件接口 | X |
---|---|
支持:c/c++/esqlc/java Oracle/Informix/Mysql 插件可实现:逻辑报告 代码生成和批量转换代码 |