Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
new |
0,3592019257962360832 |
| PARAM_VALUE |
1 |
new->mq_curmsgs |
s32min-s32max |
| PARAM_VALUE |
1 |
new->mq_flags |
s32min-s32max |
| PARAM_VALUE |
1 |
new->mq_maxmsg |
s32min-s32max |
| PARAM_VALUE |
1 |
new->mq_msgsize |
s32min-s32max |
| PARAM_VALUE |
2 |
old |
0,6398048819431145472 |
| BUF_SIZE |
1 |
new |
0,64 |
| BUF_SIZE |
1 |
new |
0,64 |
| BUF_SIZE |
2 |
old |
0,64 |
| BUF_SIZE |
2 |
old |
0,64 |
| DATA_SOURCE |
0 |
mqdes |
$0 |
| BIT_INFO |
1 |
new |
0x0,0x31d96a7bd9357000 |
| BIT_INFO |
1 |
new |
0x0,0x31d96a7bd9357000 |
| BIT_INFO |
2 |
old |
0x0,0x58ca6f80c1cd0000 |
| BIT_INFO |
2 |
old |
0x0,0x58ca6f80c1cd0000 |
| USER_DATA |
0 |
mqdes |
s32min-s32max |
| USER_DATA |
1 |
new->mq_curmsgs |
s32min-s32max |
| USER_DATA |
1 |
new->mq_flags |
s32min-s32max |
| USER_DATA |
1 |
new->mq_maxmsg |
s32min-s32max |
| USER_DATA |
1 |
new->mq_msgsize |
s32min-s32max |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
new |
0,3592019257962360832 |
| PARAM_VALUE |
1 |
new->mq_curmsgs |
s32min-s32max |
| PARAM_VALUE |
1 |
new->mq_flags |
s32min-s32max |
| PARAM_VALUE |
1 |
new->mq_maxmsg |
s32min-s32max |
| PARAM_VALUE |
1 |
new->mq_msgsize |
s32min-s32max |
| PARAM_VALUE |
2 |
old |
0,6398048819431145472 |
| BUF_SIZE |
1 |
new |
0,64 |
| BUF_SIZE |
1 |
new |
0,64 |
| BUF_SIZE |
2 |
old |
0,64 |
| BUF_SIZE |
2 |
old |
0,64 |
| DATA_SOURCE |
0 |
mqdes |
$0 |
| BIT_INFO |
1 |
new |
0x0,0x31d96a7bd9357000 |
| BIT_INFO |
1 |
new |
0x0,0x31d96a7bd9357000 |
| BIT_INFO |
2 |
old |
0x0,0x58ca6f80c1cd0000 |
| BIT_INFO |
2 |
old |
0x0,0x58ca6f80c1cd0000 |
| USER_DATA |
0 |
mqdes |
s32min-s32max |
| USER_DATA |
1 |
new->mq_curmsgs |
s32min-s32max |
| USER_DATA |
1 |
new->mq_flags |
s32min-s32max |
| USER_DATA |
1 |
new->mq_maxmsg |
s32min-s32max |
| USER_DATA |
1 |
new->mq_msgsize |
s32min-s32max |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
new |
0,9009859429143224320 |
| PARAM_VALUE |
2 |
old |
0,4473836989658292224 |
| BUF_SIZE |
1 |
new |
0,64 |
| BUF_SIZE |
1 |
new |
0,64 |
| BUF_SIZE |
2 |
old |
0,64 |
| BUF_SIZE |
2 |
old |
0,64 |
| DATA_SOURCE |
0 |
mqdes |
$0 |
| BIT_INFO |
1 |
new |
0x0,0x7d09736a1e492000 |
| BIT_INFO |
1 |
new |
0x0,0x7d09736a1e492000 |
| BIT_INFO |
2 |
old |
0x0,0x3e164309e795e000 |
| BIT_INFO |
2 |
old |
0x0,0x3e164309e795e000 |
| USER_DATA |
0 |
mqdes |
s32min-s32max |
| USER_DATA |
1 |
new->mq_curmsgs |
s64min-s64max |
| USER_DATA |
1 |
new->mq_flags |
s64min-s64max |
| USER_DATA |
1 |
new->mq_maxmsg |
s64min-s64max |
| USER_DATA |
1 |
new->mq_msgsize |
s64min-s64max |
| USER_PTR |
1 |
new |
|
| USER_PTR |
1 |
new->__reserved |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
new |
0,9009859429143224320 |
| PARAM_VALUE |
2 |
old |
0,4473836989658292224 |
| BUF_SIZE |
1 |
new |
0,64 |
| BUF_SIZE |
1 |
new |
0,64 |
| BUF_SIZE |
2 |
old |
0,64 |
| BUF_SIZE |
2 |
old |
0,64 |
| DATA_SOURCE |
0 |
mqdes |
$0 |
| BIT_INFO |
1 |
new |
0x0,0x7d09736a1e492000 |
| BIT_INFO |
1 |
new |
0x0,0x7d09736a1e492000 |
| BIT_INFO |
2 |
old |
0x0,0x3e164309e795e000 |
| BIT_INFO |
2 |
old |
0x0,0x3e164309e795e000 |
| USER_DATA |
0 |
mqdes |
s32min-s32max |
| USER_DATA |
1 |
new->mq_curmsgs |
s64min-s64max |
| USER_DATA |
1 |
new->mq_flags |
s64min-s64max |
| USER_DATA |
1 |
new->mq_maxmsg |
s64min-s64max |
| USER_DATA |
1 |
new->mq_msgsize |
s64min-s64max |
| USER_PTR |
1 |
new |
|
| USER_PTR |
1 |
new->__reserved |
|
