------- 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 the types are
> themselves compatible so maybe the Ada front-end should be producing types
> which are like that.  Really if types are compatiable so should be the 
> pointers to them. 

Did you read what I wrote?  The types are not compatible so the Ada front-end
correctly puts a NOP_EXPR between them.  But the gimplifier decides to strip it
and later thinks it should not have done so.

And, please, don't unassign PRs without discussing with the assignee beforehand.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |ebotcazou at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
          Component|ada                         |middle-end


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

Reply via email to