[Bug ada/22418] Ada produces mis-match (non compatible) types in MODIFY_EXPR

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-11 
23:20 -------
(In reply to comment #0)
> Another one:
I think this testcase is the same problem:
PROCEDURE C37213D IS
     TYPE MY_ARR IS ARRAY (natural RANGE <>) OF INTEGER;
     FUNCTION F1 RETURN natural IS
     BEGIN
          RETURN 1;
     END F1;
     TYPE CONS (D3 : INTEGER := 1) IS
       RECORD
         C1 : MY_ARR(D3..F1);
       END RECORD;
       X : CONS;
BEGIN
  null;
END C37213D;


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22418