lto gimple types and debug info

[Kenneth Zadeck]

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.