PM28771: erroneous code generation using Ada_Std_Lib

APAR status

• Closed as program error.

Error description

• problem is with the  ?ModelLibrary?Ada_Std_Lib, as added by the
  ?Add Ada Standard Libraries?  file pull down menu option, and
  use of the Unchecked_Conversion and  Unchecked_Deallocation
  templates. The erroneous code generation is illustrated  in the
  class Unchecked_Generation_Errors options: Deallocate_A,
  Deallocate_A_2,  To_Int ? To_Int_2. Both versions of both
  templates from the RiA Ada_Std_Lib  where instantiated to show
  the fault. The generated code  was:
  
  
  
  ----------------------------------------------------------------
  --------------------------------
  
  
    procedure Deallocate_A  is new
  
     Ada.Unchecked_Deallocation.entry_Unchecked_Deallocation(
  
      Object  =? A_t,
  
      Name =?  A_Ptr
  
     );
  
  
  
    --++ operation  Deallocate_A_2()
  
    procedure  Deallocate_A_2 is new
  
     Unchecked_Deallocation.entry_Unchecked_Deallocation(
  
      Object  =? A_t,
  
      Name =?  A_Ptr
  
     );
  
  
  
    --++ operation  To_Int()
  
    function To_Int is  new
  
     Ada.Unchecked_Conversion.entry_Unchecked_Conversion(
  
      Source  =? Natural,
  
      Target  =? Integer
  
     );
  
  
  
    --++ operation  To_Int_2()
  
    function To_Int_2 is  new
  
     Unchecked_Conversion.entry_Unchecked_Conversion(
  
      Source  =? Natural,
  
      Target  =? Integer
  
     );
  
  ----------------------------------------------------------------
  --------------------------------
  
  
  
  
             Code should be:
  
    procedure Deallocate_A  is new
  
     Ada.Unchecked_Deallocation (
  
      Object  =? A_t,
  
      Name =?  A_Ptr
  
     );
  
  
  
    --++ operation  Deallocate_A_2()
  
    procedure  Deallocate_A_2 is new
  
     Unchecked_Deallocation.(
  
      Object  =? A_t,
  
      Name =?  A_Ptr
  
     );
  
  
  
    --++ operation  To_Int()
  
    function To_Int is  new
  
     Ada.Unchecked_Conversion (
  
      Source  =? Natural,
  
      Target  =? Integer
  
     );
  
  
  
    --++ operation  To_Int_2()
  
    function To_Int_2 is  new
  
    Unchecked_Conversion  (
  
      Source  =? Natural,
  
      Target  =? Integer
  
     );
  

Local fix

Problem summary

• ****************************************************************
  * USERS AFFECTED:                                              *
  ****************************************************************
  * PROBLEM DESCRIPTION:                                         *
  ****************************************************************
  * RECOMMENDATION:                                              *
  ****************************************************************
  When using Ada_Std_Lib, Ada code is not generated correctly.
  

Problem conclusion

• Fixed in 7.5.3.1
  

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 RHAPSODY

• Fixed component ID

  5724V74RP

Applicable component levels

• R752 PSN

     UP