Pvm : Pvm analysis 1 : Uninitialized Variable at pvm_gstat.c:106
|
|
| Legend | [ X ] |
|---|---|
|
Warning Location
Contributes Parse Error Other Warning Two or More Loop Iterations On Execution Path Comment Macro Preprocessor Include Keyword Preprocessed Away | |
| Legend | ||
|---|---|---|
| Warning Location | Contributes | Parse Error |
| Other Warning | Two or More Loop Iterations | On Execution Path |
| Comment | Macro | Preprocessor |
| Include | Keyword | Preprocessed Away |
| Source | Language: C | Show LegendHide Legend | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| ||||||||||||
| Preconditions | ||||||||||||
&$unknown_3694785 >= 1 &$unknown_3694787 >= 2 &$unknown_3694791 != 0 &$unknown_3694807 >= 2 &$unknown_3694812 >= 1 pvmmytid >= -1 pvmtoplvl != 0 |
||||||||||||
| Postconditions | ||||||||||||
argc' = $param_1 argv' = $param_2 group.name' = 0 group.tids' = &$heap_254523 group.maxntids' = &$unknown_3694812 + 1 group.barrier_reached' = &$unknown_3694807 group.btids' = &$heap_254524 group.len' >= -1 gstid' >= 0 bytes_after(&$heap_254523)' = 4 * &$unknown_3694812 + 4 $heap_254523' is allocated by malloc $heap_254523' is allocated bytes_before(&$heap_254523)' = 0 bytes_after(&$heap_254524)' = 4 * &$unknown_3694807 $heap_254524' is allocated by malloc $heap_254524' is allocated bytes_before(&$heap_254524)' = 0 i' = &$unknown_3694787 - 1 j' = &$unknown_3694807 - 1 ng' = &$unknown_3694787 pvmrbuf' = &$unknown_3694791 pvmtrc.trctid' >= 1 pvmtrccodef' = &$unknown_3694798 |
||||||||||||
