[Ada] New aspect Disable_Controlled

This implements a new aspect Disable_Controlled which can only be
used for controlled record types. It causes suppression of related
calls to Initialize, Adjust, Finalize (for conditional compilation
purposes).

The following test:

     1. with Ada.Finalization; use Ada.Finalization;
     2. with Text_IO; use Text_IO;
     3. procedure DisableC is
     4.    procedure Test1 is
     5.       type R is new Controlled with
     6.          record
     7.             X : Integer;
     8.          end record
     9.       with Disable_Controlled => False;
    10.       procedure Initialize (A : in out R);
    11.       procedure Adjust (A : in out R);
    12.       procedure Finalize (A : in out R);
    13.       procedure Initialize (A : in out R) is
    14.       begin
    15.          A.X := 0;
    16.          Put_Line ("  Initialize called");
    17.       end;
    18.       procedure Adjust (A : in out R) is
    19.       begin
    20.          A.X := A.X + 1;
    21.          Put_Line ("  Adjust called");
    22.       end;
    23.       procedure Finalize (A : in out R) is
    24.       begin
    25.          A.X := A.X - 1;
    26.          Put_Line ("  Finalize called");
    27.       end;
    28.       R1, R2 : R;
    29.    begin
    30.       R1 := R2;
    31.    end Test1;
    32.    procedure Test2 is
    33.       type R is new Controlled with
    34.          record
    35.             X : Integer;
    36.          end record
    37.       with Disable_Controlled => True;
    38.       procedure Initialize (A : in out R);
    39.       procedure Adjust (A : in out R);
    40.       procedure Finalize (A : in out R);
    41.       procedure Initialize (A : in out R) is
    42.       begin
    43.          A.X := 0;
    44.          Put_Line ("  Initialize called");
    45.       end;
    46.       procedure Adjust (A : in out R) is
    47.       begin
    48.          A.X := A.X + 1;
    49.          Put_Line ("  Adjust called");
    50.       end;
    51.       procedure Finalize (A : in out R) is
    52.       begin
    53.          A.X := A.X - 1;
    54.          Put_Line ("  Finalize called");
    55.       end;
    56.       R1, R2 : R;
    57.    begin
    58.       R1 := R2;
    59.    end;
    60. begin
    61.    Put_Line ("Enabled:");
    62.    Test1;
    63.    Put_Line ("Disabled:");
    64.    Test2;
    65. end;

generates the output:

Enabled:
  Initialize called
  Initialize called
  Finalize called
  Adjust called
  Finalize called
  Finalize called
Disabled:

Tested on x86_64-pc-linux-gnu, committed on trunk

2015-05-26  Robert Dewar  <dewar@adacore.com>

	* aspects.ads, aspects.adb: Add aspect Disable_Controlled.
	* einfo.ads, einfo.adb (Disable_Controlled): New flag.
	(Is_Controlled_Active): New function.
	* exp_ch3.adb (Expand_Freeze_Record_Type): Use
	Is_Controlled_Active.
	* exp_util.adb (Needs_Finalization): Finalization not needed
	if Disable_Controlled set.
	* freeze.adb (Freeze_Array_Type): Do not set
	Has_Controlled_Component if the component has Disable_Controlled.
	(Freeze_Record_Type): ditto.
	* sem_ch13.adb (Decorate): Minor reformatting.
	(Analyze_Aspect_Specifications): Implement Disable_Controlled.
	* sem_ch3.adb (Analyze_Object_Declaration): Handle
	Disable_Controlled.
	(Array_Type_Declaration): ditto.
	(Build_Derived_Private_Type): ditto.
	(Build_Derived_Type): ditto.
	(Record_Type_Definition): ditto.
	* snames.ads-tmpl: Add Name_Disable_Controlled.

[Ada] New aspect Disable_Controlled

Commit Message

Patch