This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: lto gimple types and debug info
- From: Arnaud Charlet <charlet at adacore dot com>
- To: Kenneth Zadeck <zadeck at naturalbridge dot com>
- Cc: GCC Development <gcc at gcc dot gnu dot org>, Diego Novillo <dnovillo at google dot com>, "Hubicha, Jan" <jh at suse dot cz>, Richard Guenther <richard dot guenther at gmail dot com>, "Taylor, Ian Lance" <iant at google dot com>, Ollie Wild <aaw at google dot com>, "Maddox, Bill" <maddox at google dot com>, jason at redhat dot com, Rafael Espindola <espindola at google dot com>, Arnaud Charlet <charlet at adacore dot com>
- Date: Thu, 24 Jul 2008 23:37:06 +0200
- Subject: Re: lto gimple types and debug info
- References: <4888AD1F.7080007@naturalbridge.com> <20080724163827.GA16991@adacore.com> <4888B9EE.10204@naturalbridge.com>
>> 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.
> suspect that in fortran they also do to but i do not know the language.
In Ada as well.
Arno