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.
