PM43033: Min/Max Value for Statemate Integer

Rational Statemate Fix Pack 9 (4.6.1.9) for 4.6.1
Rational Statemate Fix Pack 4 (4.6.1.4) for 4.6.1

APAR status

• Closed as program error.

Error description

• This is a summary of different problems, all have to do with the
  maximum integer value.
  
  STM the documentation states:
  Integer - Any natural number, 0, or the negative of any natural
  number. The maximum value of integers allowed is dependent on
  the architecture of the machine on which Statemate is being
  executed. On a 32-bit machine, it is (2**32)-1.
  
  1. in the max field of an integer data-item you can only enter
  the value of (2**31)-1 but not (2**32)-1.
  
  2. also when the min value is 0, the max is limited to (2**31)-1
   (2147483647)
     the documentation state the max integer value can be
  (2**32)-1. This is a defect.
  
  3. when defining a constant cmax as (2**31)-1 and entering it in
  the max field, then Check model reports 2 correctness errors:
  o   (C3009) Constants with inconsistent definition:
         - data-item CMAX
         Definition expression result is not numeric
  o   (C3143) Inconsistent range definition:
         - data-item TEST
         Min value 0 is greater than Max value -2.14748e+09
  
  These errors are not justified.
  
  4. when defining the constant as 2147483648 then it is not
  accepted, but to enter a constant with (2**31) works.
  defect: this is inconsistent
  
  5. define a constant cmax as (2**31)-1 and do not enter a min or
  max range for variable A,
     enter expression /A:=CMAX+1
     run simulation
  
     defect: display an integer overflow message in the simulation
  window
  

Local fix

Problem summary

• ****************************************************************
  * USERS AFFECTED:                                              *
  ****************************************************************
  * PROBLEM DESCRIPTION:                                         *
  ****************************************************************
  * RECOMMENDATION:                                              *
  ****************************************************************
  Min/Max Value for Statemate Integer
  

Problem conclusion

• Fixed in 4.6.1.4
  

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 STATEMAT

• Fixed component ID

  5724V76SM

Applicable component levels

• R460 PSN

     UP