函数逻辑报告 |
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 插件可实现:逻辑报告 代码生成和批量转换代码 |