Re: lto gimple types and debug info

[Kenneth Zadeck <zadeck at naturalbridge dot com>]

Arnaud Charlet wrote:
> > > I do not know Fortran but from the description above, this is similar in Ada:
> > > you cannot freely mix different pointers, and you cannot make a pointer out
> > > of any variable, unless variables are marked 'aliased'. This semantic is
> > > already expressed today in GCC trees, so I'm not sure what more/different
> > > you're suggesting though.
> > >
> > > Arno
> > >   
> > >       
> > I was more interested in the types rather that the variables and i was 
> >     
>
> I was describing both types and variables for Ada.
>
>   
> > imprecise because I did not have access to good fortran information. The 
> > issue that i was trying to get to was that in c and c++ the types do really 
> > restrict what you can get to from a pointer, while in java they do.   I 
> >     
>
> I assume you meant 'do not really restrict' above.
>
>   
yes.
> > suspect that in fortran they also do to but i do not know the language.
> >     
>
> In Ada as well.
>
> Arno
>   

When danny and it wrote the ipa-type-escape pass, mark mitchell was all 
over us because we assumed that the type system had some semantic 
meaning.  We ended up with a pass that generally finds nothing useful.  
I would very much like to redo that pass once we can mark a type as 
coming from a language with a real type system.