diff options
Diffstat (limited to 'gcc/testsuite/ada/acats/tests/c3/c392c05.a')
| -rw-r--r-- | gcc/testsuite/ada/acats/tests/c3/c392c05.a | 164 |
1 files changed, 0 insertions, 164 deletions
diff --git a/gcc/testsuite/ada/acats/tests/c3/c392c05.a b/gcc/testsuite/ada/acats/tests/c3/c392c05.a deleted file mode 100644 index 6bd3cece77e..00000000000 --- a/gcc/testsuite/ada/acats/tests/c3/c392c05.a +++ /dev/null @@ -1,164 +0,0 @@ --- C392C05.A --- --- Grant of Unlimited Rights --- --- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687, --- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained --- unlimited rights in the software and documentation contained herein. --- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making --- this public release, the Government intends to confer upon all --- recipients unlimited rights equal to those held by the Government. --- 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 for a call to a dispatching subprogram the subprogram --- body which is executed is determined by the controlling tag for --- the case where the call has statically tagged controlling operands --- of the type T. Check this for various operands of tagged types: --- objects (declared or allocated), formal parameters, view conversions, --- function calls (both primitive and non-primitive). --- --- TEST DESCRIPTION: --- This test uses foundation F392C00 to test the usages of statically --- tagged objects and values. The calls to Validate indicate the --- expected sequence of procedure calls since the previous call to --- Validate. Static tags can be determined at compile time, and --- hence this is a test of correct overload resolution for tagged types. --- A clever compiler which unrolls loops and does path analysis on --- access values will be able to perform the same kind of determination --- for all of the code in this test. --- --- TEST FILES: --- The following files comprise this test: --- --- F392C00.A (foundation code) --- C392C05.A --- --- --- CHANGE HISTORY: --- 06 Dec 94 SAIC ACVC 2.0 --- 19 Dec 94 SAIC Removed RM references from objective text. --- 24 Oct 95 SAIC Updated for ACVC 2.0.1 --- 13 Feb 97 PWB.CTA Corrected assumption that "or" operands are --- evaluated in textual order. ---! - -with Report; -with TCTouch; -with F392C00_1; -procedure C392C05 is -- Hardware_Store - - package Switch renames F392C00_1; - - subtype Switch_Class is Switch.Toggle'Class; - - type Reference is access all Switch_Class; - - A_Switch : aliased Switch.Toggle; - A_Dimmer : aliased Switch.Dimmer; - An_Autodim : aliased Switch.Auto_Dimmer; - - type Light_Bank is array(Positive range <>) of Reference; - - Lamps : Light_Bank(1..3); - -begin -- Main test procedure. - - Report.Test ("C392C05", "Check that a dispatching subprogram call is " - & "determined by the controlling tag for statically " - & "tagged controlling operands" ); - --- Check use of static tagged declared objects, --- and static tagged formal parameters --- Must call correct version of flip based on type of controlling op. - --- Turn on the lights! - - Switch.Flip( A_Switch ); - TCTouch.Validate( "A", "Declared Toggle" ); - - Switch.Flip( A_Dimmer ); - TCTouch.Validate( "GBA", "Declared Dimmer" ); - - Switch.Flip( An_Autodim ); - TCTouch.Validate( "KGBA", "Declared Auto_Dimmer" ); - - Lamps(1) := new Switch.Toggle; - Lamps(2) := new Switch.Dimmer; - Lamps(3) := new Switch.Auto_Dimmer; - --- Check use of static tagged allocated objects, --- and static tagged formal parameters in a loop which may dynamically --- dispatch. If an optimizer unrolls the loop, it may then be statically --- determined, and no dispatching will occur. Either interpretation is --- correct. - for Knob in Lamps'Range loop - Switch.Flip( Lamps(Knob).all ); - end loop; - TCTouch.Validate( "AGBAKGBA", "Allocated Objects" ); - --- Check use of static tagged declared objects, --- calling non-primitive functions. - if not Switch.TC_Non_Disp( A_Switch ) then - Report.Failed( "Bad Value 1" ); - end if; - TCTouch.Validate( "X", "Nonprimitive Function" ); - - if not Switch.TC_Non_Disp( A_Dimmer ) then - Report.Failed( "Bad Value 2" ); - end if; - TCTouch.Validate( "Y", "Nonprimitive Function" ); - - if not Switch.TC_Non_Disp( An_Autodim ) then - Report.Failed( "Bad Value 3" ); - end if; - TCTouch.Validate( "Z", "Nonprimitive Function" ); - - A_Switch := Switch.Create; - A_Dimmer := Switch.Create; - An_Autodim := Switch.Create; - TCTouch.Validate( "123", "Primitive Function" ); - --- View conversions - Switch.Brighten( An_Autodim, 50 ); - - Switch.Flip( Switch.Toggle( A_Switch ) ); - Switch.Flip( Switch.Toggle( A_Dimmer ) ); - Switch.Flip( Switch.Dimmer( An_Autodim ) ); - TCTouch.Validate( "DAAGBA", "View Conversions" ); - --- statically tagged controlling operands (specific types) provided to --- class-wide functions - if Switch.On( A_Switch ) - or Switch.On( A_Dimmer ) - or Switch.On( An_Autodim ) then - Report.Failed( "Bad Value 4" ); - end if; - TCTouch.Validate( "BBB", "Class-wide" ); - --- statically tagged controlling operands qualified expressions provided to --- primitive functions, also using context to determine call to a --- class-wide function. - if Switch.Off( Switch.Toggle'( Switch.Create ) ) - or else Switch.Off( Switch.Dimmer'( Switch.Create ) ) - or else Switch.Off( Switch.Auto_Dimmer'( Switch.Create ) ) then - Report.Failed( "Bad Value 5" ); - end if; - TCTouch.Validate( "1C2C3C", "Qualified Expression/Class-Wide" ); - - Report.Result; - -end C392C05; |