函数逻辑报告 |
Source Code:lib\test_stackinit.c |
Create Date:2022-07-27 07:34:46 |
| Last Modify:2020-03-12 14:18:49 | Copyright©Brick |
| 首页 | 函数Tree |
| 注解内核,赢得工具 | 下载SCCT | English |
函数名称:Check two uses through a variable declaration outside either path,* which was noticed as a special case in porting earlier stack init* compiler logic.
函数原型:static int noinline __leaf_switch_none(int path, bool fill)
返回类型:int
参数:
| 类型 | 参数 | 名称 |
|---|---|---|
| int | path | |
| bool | fill |
| 290 | target_size等于var的长度 |
| 291 | 如果fill则 |
| 297 | 内存复制(check_buf, Location and size tracking to validate fill and test are colocated. , target_size) |
| 298 | 退出 |
| 301 | target_size等于var的长度 |
| 302 | 如果fill则 |
| 308 | 内存复制(check_buf, Location and size tracking to validate fill and test are colocated. , target_size) |
| 309 | 退出 |
| 310 | 默认 |
| 311 | var等于5 |
| 314 | 返回:0 |
| 名称 | 描述 |
|---|---|
| leaf_switch_1_none | |
| leaf_switch_2_none |
| 源代码转换工具 开放的插件接口 | X |
|---|---|
| 支持:c/c++/esqlc/java Oracle/Informix/Mysql 插件可实现:逻辑报告 代码生成和批量转换代码 |