This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH][RFC] A GIMPLE and "GIMPLE type system" verifier
- From: Jan Hubicka <hubicka at ucw dot cz>
- To: Richard Guenther <rguenther at suse dot de>
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Sat, 2 Jun 2007 07:51:11 +0200
- Subject: Re: [PATCH][RFC] A GIMPLE and "GIMPLE type system" verifier
- References: <Pine.LNX.4.64.0705311605010.27490@zhemvz.fhfr.qr>
Hi,
it is in nature very similar to what I tried back in tree-ssa branch
time, but I was never so successful to get it close to bootstrapland, so
we seem to be improving in this respect.
>
> - conversions from integer to pointer types (and vice versa).
> I'd like to enforce extension/truncation to be done in integer
> type only and not allow (T *)short for example, but require
> (T *)(sizetype)short. [the same would hold true for ENUMERAL_TYPE
> and BOOLEAN_TYPE, but I didn't try what the fallout from this would be]
I just wonder what benefits are here for enforcing the sizetype
conversion here?
Honza