[Bug ada/22328] Ada produces mis-match (non compatible) types in MODIFY_EXPR
--- Comment #10 from cvs-commit at gcc dot gnu dot org 2005-10-21 15:46 --- Subject: Bug 22328 CVSROOT:/cvs/gcc Module name:gcc Changes by: [EMAIL PROTECTED] 2005-10-21 15:46:19 Modified files: gcc/ada: ChangeLog utils2.c gigi.h trans.c Log message: PR ada/21937 PR ada/22328 PR ada/22381 PR ada/22383 PR ada/22419 PR ada/22420 * utils2.c (build_return_expr): New helper function. * gigi.h (build_return_expr): Declare it. * trans.c (Subprogram_Body_to_gnu): Use build_return_expr instead of manually building the RETURN_EXPR tree. (call_to_gnu): Pass MODIFY_EXPR through build_binary_op. (gnat_to_gnu) N_Return_Statement: Pass MODIFY_EXPR through build_binary_op for the target pointer case. Use build_return_expr instead of manually building the RETURN_EXPR tree. Patches: http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/ChangeLog.diff?cvsroot=gccr1=1.685r2=1.686 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/utils2.c.diff?cvsroot=gccr1=1.50r2=1.51 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/gigi.h.diff?cvsroot=gccr1=1.38r2=1.39 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/trans.c.diff?cvsroot=gccr1=1.102r2=1.103 -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22328
[Bug ada/22328] Ada produces mis-match (non compatible) types in MODIFY_EXPR
--- Comment #11 from cvs-commit at gcc dot gnu dot org 2005-10-21 15:48 --- Subject: Bug 22328 CVSROOT:/cvs/gcc Module name:gcc Branch: gcc-4_0-branch Changes by: [EMAIL PROTECTED] 2005-10-21 15:47:47 Modified files: gcc/ada: ChangeLog utils2.c gigi.h trans.c Log message: PR ada/21937 PR ada/22328 PR ada/22381 PR ada/22383 PR ada/22419 PR ada/22420 * utils2.c (build_return_expr): New helper function. * gigi.h (build_return_expr): Declare it. * trans.c (Subprogram_Body_to_gnu): Use build_return_expr instead of manually building the RETURN_EXPR tree. (call_to_gnu): Pass MODIFY_EXPR through build_binary_op. (gnat_to_gnu) N_Return_Statement: Pass MODIFY_EXPR through build_binary_op for the target pointer case. Use build_return_expr instead of manually building the RETURN_EXPR tree. Patches: http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/ChangeLog.diff?cvsroot=gcconly_with_tag=gcc-4_0-branchr1=1.638.4.16r2=1.638.4.17 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/utils2.c.diff?cvsroot=gcconly_with_tag=gcc-4_0-branchr1=1.44.6.1r2=1.44.6.2 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/gigi.h.diff?cvsroot=gcconly_with_tag=gcc-4_0-branchr1=1.33.10.1r2=1.33.10.2 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/trans.c.diff?cvsroot=gcconly_with_tag=gcc-4_0-branchr1=1.90.6.3r2=1.90.6.4 -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22328
[Bug ada/22328] Ada produces mis-match (non compatible) types in MODIFY_EXPR
--- Comment #12 from ebotcazou at gcc dot gnu dot org 2005-10-21 15:54 --- See http://gcc.gnu.org/ml/gcc-patches/2005-10/msg01309.html -- ebotcazou at gcc dot gnu dot org changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution||FIXED Target Milestone|--- |4.1.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22328
[Bug ada/22328] Ada produces mis-match (non compatible) types in MODIFY_EXPR
--- Additional Comments From ebotcazou at gcc dot gnu dot org 2005-09-06 08:31 --- Investigating. -- What|Removed |Added AssignedTo|unassigned at gcc dot gnu |ebotcazou at gcc dot gnu dot |dot org |org Status|NEW |ASSIGNED Last reconfirmed|2005-07-08 20:25:48 |2005-09-06 08:31:32 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22328
[Bug ada/22328] Ada produces mis-match (non compatible) types in MODIFY_EXPR
-- What|Removed |Added OtherBugsDependingO||22368 nThis|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22328
[Bug ada/22328] Ada produces mis-match (non compatible) types in MODIFY_EXPR
--- Additional Comments From bosch at adacore dot com 2005-07-08 15:39 --- Subject: Re: Ada produces mis-match (non compatible) types in MODIFY_EXPR Something like the attached patch (untested) should work. I've got child duty today, so won't be able to test this until at least tonight. This is slightly different from the code that was earlier removed, in that it doesn't check recursively. Nested arrays and records should always have proper types. -Geert --- Additional Comments From bosch at adacore dot com 2005-07-08 15:39 --- Created an attachment (id=9230) -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9230action=view) -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22328
[Bug ada/22328] Ada produces mis-match (non compatible) types in MODIFY_EXPR
-- What|Removed |Added Attachment #9230|application/octet-stream|text/plain mime type|| Attachment #9230 is|0 |1 patch|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22328
[Bug ada/22328] Ada produces mis-match (non compatible) types in MODIFY_EXPR
-- What|Removed |Added Status|UNCONFIRMED |NEW Ever Confirmed||1 Last reconfirmed|-00-00 00:00:00 |2005-07-08 20:25:48 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22328
[Bug ada/22328] Ada produces mis-match (non compatible) types in MODIFY_EXPR
-- What|Removed |Added Summary|Ada produces missed match |Ada produces mis-match (non |(non compatible) types in |compatible) types in |MODIFY_EXPR |MODIFY_EXPR http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22328