PM31550: Expected violation by MISRA 16_8_i or MISRA_Rule83i

APAR status

• Closed as program error.

Error description

• The MISRA 16_8_i rule description states that ?For functions
  with non-void return type, there shall be one return statement
  for every exit branch (including the end of the program)?
  When the below code is checked for MISRA 16_8_i or MISRA_Rule83i
  violations, no violations are reported.
  
  static int test ( int param_1608 )
  {
    if ( param_1608 ? 5U )
    {
        return ( param_1608 );
  }
  }
  
  I understand that the observed behavior is a  Defect, please
  clarify if otherwise.
  

Local fix

Problem summary

• ****************************************************************
  * USERS AFFECTED:                                              *
  ****************************************************************
  * PROBLEM DESCRIPTION:                                         *
  ****************************************************************
  * RECOMMENDATION:                                              *
  ****************************************************************
  The MISRA 16_8_i rule description states that ?For functions
  with non-void return type, there shall be one return
  statement for every exit branch (including the end of the
  program)?
  When the below code is checked for MISRA 16_8_i or
  MISRA_Rule83i violations, no violations are reported.
  
  int test ( int temp )
  {
  
    if ( temp  ? 5U )
    {
  
        return ( temp  );
  }
  
  }
  

Problem conclusion

• Fixed in Rational Logiscope 6.6.3 iFix2.
  

Temporary fix

Comments

APAR Information

• APAR is sysrouted FROM one or more of the following:

• APAR is sysrouted TO one or more of the following:

Fix information

• Fixed component name

  TLOGIC LOGISCOP

• Fixed component ID

  5724V81LS

Applicable component levels

• R660 PSN

     UP