c85006e.ada

用于进行gcc测试

          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(AREC.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(AREC.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;
          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(AREC.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;

          AREC.RI1 := AREC.RI1 + 1;
          AREC.RA1 := (AREC.RA1(1)+1, AREC.RA1(2)+1, AREC.RA1(3)+1);
          AREC.RR1 := (D => 1, FIELD1 => AREC.RR1.FIELD1 + 1);
          AREC.RP1 := NEW INTEGER'(AREC.RP1.ALL + 1);
          AREC.RV1 := PACK1.NEXT(AREC.RV1);
          AREC.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(AREC.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;

          AREC.RT1.STOP;

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

     RESULT;
END C85006E;