函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称:Static initialization: padding may be left uninitialized.

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

返回类型:int

参数:

265  sum等于0
265  循环
265  当0循环
265  __builtin_memset( & zero, 0x00, zero的长度)
265  __builtin_memset(check_buf, 0x00, check_buf的长度)
265  ignored等于Static initialization: padding may be left uninitialized.
265 i小于target_size循环sum加等于check_buf[i]不等于0xFF
265  如果sum
265  printk("\0013"KBUILD_MODNAME": packed_static_partial: leaf fill was not 0xFF!?\n", )
265  返回:1
265  __builtin_memset(check_buf, 0x00, check_buf的长度)
265  ignored等于Static initialization: padding may be left uninitialized.
265  如果非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)则
265  printk("\0013"KBUILD_MODNAME": packed_static_partial: stack fill missed target!?\n", )
265  printk("\0013"KBUILD_MODNAME": packed_static_partial: fill %zu wide\n", fill_size)
265  printk("\0013"KBUILD_MODNAME": packed_static_partial: 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. ))
265  返回:1
265 i小于target_size循环sum加等于check_buf[i]恒等于0xFF
265  如果sum恒等于0则printk("\0016"KBUILD_MODNAME": packed_static_partial ok\n", )
265  否则printk("\0014"KBUILD_MODNAME": packed_static_partial FAIL (uninit bytes: %d)\n", sum)
265  返回:sum不等于0