pvm3.4.6 : pvm3.4.6 analysis 2 : Uninitialized Variable at pvmcruft.c:646
|
|
| 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_445643 >= 1 &$unknown_445645 >= 1 &$unknown_445649 != 0 hosts->ht_last >= 1 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Postconditions | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
count' = &$unknown_445643 - 1 bytes_after(&$heap_64679)' = 32 $heap_64679' is allocated by malloc bytes_before(&$heap_64679)' = 0 ((char*)&$heap_64679)[20]' = hosts->ht_local bytes_after(&$heap_64681)' = 120 $heap_64681' is allocated by malloc $heap_64681' is allocated bytes_before(&$heap_64681)' = 0 ((char*)&$heap_64681)[16]' = 0 ((char*)&$heap_64681)[20]' = 0 ((char*)&$heap_64681)[8]' = 0 ((char*)&$heap_64681)[116]' = 0 ((char*)&$heap_64681)[12]' = 0 bytes_after(&$heap_64682)' = 120 $heap_64682' is allocated by malloc $heap_64682' is allocated bytes_before(&$heap_64682)' = 0 ((char*)&$heap_64682)[16]' = 0 ((char*)&$heap_64682)[20]' = 0 ((char*)&$heap_64682)[8]' = 0 ((char*)&$heap_64682)[116]' = 0 ((char*)&$heap_64682)[12]' = 0 bytes_after(&$heap_64683)' = 20 $heap_64683' is allocated by malloc $heap_64683' is allocated bytes_before(&$heap_64683)' = 0 ((char*)&$heap_64683)[16]' = 0 ((char*)&$heap_64683)[8]' = 0 ((char*)&$heap_64683)[12]' = 0 bytes_after(&$heap_64684)' = 120 $heap_64684' is allocated by malloc $heap_64684' is allocated bytes_before(&$heap_64684)' = 0 ((char*)&$heap_64684)[16]' = 0 ((char*)&$heap_64684)[20]' = 0 ((char*)&$heap_64684)[8]' = 0 ((char*)&$heap_64684)[116]' = 0 ((char*)&$heap_64684)[12]' = 0 $heap_64685' = 1 bytes_after(&$heap_64685)' = 124 $heap_64685' is allocated by malloc $heap_64685' is allocated bytes_before(&$heap_64685)' = 0 ((char*)&$heap_64685)[56]' = 2 ((char*)&$heap_64685)[72]' = 1 ((char*)&$heap_64685)[76]' = 1 ((char*)&$heap_64685)[80]' = &$heap_64682 ((char*)&$heap_64685)[8]' = &$heap_64686 ((char*)&$heap_64685)[84]' = &$heap_64684 ((char*)&$heap_64685)[92]' = &$heap_64681 ((char*)&$heap_64685)[100]' = 1 ((char*)&$heap_64685)[108]' = 1000 ((char*)&$heap_64685)[112]' = &$heap_64683 bytes_after(&$heap_64686)' = &$unknown_445645 $heap_64686' is allocated by malloc bytes_before(&$heap_64686)' = 0 hp' = &$heap_64685 i' = 0 newhosts' = &$heap_64679 p' = &buf[0] s' = &buf[0] sad' = &$heap_64685 + 56 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
