函数逻辑报告 |
Source Code:lib\ubsan.c |
Create Date:2022-07-27 08:21:14 |
| Last Modify:2020-03-12 14:18:49 | Copyright©Brick |
| 首页 | 函数Tree |
| 注解内核,赢得工具 | 下载SCCT | English |
函数名称:__ubsan_handle_negate_overflow
函数原型:void __ubsan_handle_negate_overflow(struct overflow_data *data, void *old_val)
返回类型:void
参数:
| 类型 | 参数 | 名称 |
|---|---|---|
| struct overflow_data * | data | |
| void * | old_val |
| 214 | 如果suppress_report( & location)则返回 |
| 217 | ubsan_prologue( & location) |
| 219 | val_to_string(old_val_str, old_val_str的长度, type, old_val) |
| 221 | 打印错误信息("negation of %s cannot be represented in type %s:\n", old_val_str, type_name) |
| 224 | ubsan_epilogue() |
| 源代码转换工具 开放的插件接口 | X |
|---|---|
| 支持:c/c++/esqlc/java Oracle/Informix/Mysql 插件可实现:逻辑报告 代码生成和批量转换代码 |