c32113a.ada

来自「用于进行gcc测试」· ADA 代码 · 共 535 行 · 第 1/2 页

     END;

     BEGIN
          DECLARE
               SUBTYPE SPRIVB IS
                       PRIVB (IDENT_INT (-1), IDENT_INT (-2));
               PR11 : CONSTANT SPRIVB := PRB12;
          BEGIN
               FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
                        "OF CONSTANT 'PR11'" );
               IF PR11 = PRB12 THEN
                    COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
               END IF;
          END;
     EXCEPTION
          WHEN CONSTRAINT_ERROR =>
               NULL;
          WHEN OTHERS =>
               FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
                        "OF CONSTANT 'PR11'" );
     END;

     BEGIN
          DECLARE
               SUBTYPE SPRIVB IS PRIVB (IDENT_INT (2), IDENT_INT (1));
               PR12 : SPRIVB := PRB12;
          BEGIN
               FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
                        "OF VARIABLE 'PR12'" );
               IF PR12 = PRB12 THEN
                    COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
               END IF;
          END;
     EXCEPTION
          WHEN CONSTRAINT_ERROR =>
               NULL;
          WHEN OTHERS =>
               FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
                        "OF VARIABLE 'PR12'" );
     END;

     BEGIN
          DECLARE
               R1 : CONSTANT RECA (IDENT_INT (0)) := RA1;
          BEGIN
               FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
                        "OF CONSTANT 'R1'" );
               IF R1 = RA1 THEN
                    COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
               END IF;
          END;
     EXCEPTION
          WHEN CONSTRAINT_ERROR =>
               NULL;
          WHEN OTHERS =>
               FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
                        "OF CONSTANT 'R1'" );
     END;

     BEGIN
          DECLARE
               R2 : CONSTANT RECA (IDENT_INT (2)) := RA1;
          BEGIN
               FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
                        "OF CONSTANT 'R2'" );
               IF R2 = RA1 THEN
                    COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
               END IF;
          END;
     EXCEPTION
          WHEN CONSTRAINT_ERROR =>
               NULL;
          WHEN OTHERS =>
               FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
                        "OF CONSTANT 'R2'" );
     END;

     BEGIN
          DECLARE
               R3 : RECA (IDENT_INT (0)) := RA1;
          BEGIN
               FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
                        "OF VARIABLE 'R3'" );
               IF R3 = RA1 THEN
                    COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
               END IF;
          END;
     EXCEPTION
          WHEN CONSTRAINT_ERROR =>
               NULL;
          WHEN OTHERS =>
               FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
                        "OF VARIABLE 'R3'" );
     END;

     BEGIN
          DECLARE
               R4 : RECA (IDENT_INT (2)) := RA1;
          BEGIN
               FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
                        "OF VARIABLE 'R4'" );
               IF R4 = RA1 THEN
                    COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
               END IF;
          END;
     EXCEPTION
          WHEN CONSTRAINT_ERROR =>
               NULL;
          WHEN OTHERS =>
               FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
                        "OF VARIABLE 'R4'" );
     END;

     BEGIN
          DECLARE
               SUBTYPE SRECA IS RECA (IDENT_INT (-1));
               R5 : CONSTANT SRECA := RA1;
          BEGIN
               FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
                        "OF CONSTANT 'R5'" );
               IF R5 = RA1 THEN
                    COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
               END IF;
          END;
     EXCEPTION
          WHEN CONSTRAINT_ERROR =>
               NULL;
          WHEN OTHERS =>
               FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
                        "OF CONSTANT 'R5'" );
     END;

     BEGIN
          DECLARE
               SUBTYPE SRECA IS RECA (IDENT_INT (3));
               R6 : SRECA := RA1;
          BEGIN
               FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
                        "OF VARIABLE 'R6'" );
               IF R6 = RA1 THEN
                    COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
               END IF;
          END;
     EXCEPTION
          WHEN CONSTRAINT_ERROR =>
               NULL;
          WHEN OTHERS =>
               FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
                        "OF VARIABLE 'R6'" );
     END;

     BEGIN
          DECLARE
               R7 : CONSTANT RECB (IDENT_INT (1), IDENT_INT (1)) :=
                     RB12;
          BEGIN
               FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
                        "OF CONSTANT 'R7'" );
               IF R7 = RB12 THEN
                    COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
               END IF;
          END;
     EXCEPTION
          WHEN CONSTRAINT_ERROR =>
               NULL;
          WHEN OTHERS =>
               FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
                        "OF CONSTANT 'R7'" );
     END;

     BEGIN
          DECLARE
               R8 : CONSTANT RECB (IDENT_INT (2), IDENT_INT (2)) :=
                     RB12;
          BEGIN
               FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
                        "OF CONSTANT 'R8'" );
               IF R8 = RB12 THEN
                    COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
               END IF;
          END;
     EXCEPTION
          WHEN CONSTRAINT_ERROR =>
               NULL;
          WHEN OTHERS =>
               FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
                        "OF CONSTANT 'R8'" );
     END;

     BEGIN
          DECLARE
               R9 : RECB (IDENT_INT (1), IDENT_INT (1)) := RB12;
          BEGIN
               FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
                        "OF VARIABLE 'R9'" );
               IF R9 = RB12 THEN
                    COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
               END IF;
          END;
     EXCEPTION
          WHEN CONSTRAINT_ERROR =>
               NULL;
          WHEN OTHERS =>
               FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
                        "OF VARIABLE 'R9'" );
     END;

     BEGIN
          DECLARE
               R10 : RECB (IDENT_INT (2), IDENT_INT (2)) := RB12;
          BEGIN
               FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
                        "OF VARIABLE 'R10'" );
               IF R10 = RB12 THEN
                    COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
               END IF;
          END;
     EXCEPTION
          WHEN CONSTRAINT_ERROR =>
               NULL;
          WHEN OTHERS =>
               FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
                        "OF VARIABLE 'R10'" );
     END;

     BEGIN
          DECLARE
               SUBTYPE SRECB IS
                       RECB (IDENT_INT (-1), IDENT_INT (-2));
               R11 : CONSTANT SRECB := RB12;
          BEGIN
               FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
                        "OF CONSTANT 'R11'" );
               IF R11 = RB12 THEN
                    COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
               END IF;
          END;
     EXCEPTION
          WHEN CONSTRAINT_ERROR =>
               NULL;
          WHEN OTHERS =>
               FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
                        "OF CONSTANT 'R11'" );
     END;

     BEGIN
          DECLARE
               SUBTYPE SRECB IS RECB (IDENT_INT (2), IDENT_INT (1));
               R12 : SRECB := RB12;
          BEGIN
               FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
                        "OF VARIABLE 'R12'" );
               IF R12 = RB12 THEN
                    COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
               END IF;
          END;
     EXCEPTION
          WHEN CONSTRAINT_ERROR =>
               NULL;
          WHEN OTHERS =>
               FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
                        "OF VARIABLE 'R12'" );
     END;

     RESULT;
END C32113A;