|
Source | Language: C |
Show LegendHide Legend
|
|
| Preconditions |
&$unknown_1207439 != 0
&$unknown_1207441 = 0
((char*)&((char*)*$param_1)[216])[16] != ((char*)$param_1)[216]
((char*)&((char*)((char*)*$param_1)[216])[16])[32] != &$unknown_1207439
((char*)&$unknown_1207440)[16] != ((char*)$param_1)[216]
numpmsgs = 0
|
| Postconditions |
((char*)&((char*)((char*)$unknown_1207440)[16])[16])[24]' = ((char*)&((char*)$unknown_1207440)[16])[24]
((char*)&((char*)((char*)$unknown_1207440)[16])[24])[16]' = ((char*)&((char*)$unknown_1207440)[16])[16]
((char*)((char*)$unknown_1207440)[16])[8]' = ((char*)&((char*)$unknown_1207440)[16])[8]
((char*)&((char*)$unknown_1207440)[16])[16]' = 0
((char*)&((char*)$unknown_1207440)[16])[24]' = 0
((char*)&((char*)$unknown_1207440)[16])[8]' = 0
((char*)((char*)$unknown_1207440)[16])[8]' = ((char*)$unknown_1207440)[16]
((char*)$unknown_1207440)[16]' = 0
((char*)$unknown_1207440)[16]' is freed
cc' = 0
cid' = &$unknown_1207439
cp' = ((char*)&$unknown_1207440)[16]
ff' = 1
freepmsgs.m_link' = &freepmsgs.m_link
freepmsgs.m_rlink' = &freepmsgs.m_link
hp' = 0
mp' = $param_2
mp' = 0
mp2' = 0
tp' = $param_1
|
