PM25222: MISRA_10_1 rule depicts unexpected behavior.

APAR status

• Closed as program error.

Error description

• As per the rule, The value of an expression of integer type
  shall not be implicitly converted to a different underlying type
  if:
      a)it is not a conversion to a wider integer type of the same
  
        signedness, or
      b)the expression is complex, or
      c)the expression is not constant and is a function argument,
  or
      d)the expression is not constant and is a return expression.
  
  
  However when the rule is checked against the attached source
  code, we observe that Logiscope reports unexpected violations in
  the below instance.
  For example:
  
  s32a = s32a + s16a;          /* Logiscope detects a violation,
  but it shouldn't */
  

Local fix

Problem summary

• ****************************************************************
  * USERS AFFECTED:                                              *
  ****************************************************************
  * PROBLEM DESCRIPTION:                                         *
  ****************************************************************
  * RECOMMENDATION:                                              *
  ****************************************************************
  As per the rule, The value of an expression of integer type
  shall not be implicitly converted to a different underlying
  type if:
      a)it is not a conversion to a wider integer type of the
  same
        signedness, or
      b)the expression is complex, or
      c)the expression is not constant and is a function
  argument, or
      d)the expression is not constant and is a return
  expression.
  
  However when the rule is checked against the attached source
  code, we observe that Logiscope reports unexpected
  violations in the below instance.
  For example:
  
  s32a = s32a + s16a;      /* Logiscope detects a
  violation, but it shouldn't */
  

Problem conclusion

• Fixed in Rational Logiscope 6.6.3 iFix1.
  

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