Text  |   XML   |   Visible Warnings:

pvm3.4.6 : pvm3.4.6 analysis 2 : Redundant Condition  at pmsg.c:1296

Categories: LANG.STRUCT.RC CWE:570 CWE:571
Warning ID: 209.28841
Procedure: enc_xdr_step
Trace: view
Modified: Thu Nov 26 11:28:13 2009   show details
 
Priority: None
State: None
Finding: None
Owner: None
  edit properties

Legend [ X ]
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 Hide Legend     
ProblemLineSource
   /kat0/fletcher/SATE/2010/pvm3/src/pmsg.c
   Enter enc_xdr_step
 1290 enc_xdr_step(mp) 
 1291         struct pmsg *mp;
 1292 {
 1293         struct frag *fp;
 1294         int cc;
 1295  
Never True: cc != 01296         if (cc = pmsg_extend(mp))     /* Redundant Condition */
 1297                 return cc;   /* Unreachable Data Flow (ID: 210.28842) */
 1298         fp = mp->m_frag->fr_rlink;
 1299         xdrmem_create(&mp->m_xdr,
 1300                         fp->fr_dat,
 1301                         (unsigned)(fp->fr_max - (fp->fr_dat - fp->fr_buf)),   /* Cast Alters Value (ID: 211.28843) */
 1302                         XDR_ENCODE);
 1303         return 0;
 1304 } 




Change Warning 209.28841 : Redundant Condition

Priority:
State:
Finding:
Owner:
Note: