public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/22418] New: Ada produces mis-match (non compatible) types in MODIFY_EXPR
@ 2005-07-11 23:09 pinskia at gcc dot gnu dot org
  2005-07-11 23:23 ` [Bug ada/22418] " pinskia at gcc dot gnu dot org
                   ` (2 more replies)
  0 siblings, 3 replies; 4+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-07-11 23:09 UTC (permalink / raw)
  To: gcc-bugs

Another one:
PROCEDURE CC1204A IS
BEGIN
     DECLARE
          TYPE ARR IS ARRAY (natural RANGE <>) OF CHARACTER;
          TYPE RECD (C : natural := 1) IS
               RECORD
		    C1 : ARR (1..C);
               END RECORD;
          X1 : RECD;
          GENERIC
               P2 : IN RECD;
          PROCEDURE PROC;
          PROCEDURE PROC IS
          BEGIN
               null;
          END PROC;
     BEGIN     
          DECLARE
               PROCEDURE PR IS NEW PROC
                    ( P2 => X1 );
          BEGIN
               null;
          END;
     END;
END CC1204A;

Again see PR 22368 for the patch which I used to find this.

-- 
           Summary: Ada produces mis-match (non compatible) types in
                    MODIFY_EXPR
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: pinskia at gcc dot gnu dot org
                CC: bosch at gcc dot gnu dot org,gcc-bugs at gcc dot gnu dot
                    org
OtherBugsDependingO 22368
             nThis:


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


^ permalink raw reply	[flat|nested] 4+ messages in thread
* [Bug ada/22418] Ada produces mis-match (non compatible) types in MODIFY_EXPR
  2005-07-11 23:09 [Bug ada/22418] New: Ada produces mis-match (non compatible) types in MODIFY_EXPR pinskia at gcc dot gnu dot org
@ 2005-07-11 23:23 ` pinskia at gcc dot gnu dot org
  2005-09-06  8:33 ` ebotcazou at gcc dot gnu dot org
  2005-09-07  9:59 ` ebotcazou at gcc dot gnu dot org
  2 siblings, 0 replies; 4+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-07-11 23:23 UTC (permalink / raw)
  To: gcc-bugs


------- 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


^ permalink raw reply	[flat|nested] 4+ messages in thread
* [Bug ada/22418] Ada produces mis-match (non compatible) types in MODIFY_EXPR
  2005-07-11 23:09 [Bug ada/22418] New: Ada produces mis-match (non compatible) types in MODIFY_EXPR pinskia at gcc dot gnu dot org
  2005-07-11 23:23 ` [Bug ada/22418] " pinskia at gcc dot gnu dot org
@ 2005-09-06  8:33 ` ebotcazou at gcc dot gnu dot org
  2005-09-07  9:59 ` ebotcazou at gcc dot gnu dot org
  2 siblings, 0 replies; 4+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2005-09-06  8:33 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From ebotcazou at gcc dot gnu dot org  2005-09-06 08:33 -------
Investigating.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |ebotcazou at gcc dot gnu dot
                   |dot org                     |org
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-09-06 08:33:25
               date|                            |


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


^ permalink raw reply	[flat|nested] 4+ messages in thread
* [Bug ada/22418] Ada produces mis-match (non compatible) types in MODIFY_EXPR
  2005-07-11 23:09 [Bug ada/22418] New: Ada produces mis-match (non compatible) types in MODIFY_EXPR pinskia at gcc dot gnu dot org
  2005-07-11 23:23 ` [Bug ada/22418] " pinskia at gcc dot gnu dot org
  2005-09-06  8:33 ` ebotcazou at gcc dot gnu dot org
@ 2005-09-07  9:59 ` ebotcazou at gcc dot gnu dot org
  2 siblings, 0 replies; 4+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2005-09-07  9:59 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From ebotcazou at gcc dot gnu dot org  2005-09-07 09:59 -------
Long-standing problem in Gigi, will be fixed by the next push from AdaCore.


-- 


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


^ permalink raw reply	[flat|nested] 4+ messages in thread
end of thread, other threads:[~2005-09-07  9:59 UTC | newest]

Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2005-07-11 23:09 [Bug ada/22418] New: Ada produces mis-match (non compatible) types in MODIFY_EXPR pinskia at gcc dot gnu dot org
2005-07-11 23:23 ` [Bug ada/22418] " pinskia at gcc dot gnu dot org
2005-09-06  8:33 ` ebotcazou at gcc dot gnu dot org
2005-09-07  9:59 ` ebotcazou at gcc dot gnu dot org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).