函数逻辑报告 |
Source Code:include\linux\idr.h |
Create Date:2022-07-27 06:45:03 |
Last Modify:2020-03-12 14:18:49 | Copyright©Brick |
首页 | 函数Tree |
注解内核,赢得工具 | 下载SCCT | English |
函数名称:ida_is_empty
函数原型:static inline bool ida_is_empty(const struct ida *ida)
返回类型:bool
参数:
类型 | 参数 | 名称 |
---|---|---|
const struct ida * | ida |
名称 | 描述 |
---|---|
ida_check_alloc | Straightforward checks that allocating and freeing IDs work. |
ida_check_destroy_1 | Destroy an IDA with a single entry at @base |
ida_check_destroy | Check that ida_destroy and ida_is_empty work |
ida_check_leaf | Check what happens when we fill a leaf and then delete it. This may* discover mishandling of IDR_FREE. |
ida_check_max | Check allocations up to and slightly above the maximum allowed (2^31-1) ID.* Allocating up to 2^31-1 should succeed, and then allocating the next one* should fail. |
ida_check_conv | Check handling of conversions between exceptional entries and full bitmaps. |
ida_checks |
源代码转换工具 开放的插件接口 | X |
---|---|
支持:c/c++/esqlc/java Oracle/Informix/Mysql 插件可实现:逻辑报告 代码生成和批量转换代码 |