函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

Source Code:lib\test_stackinit.c Create Date:2022-07-27 07:33:38
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_big_hole_static_all(void)

返回类型：int

参数：无

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