Text  |   XML   |   Visible Warnings:

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

Categories: LANG.STRUCT.RC CWE:570 CWE:571
Warning ID: 207.28839
Procedure: enc_xdr_init
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
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 Hide Legend     
ProblemLineSource
   /kat0/fletcher/SATE/2010/pvm3/src/pmsg.c
   Enter enc_xdr_init
 1260 enc_xdr_init(mp) 
 1261         struct pmsg *mp;
 1262 {
 1263         struct frag *fp;
 1264         int cc;
 1265  
 1266         if (!(mp->m_flag & MM_PACK)) {
 1267                 mp->m_flag &= ~MM_UPACK;
 1268                 mp->m_flag |= MM_PACK;
 1269                 if ((fp = mp->m_frag->fr_link) == mp->m_frag) {
Never True: cc != 01270                         if (cc = pmsg_extend(mp))     /* Redundant Condition */
 1271                                 return cc;   /* Unreachable Data Flow (ID: 208.28840) */
 1272                         fp = fp->fr_link;
 1273                 }
 1274  
 1275                 xdrmem_create(&mp->m_xdr,
 1276                                 fp->fr_dat,
 1277                                 (unsigned)(fp->fr_max - (fp->fr_dat - fp->fr_buf)),
 1278                                 XDR_ENCODE);
 1279         }
 1280         return 0;
 1281 } 



Change Warning 207.28839 : Redundant Condition

Priority:
State:
Finding:
Owner:
Note: