函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

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

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

返回类型：int

参数：无

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