--- Additional Comments From ebotcazou at gcc dot gnu dot org 2004-10-23 09:19
---
Initial patch: http://gcc.gnu.org/ml/gcc-patches/2004-10/msg01632.html
Final version: http://gcc.gnu.org/ml/gcc-patches/2004-10/msg01887.html
--
What|Removed |Added
--
--- Additional Comments From cvs-commit at gcc dot gnu dot org 2004-10-23 09:16
---
Subject: Bug 17793
CVSROOT:/cvs/gcc
Module name:gcc
Changes by: [EMAIL PROTECTED] 2004-10-23 09:16:47
Modified files:
gcc: ChangeLog gimplify.c
Log message:
--- Additional Comments From ebotcazou at gcc dot gnu dot org 2004-10-16 17:26
---
[Thanks for elaborating on your position.]
> check_pointer_types_r is wrong but so is Ada assuming that integer types are
> not compatible (read the full bug report which I reported in the first place):
>
--- Additional Comments From pinskia at gcc dot gnu dot org 2004-10-16 13:55
---
check_pointer_types_r is wrong but so is Ada assuming that integer types are not
compatible (read the
full bug report which I reported in the first place):
"The integer_type's are not compatible by defined
--- Additional Comments From ebotcazou at gcc dot gnu dot org 2004-10-16 09:02
---
> No this is an Ada front-end problem.
Did you investigate?
> I think the main issue is that the tree-ssa expects that INTEGER types are
> close to the same and that pointers to them are compatible if t
--- Additional Comments From ebotcazou at gcc dot gnu dot org 2004-10-15 07:30
---
Investigating.
--
What|Removed |Added
CC|ebotcazou at gcc dot gnu dot|
--- Additional Comments From ebotcazou at gcc dot gnu dot org 2004-10-14 19:18
---
> The integer_type's are not compatible by defined by the front-end, why?
The front-end generates a correct tree (with a NOP_EXPR) but it is stripped by
the gimplifier:
/* Strip away as many useles