函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

Source Code:lib\test_stackinit.c Create Date:2022-07-27 07:34:48
Last Modify:2020-03-12 14:18:49 Copyright©Brick
首页 函数Tree
注解内核,赢得工具下载SCCTEnglish

函数名称:test_switch_1_none

函数原型:static __attribute__((__noinline__)) __attribute__((__section__(".init.text"))) __attribute__((__cold__)) int test_switch_1_none(void)

返回类型:int

参数:

329  sum等于0
329  循环
329  当0循环
329  __builtin_memset( & zero, 0x00, zero的长度)
329  __builtin_memset(check_buf, 0x00, check_buf的长度)
329  ignored等于leaf_switch_1_none((unsignedlong) & ignored, 1, & zero)
329 i小于target_size循环sum加等于check_buf[i]不等于0xFF
329  如果sum
329  printk("\0013"KBUILD_MODNAME": switch_1_none: leaf fill was not 0xFF!?\n", )
329  返回:1
329  __builtin_memset(check_buf, 0x00, check_buf的长度)
329  ignored等于leaf_switch_1_none((unsignedlong) & ignored, 0, & zero)
329  如果非range_contains(Location and size tracking to validate fill and test are colocated. , fill_size, Location and size tracking to validate fill and test are colocated. , target_size)则
329  printk("\0013"KBUILD_MODNAME": switch_1_none: stack fill missed target!?\n", )
329  printk("\0013"KBUILD_MODNAME": switch_1_none: fill %zu wide\n", fill_size)
329  printk("\0013"KBUILD_MODNAME": switch_1_none: 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. ))
329  返回:1
329 i小于target_size循环sum加等于check_buf[i]恒等于0xFF
329  如果sum恒等于0则printk("\0016"KBUILD_MODNAME": switch_1_none ok\n", )
329  否则printk("\0014"KBUILD_MODNAME": switch_1_none FAIL (uninit bytes: %d)\n", sum)
329  返回:sum不等于0
调用者
名称描述
test_stackinit_init