c85006c.ada

用于进行gcc测试

                         END LOOP;

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

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

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

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

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

                         XRI1 := XRI1 + 1;
                         XRA1 := (XRA1(1)+1, XRA1(2)+1, XRA1(3)+1);
                         XRR1 := (D => 1, FIELD1 => XRR1.FIELD1 + 1);
                         XRP1 := NEW INTEGER'(XRP1.ALL + 1);
                         XRV1 := PACK1.NEXT(XRV1);
                         XRT1.NEXT;
                         XAI1 := (OTHERS => XAI1(XAI1'FIRST) + 1);
                         XAA1 := (OTHERS =>
                                  (OTHERS => XAA1(XAA1'FIRST)(1) + 1));
                         XAR1 := (OTHERS => (D => 1, FIELD1 =>
                                  (XAR1(XAR1'FIRST).FIELD1 + 1)));
                         XAP1 := (OTHERS =>
                              NEW INTEGER'(XAP1(XAP1'FIRST).ALL + 1));
                         FOR J IN XAV1'RANGE LOOP
                              XAV1(J) := PACK1.NEXT(XAV1(J));
                         END LOOP;
                         FOR J IN XAT1'RANGE LOOP
                              XAT1(J).NEXT;
                         END LOOP;

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

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

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

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

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

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

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

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

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

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

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

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

                         REC.RI1 := REC.RI1 + 1;
                         REC.RA1 := (REC.RA1(1)+1, REC.RA1(2)+1,
                                     REC.RA1(3)+1);
                         REC.RR1 := (D => 1, FIELD1 =>
                                        REC.RR1.FIELD1 + 1);
                         REC.RP1 := NEW INTEGER'(REC.RP1.ALL + 1);
                         REC.RV1 := PACK1.NEXT(REC.RV1);
                         REC.RT1.NEXT;
                         AI1(XAI1'RANGE) := (OTHERS =>
                                             AI1(XAI1'FIRST) + 1);
                         AA1(XAA1'RANGE) := (OTHERS =>
                                    (OTHERS => AA1(XAA1'FIRST)(1) + 1));
                         AR1(XAR1'RANGE) := (OTHERS => (D => 1,
                               FIELD1 => (AR1(XAR1'FIRST).FIELD1 + 1)));
                         AP1(XAP1'RANGE) := (OTHERS =>
                               NEW INTEGER'(AP1(XAP1'FIRST).ALL + 1));
                         FOR J IN XAV1'RANGE LOOP
                              AV1(J) := PACK1.NEXT(AV1(J));
                         END LOOP;
                         FOR J IN XAT1'RANGE LOOP
                              AT1(J).NEXT;
                         END LOOP;

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

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

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

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

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

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

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

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

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

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

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

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

     BEGIN
          MAIN_TASK.START (DREC, DAI1, DAA1, DAR1, DAP1, DAV1, DAT1);
     END;

     DREC.RT1.STOP;

     FOR I IN DAT1'RANGE LOOP
          DAT1(I).STOP;
     END LOOP;

     RESULT;
END C85006C;