aboutsummaryrefslogtreecommitdiffstats
path: root/gcc-4.9/gcc/testsuite/ada/acats/tests/c4/c45411b.dep
diff options
context:
space:
mode:
Diffstat (limited to 'gcc-4.9/gcc/testsuite/ada/acats/tests/c4/c45411b.dep')
-rw-r--r--gcc-4.9/gcc/testsuite/ada/acats/tests/c4/c45411b.dep123
1 files changed, 123 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/ada/acats/tests/c4/c45411b.dep b/gcc-4.9/gcc/testsuite/ada/acats/tests/c4/c45411b.dep
new file mode 100644
index 000000000..faae4b1f7
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/ada/acats/tests/c4/c45411b.dep
@@ -0,0 +1,123 @@
+-- C45411B.DEP
+
+-- 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 UNARY "+" AND "-" YIELD CORRECT RESULTS FOR
+-- PREDEFINED SHORT_INTEGER OPERANDS.
+
+-- APPLICABILITY CRITERIA:
+-- THIS TEST IS APPLICABLE ONLY TO IMPLEMENTATIONS THAT SUPPORT
+-- THE PREDEFINED SHORT_INTEGER TYPE.
+
+-- IF THE TYPE SHORT_INTEGER IS NOT SUPPORTED, THEN THE DECLARATION
+-- OF TYPE "DT" MUST BE REJECTED.
+
+-- HISTORY:
+-- JET 07/11/88 CREATED ORIGINAL TEST.
+-- KAS 01/12/95 DELETED INCOMPATIBLE SUBTEST.
+
+WITH REPORT; USE REPORT;
+
+PROCEDURE C45411B IS
+
+ TYPE DT IS NEW SHORT_INTEGER RANGE -3..3; -- N/A => ERROR.
+ I1 : SHORT_INTEGER := 1;
+ D1 : DT := 1;
+
+ FUNCTION IDENT (A : SHORT_INTEGER) RETURN SHORT_INTEGER IS
+ BEGIN
+ RETURN A * SHORT_INTEGER(IDENT_INT(1));
+ END;
+
+BEGIN
+ TEST ("C45411B", "CHECK THAT UNARY ""+"" AND ""-"" YIELD " &
+ "CORRECT RESULTS FOR PREDEFINED SHORT_INTEGER " &
+ "OPERANDS");
+
+ FOR I IN (1-2)..SHORT_INTEGER(1) LOOP
+ IF "-"(RIGHT => I1) /= IDENT(I) THEN
+ FAILED ("INCORRECT RESULT FOR ""-"" -" &
+ SHORT_INTEGER'IMAGE(I+2));
+ END IF;
+
+ IF +I1 /= IDENT(I1) THEN
+ FAILED ("INCORRECT RESULT FOR ""+"" -" &
+ SHORT_INTEGER'IMAGE(I+2));
+ END IF;
+ I1 := I1 - 1;
+ END LOOP;
+
+ FOR I IN (1-2)..SHORT_INTEGER(1) LOOP
+ IF -I /= IDENT(0)-I THEN
+ FAILED ("INCORRECT RESULT FOR ""-"" -" &
+ SHORT_INTEGER'IMAGE(I+5));
+ END IF;
+
+ IF "+"(RIGHT => IDENT(I)) /= I THEN
+ FAILED ("INCORRECT RESULT FOR ""+"" -" &
+ SHORT_INTEGER'IMAGE(I+5));
+ END IF;
+ END LOOP;
+
+ IF -1 /= IDENT(1)-2 THEN
+ FAILED ("INCORRECT RESULT FOR ""-"" - 7");
+ END IF;
+
+ IF "-"(RIGHT => 0) /= IDENT(0) THEN
+ FAILED ("INCORRECT RESULT FOR ""-"" - 8");
+ END IF;
+
+ IF "-"(RIGHT => "-"(RIGHT => 1)) /= IDENT(1) THEN
+ FAILED ("INCORRECT RESULT FOR ""-"" - 9");
+ END IF;
+
+ IF "+"(RIGHT => 1) /= IDENT(2)-1 THEN
+ FAILED ("INCORRECT RESULT FOR ""+"" - 7");
+ END IF;
+
+ IF +0 /= IDENT(0) THEN
+ FAILED ("INCORRECT RESULT FOR ""+"" - 8");
+ END IF;
+
+ IF +(-1) /= IDENT(1)-2 THEN
+ FAILED ("INCORRECT RESULT FOR ""+"" - 9");
+ END IF;
+
+ FOR I IN (1-2)..SHORT_INTEGER(1) LOOP
+ IF "-"(RIGHT => D1) /= DT(IDENT(I)) THEN
+ FAILED ("INCORRECT RESULT FOR ""-"" -" &
+ SHORT_INTEGER'IMAGE(I+11));
+ END IF;
+
+ IF +D1 /= DT(IDENT(SHORT_INTEGER(D1))) THEN
+ FAILED ("INCORRECT RESULT FOR ""+"" -" &
+ SHORT_INTEGER'IMAGE(I+11));
+ END IF;
+ D1 := D1 - 1;
+ END LOOP;
+
+
+ RESULT;
+
+END C45411B;