-- C460012.A
--
--                             Grant of Unlimited Rights
--
--     The Ada Conformity Assessment Authority (ACAA) holds unlimited
--     rights in the software and documentation contained herein. Unlimited
--     rights are the same as those granted by the U.S. Government for older
--     parts of the Ada Conformity Assessment Test Suite, and are defined
--     in DFAR 252.227-7013(a)(19). By making this public release, the ACAA
--     intends to confer upon all recipients unlimited rights equal to those
--     held by the ACAA. These rights include rights to use, duplicate,
--     release or disclose the released technical data and computer software
--     in whole or in part, in any manner and for any purpose whatsoever, and
--     to have or permit others to do so.
--
--                                    DISCLAIMER
--
--     ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
--     DISCLOSED ARE AS IS.  THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
--     WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
--     SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
--     OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
--     PARTICULAR PURPOSE OF SAID MATERIAL.
--*
--
-- OBJECTIVE:
--    Check that the view created by a view conversion is constrained if the
--    target subtype is indefinite.  (Defect Report 8652/0017, Technical
--    Corrigendum 4.6(54/1)).
--
-- CHANGE HISTORY:
--    25 JAN 2001   PHL   Initial version.
--    29 JUN 2001   RLB   Reformatted for ACATS. Added optimization blocking.
--    02 JUL 2001   RLB   Fixed discriminant reference.
--
--!
with Ada.Exceptions;
use Ada.Exceptions;
with Report;
use Report;
procedure C460012 is

    subtype Index is Positive range 1 .. 10;

    type Definite_Parent (D1 : Index := 6) is
	record
	    F : String (1 .. D1) := (others => 'a');
	end record;

    type Indefinite_Child (D2 : Index) is new Definite_Parent (D1 => D2);

    Y : Definite_Parent;

    procedure P (X : in out Indefinite_Child) is
	C : Character renames X.F (3);
    begin
	X := (1, "a");
        if C /= 'a' then
            Failed ("No exception raised when changing the " &
		    "discriminant of a view conversion, value of C changed");
        elsif X.D2 /= 1 then
            Failed ("No exception raised when changing the " &
		    "discriminant of a view conversion, discriminant not " &
                    "changed");
            -- This check primarily exists to prevent X from being optimized by
            -- 11.6 permissions, or the Failed call being made before the assignment.
        else
            Failed ("No exception raised when changing the " &
		    "discriminant of a view conversion, discriminant changed");
        end if;
    exception
	when Constraint_Error =>
	    null;
	when E: others =>
	    Failed ("Wrong exception " & Exception_Name (E) & " raised - " &
		    Exception_Message (E));
    end P;

begin
    Test ("C460012",
             "Check that the view created by a view conversion " &
	     "is constrained if the target subtype is indefinite");

    P (Indefinite_Child (Y));

    if Y.D1 /= Ident_Int(6) then
	Failed ("Discriminant of indefinite view changed");
        -- This check exists mainly to prevent Y from being optimized away.
    end if;

    Result;
end C460012;