This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: [RFC] Tightening up the type system
- From: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
- To: dnovillo at redhat dot com
- Cc: gcc at gcc dot gnu dot org
- Date: Tue, 28 Sep 04 12:41:28 EDT
- Subject: Re: [RFC] Tightening up the type system
My question to the FE folks is: what are the right semantics for
checking MODIFY_EXPR? Is compatible_types_p too strict? Should we
have had a cast operation in the above assignment?
My view is the compatible_types_p is exactly the right condition. We
certainly ought to be able to get there for scalars, though aggregate
types sometimes have some corner cases that might be tricky.
In fact, I would like to get to the point where we can simply call
'gcc_assert (lang_hook.compatible_types_p (dest, orig))' when doing
propagation. Ideally, all the necessary type conversions should be
exposed in the IL.
I agree (strongly). I've been pushing for this sort of consistency for
a long time.