函数逻辑报告 |
Source Code:lib\test_stackinit.c |
Create Date:2022-07-27 07:33:11 |
Last Modify:2020-03-12 14:18:49 | Copyright©Brick |
首页 | 函数Tree |
注解内核,赢得工具 | 下载SCCT | English |
函数名称:These should be fully initialized all the time!
函数原型:static __attribute__((__noinline__)) __attribute__((__section__(".init.text"))) __attribute__((__cold__)) int test_u64_zero(void)
返回类型:int
参数:无
262 | sum等于0 |
262 | 循环 |
262 | 当0循环 |
262 | __builtin_memset( & zero, 0x00, zero的长度) |
262 | __builtin_memset(check_buf, 0x00, check_buf的长度) |
262 | 如果sum则 |
262 | printk("\0013"KBUILD_MODNAME": u64_zero: leaf fill was not 0xFF!?\n", ) |
262 | 返回:1 |
262 | __builtin_memset(check_buf, 0x00, check_buf的长度) |
262 | printk("\0013"KBUILD_MODNAME": u64_zero: stack fill missed target!?\n", ) |
262 | printk("\0013"KBUILD_MODNAME": u64_zero: fill %zu wide\n", fill_size) |
262 | printk("\0013"KBUILD_MODNAME": u64_zero: target offset by %d\n", (int)((ssize_t)(uintptr_t)Location and size tracking to validate fill and test are colocated. - (ssize_t)(uintptr_t)Location and size tracking to validate fill and test are colocated. )) |
262 | 返回:1 |
262 | 如果sum恒等于0则printk("\0016"KBUILD_MODNAME": u64_zero ok\n", ) |
262 | 否则printk("\0014"KBUILD_MODNAME": u64_zero FAIL (uninit bytes: %d)\n", sum) |
262 | 返回:sum不等于0 |
源代码转换工具 开放的插件接口 | X |
---|---|
支持:c/c++/esqlc/java Oracle/Informix/Mysql 插件可实现:逻辑报告 代码生成和批量转换代码 |