pvm3.4.6 : pvm3.4.6 analysis 2 : Uninitialized Variable at trcfile.c:167
|
|
| 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 | ||||||||||||
(*TDptr)->eid = -1 TRC_TEVDESC_SIZE <= -1 |
||||||||||||
| Postconditions | ||||||||||||
*TRC_TEVDESC_LIST' is freed TRC_TEVDESC_LIST' = &$heap_410737 TRC_TEVDESC_SIZE' = 2 * (*TDptr)->eid + 2 eid' = (*TDptr)->eid bytes_after(&$heap_410737)' = 8 * (*TDptr)->eid + 8 $heap_410737' is allocated by malloc $heap_410737' is allocated bytes_before(&$heap_410737)' = 0 i' = 0 newlist' = &$heap_410737 newsize' = 2 * (*TDptr)->eid + 2 |
||||||||||||
