Text  |   XML   |   Visible Warnings:

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

Categories: LANG.STRUCT.RC CWE:570 CWE:571
Warning ID: 218.28850
Procedure: enc_xdr_long
Trace: view
Modified: Thu Nov 26 11:28:14 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_long
 1383 enc_xdr_long(mp, vp, cnt, std, siz) 
 1384         struct pmsg *mp;
 1385         void *vp;
 1386         int cnt, std, siz;
 1387 {
 1388         register long *np;
 1389         int cc = 0;
 1390  
 1391         for (np = (long*)vp; cnt-- > 0; np += std)
 1392 #ifdef USE_XDR_LONGLONG 
 1393                 if (!xdr_longlong_t(&mp->m_xdr, np)) 
 1394 #else 
 1395                 if (!xdr_long(&mp->m_xdr, np))
 1396 #endif 
 1397                 {
 1398 #ifdef USE_XDR_LONGLONG 
 1399                         if ((*np & ~(long)0x7fffffffffffffff)
 1400                         && (*np & ~(long)0x7fffffffffffffff)
 1401                                         != ~(long)0x7fffffffffffffff) 
 1402 #else 
 1403                         if ((*np & ~(long)0x7fffffff) 
 1404                         && (*np & ~(long)0x7fffffff) != ~(long)0x7fffffff)
 1405 #endif 
 1406                         {
 1407                                 cc = PvmOverflow;
 1408                                 break;
 1409                         }
 1410                         mp->m_frag->fr_rlink->fr_len = xdr_getpos(&mp->m_xdr);
Never True: cc != 01411                         if (cc = enc_xdr_step(mp))     /* Redundant Condition */
 1412                                 break;   /* Unreachable Control Flow (ID: 219.28851) */
 1413                         else 
 1414 #ifdef USE_XDR_LONGLONG 
 1415                                 if (!xdr_longlong_t(&mp->m_xdr, np)) 
 1416 #else 
 1417                                 if (!xdr_long(&mp->m_xdr, np))
 1418 #endif 
 1419                                 {
 1420                                         cc = PvmNoMem;
 1421                                         break;
 1422                                 }
 1423                 }
 1424         mp->m_frag->fr_rlink->fr_len = xdr_getpos(&mp->m_xdr);
 1425         return cc;
 1426 } 



Change Warning 218.28850 : Redundant Condition

Priority:
State:
Finding:
Owner:
Note: