函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

Source Code:lib\test_overflow.c Create Date:2022-07-27 07:28:17
Last Modify:2022-05-18 10:03:51 Copyright©Brick
首页 函数Tree
注解内核,赢得工具下载SCCTEnglish

函数名称：do_test_u32

函数原型：static int __attribute__((__section__(".init.text"))) __attribute__((__cold__))do_test_u32(const struct test_u32 *p)

返回类型：int

参数：

类型参数名称
const struct test_u32 *p
267  err等于0
267  循环
267  _of = ({
267  __a等于a
267  __b等于b
267  __d等于_r
267  __a恒等于__b
267  __a恒等于__d
267  __builtin_add_overflow(__a, __b, __d)
267  })
267  如果_of不等于s_of则
267  printk("\0014"KBUILD_MODNAME": expected %u + %u to%s overflow (type %s)\n", a, b, s_of ? "" : " not", "u32")
267  err等于1
267  如果_r不等于sum则
267  printk("\0014"KBUILD_MODNAME": expected %u + %u == %u, got %u (type %s)\n", a, b, sum, _r, "u32")
267  err等于1
267  当0循环
267  循环
267  _of = ({
267  __a等于b
267  __b等于a
267  __d等于_r
267  __a恒等于__b
267  __a恒等于__d
267  __builtin_add_overflow(__a, __b, __d)
267  })
267  如果_of不等于s_of则
267  printk("\0014"KBUILD_MODNAME": expected %u + %u to%s overflow (type %s)\n", b, a, s_of ? "" : " not", "u32")
267  err等于1
267  如果_r不等于sum则
267  printk("\0014"KBUILD_MODNAME": expected %u + %u == %u, got %u (type %s)\n", b, a, sum, _r, "u32")
267  err等于1
267  当0循环
267  循环
267  _of = ({
267  __a等于a
267  __b等于b
267  __d等于_r
267  __a恒等于__b
267  __a恒等于__d
267  __builtin_sub_overflow(__a, __b, __d)
267  })
267  如果_of不等于d_of则
267  printk("\0014"KBUILD_MODNAME": expected %u - %u to%s overflow (type %s)\n", a, b, d_of ? "" : " not", "u32")
267  err等于1
267  如果_r不等于diff则
267  printk("\0014"KBUILD_MODNAME": expected %u - %u == %u, got %u (type %s)\n", a, b, diff, _r, "u32")
267  err等于1
267  当0循环
267  循环
267  _of = ({
267  __a等于a
267  __b等于b
267  __d等于_r
267  __a恒等于__b
267  __a恒等于__d
267  __builtin_mul_overflow(__a, __b, __d)
267  })
267  如果_of不等于p_of则
267  printk("\0014"KBUILD_MODNAME": expected %u * %u to%s overflow (type %s)\n", a, b, p_of ? "" : " not", "u32")
267  err等于1
267  如果_r不等于prod则
267  printk("\0014"KBUILD_MODNAME": expected %u * %u == %u, got %u (type %s)\n", a, b, prod, _r, "u32")
267  err等于1
267  当0循环
267  循环
267  _of = ({
267  __a等于b
267  __b等于a
267  __d等于_r
267  __a恒等于__b
267  __a恒等于__d
267  __builtin_mul_overflow(__a, __b, __d)
267  })
267  如果_of不等于p_of则
267  printk("\0014"KBUILD_MODNAME": expected %u * %u to%s overflow (type %s)\n", b, a, p_of ? "" : " not", "u32")
267  err等于1
267  如果_r不等于prod则
267  printk("\0014"KBUILD_MODNAME": expected %u * %u == %u, got %u (type %s)\n", b, a, prod, _r, "u32")
267  err等于1
267  当0循环
267  返回:err
调用者
名称描述
test_u32_overflow