c85006a.ada

用于进行gcc测试

          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;
     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 := (OTHERS => AI1(XAI1'FIRST) + 1);
     AA1 := (OTHERS => (OTHERS => AA1(XAA1'FIRST)(1) + 1));
     AR1 := (OTHERS => (D => 1,
                        FIELD1 => (AR1(XAR1'FIRST).FIELD1 + 1)));
     AP1 := (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;

     REC.RT1.STOP;

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

     RESULT;
END C85006A;