c85006c.ada

用于进行gcc测试

                         TRI1 := REC.RI1 + 1;
                         TRA1 := (REC.RA1(1)+1, REC.RA1(2)+1,
                                  REC.RA1(3)+1);
                         TRR1 := (D => 1, FIELD1 => REC.RR1.FIELD1 + 1);
                         TRP1 := NEW INTEGER'(TRP1.ALL + 1);
                         TRV1 := PACK1.NEXT(TRV1);
                         TRT1.NEXT;
                         TAI1 := (OTHERS => AI1(TAI1'FIRST) + 1);
                         TAA1 := (OTHERS => (OTHERS =>
                                             AA1(TAA1'FIRST)(1) + 1));
                         TAR1 := (OTHERS => (D => 1, FIELD1 =>
                                        (AR1(TAR1'FIRST).FIELD1 + 1)));
                         TAP1 := (OTHERS =>
                                  NEW INTEGER'(TAP1(TAP1'FIRST).ALL+1));
                         FOR J IN TAV1'RANGE LOOP
                            TAV1(J) := PACK1.NEXT(TAV1(J));
                         END LOOP;
                         FOR J IN TAT1'RANGE LOOP
                            TAT1(J).NEXT;
                         END LOOP;
                      END ENTRY1;
                   END TASK2;

                   PROCEDURE PROC1 (PRI1 : IN OUT INTEGER;
                                    PRA1 : IN OUT ARRAY1;
                                    PRR1 : IN OUT RECORD1;
                                    PRP1 : OUT POINTER1;
                                    PRV1 : OUT PACK1.PRIVY;
                                    PRT1 : IN OUT TASK1;
                                    PAI1 : IN OUT ARR_INT;
                                    PAA1 : IN OUT ARR_ARR;
                                    PAR1 : IN OUT ARR_REC;
                                    PAP1 : OUT ARR_PTR;
                                    PAV1 : OUT ARR_PVT;
                                    PAT1 : IN OUT ARR_TSK) IS
                   BEGIN
                      PRI1 := PRI1 + 1;
                      PRA1 := (PRA1(1)+1, PRA1(2)+1, PRA1(3)+1);
                      PRR1 := (D => 1, FIELD1 => PRR1.FIELD1 + 1);
                      PRP1 := NEW INTEGER'(REC.RP1.ALL + 1);
                      PRV1 := PACK1.NEXT(REC.RV1);
                      PRT1.NEXT;
                      PAI1 := (OTHERS => PAI1(PAI1'FIRST) + 1);
                      PAA1 := (OTHERS => (OTHERS =>
                                          PAA1(PAA1'FIRST)(1) + 1));
                      PAR1 := (OTHERS => (D => 1, FIELD1 =>
                                         (PAR1(PAR1'FIRST).FIELD1+1)));
                      PAP1 := (OTHERS =>
                               NEW INTEGER'(AP1(PAP1'FIRST).ALL + 1));
                      FOR J IN PAV1'RANGE LOOP
                         PAV1(J) := PACK1.NEXT(AV1(J));
                      END LOOP;
                      FOR J IN PAT1'RANGE LOOP
                         PAT1(J).NEXT;
                      END LOOP;
                   END PROC1;

                   PACKAGE GENPACK2 IS NEW GENERIC1
                      (XRI1, XRA1, XRR1, XRP1, XRV1, XRT1,
                       XAI1, XAA1, XAR1, XAP1, XAV1, XAT1);

                BEGIN
                         IF XRI1 /= IDENT_INT(1) THEN
                              FAILED ("INCORRECT VALUE OF XRI1 (1)");
                         END IF;

                         IF XRA1 /= (IDENT_INT(1),IDENT_INT(1),
                                     IDENT_INT(1)) THEN
                              FAILED ("INCORRECT VALUE OF XRA1 (1)");
                         END IF;

                         IF XRR1 /= (D => 1, FIELD1 => IDENT_INT(1))
                         THEN
                              FAILED ("INCORRECT VALUE OF XRR1 (1)");
                         END IF;

                         IF XRP1 /= IDENT(REC.RP1) OR
                            XRP1.ALL /= IDENT_INT(1) THEN
                              FAILED ("INCORRECT VALUE OF XRP1 (1)");
                         END IF;

                         IF PACK1."/=" (XRV1, PACK1.IDENT(PACK1.ONE))
                         THEN
                              FAILED ("INCORRECT VALUE OF XRV1 (1)");
                         END IF;

                         XRT1.VALU(I);
                         IF I /= IDENT_INT(1) THEN
                              FAILED ("INCORRECT RETURN VALUE OF " &
                                      "XRT1.VALU (1)");
                         END IF;

                         FOR J IN XAI1'RANGE LOOP
                              IF XAI1(J) /= IDENT_INT(1) THEN
                                   FAILED ("INCORRECT VALUE OF XAI1(" &
                                           INTEGER'IMAGE(J) & ") (1)");
                              END IF;
                         END LOOP;

                         FOR J IN XAA1'RANGE LOOP
                              IF XAA1(J) /= (IDENT_INT(1),IDENT_INT(1),
                                             IDENT_INT(1)) THEN
                                   FAILED ("INCORRECT VALUE OF XAA1(" &
                                           INTEGER'IMAGE(J) & ") (1)");
                              END IF;
                         END LOOP;

                         FOR J IN XAR1'RANGE LOOP
                              IF XAR1(J) /= (D => 1,
                                      FIELD1 => IDENT_INT(1)) THEN
                                   FAILED ("INCORRECT VALUE OF XAR1(" &
                                           INTEGER'IMAGE(J) & ") (1)");
                              END IF;
                         END LOOP;

                         FOR J IN XAP1'RANGE LOOP
                              IF XAP1(J) /= IDENT(AP1(J)) OR
                                 XAP1(J).ALL /= IDENT_INT(1) THEN
                                   FAILED ("INCORRECT VALUE OF XAP1(" &
                                           INTEGER'IMAGE(J) & ") (1)");
                              END IF;
                         END LOOP;

                         FOR J IN XAV1'RANGE LOOP
                              IF PACK1."/=" (XAV1(J),
                                        PACK1.IDENT(PACK1.ONE)) THEN
                                   FAILED ("INCORRECT VALUE OF XAV1(" &
                                           INTEGER'IMAGE(J) & ") (1)");
                              END IF;
                         END LOOP;

                         FOR J IN XAT1'RANGE LOOP
                              XAT1(J).VALU(I);
                              IF I /= IDENT_INT(1) THEN
                                   FAILED ("INCORRECT RETURN VALUE " &
                                      "FROM XAT1(" & INTEGER'IMAGE(J) &
                                      ").VALU (1)");
                              END IF;
                         END LOOP;

                         PROC1 (XRI1, XRA1, XRR1, XRP1, XRV1, XRT1,
                                XAI1, XAA1, XAR1, XAP1, XAV1, XAT1);

                         IF XRI1 /= IDENT_INT(2) THEN
                              FAILED ("INCORRECT VALUE OF XRI1 (2)");
                         END IF;

                         IF XRA1 /= (IDENT_INT(2),IDENT_INT(2),
                                     IDENT_INT(2)) THEN
                              FAILED ("INCORRECT VALUE OF XRA1 (2)");
                         END IF;

                         IF XRR1 /= (D => 1, FIELD1 => IDENT_INT(2))
                         THEN
                              FAILED ("INCORRECT VALUE OF XRR1 (2)");
                         END IF;

                         IF XRP1 /= IDENT(REC.RP1) OR
                            XRP1.ALL /= IDENT_INT(2) THEN
                              FAILED ("INCORRECT VALUE OF XRP1 (2)");
                         END IF;

                         IF PACK1."/=" (XRV1, PACK1.IDENT(PACK1.TWO))
                         THEN
                              FAILED ("INCORRECT VALUE OF XRV1 (2)");
                         END IF;

                         XRT1.VALU(I);
                         IF I /= IDENT_INT(2) THEN
                              FAILED ("INCORRECT RETURN VALUE FROM " &
                                      "XRT1.VALU (2)");
                         END IF;

                         FOR J IN XAI1'RANGE LOOP
                              IF XAI1(J) /= IDENT_INT(2) THEN
                                   FAILED ("INCORRECT VALUE OF XAI1(" &
                                           INTEGER'IMAGE(J) & ") (2)");
                              END IF;
                         END LOOP;

                         FOR J IN XAA1'RANGE LOOP
                              IF XAA1(J) /= (IDENT_INT(2),IDENT_INT(2),
                                             IDENT_INT(2)) THEN
                                   FAILED ("INCORRECT VALUE OF XAA1(" &
                                           INTEGER'IMAGE(J) & ") (2)");
                              END IF;
                         END LOOP;

                         FOR J IN XAR1'RANGE LOOP
                              IF XAR1(J) /= (D => 1,
                                       FIELD1 => IDENT_INT(2)) THEN
                                   FAILED ("INCORRECT VALUE OF XAR1(" &
                                           INTEGER'IMAGE(J) & ") (2)");
                              END IF;
                         END LOOP;

                         FOR J IN XAP1'RANGE LOOP
                              IF XAP1(J) /= IDENT(AP1(J)) OR
                                 XAP1(J).ALL /= IDENT_INT(2) THEN
                                   FAILED ("INCORRECT VALUE OF XAP1(" &
                                           INTEGER'IMAGE(J) & ") (2)");
                              END IF;
                         END LOOP;

                         FOR J IN XAV1'RANGE LOOP
                              IF PACK1."/=" (XAV1(J),
                                      PACK1.IDENT(PACK1.TWO)) THEN
                                   FAILED ("INCORRECT VALUE OF XAV1(" &
                                           INTEGER'IMAGE(J) & ") (2)");
                              END IF;
                         END LOOP;

                         FOR J IN XAT1'RANGE LOOP
                              XAT1(J).VALU(I);
                              IF I /= IDENT_INT(2) THEN
                                   FAILED ("INCORRECT RETURN VALUE " &
                                      "FROM XAT1(" & INTEGER'IMAGE(J) &
                                      ").VALU (2)");
                              END IF;
                         END LOOP;

                         CHK_TASK.ENTRY1
                              (XRI1, XRA1, XRR1, XRP1, XRV1, XRT1,
                               XAI1, XAA1, XAR1, XAP1, XAV1, XAT1);

                         IF XRI1 /= IDENT_INT(3) THEN
                              FAILED ("INCORRECT VALUE OF XRI1 (3)");
                         END IF;

                         IF XRA1 /= (IDENT_INT(3),IDENT_INT(3),
                                     IDENT_INT(3)) THEN
                              FAILED ("INCORRECT VALUE OF XRA1 (3)");
                         END IF;

                         IF XRR1 /= (D => 1, FIELD1 => IDENT_INT(3))
                         THEN
                              FAILED ("INCORRECT VALUE OF XRR1 (3)");
                         END IF;

                         IF XRP1 /= IDENT(REC.RP1) OR
                            XRP1.ALL /= IDENT_INT(3) THEN
                              FAILED ("INCORRECT VALUE OF XRP1 (3)");
                         END IF;

                         IF PACK1."/=" (XRV1, PACK1.IDENT(PACK1.THREE))
                         THEN
                              FAILED ("INCORRECT VALUE OF XRV1 (3)");
                         END IF;

                         XRT1.VALU(I);
                         IF I /= IDENT_INT(3) THEN
                              FAILED ("INCORRECT RETURN VALUE OF " &
                                      "XRT1.VALU (3)");
                         END IF;

                         FOR J IN XAI1'RANGE LOOP
                              IF XAI1(J) /= IDENT_INT(3) THEN
                                   FAILED ("INCORRECT VALUE OF XAI1(" &
                                           INTEGER'IMAGE(J) & ") (3)");
                              END IF;