函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

返回类型:int

参数:

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