This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [PATCH][RFC] A GIMPLE and "GIMPLE type system" verifier


On 6/1/07, Jan Hubicka <hubicka@ucw.cz> wrote:
>  - 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?

Also 90-95% of those conversions from non-sizetype size types to pointer types are gone with the pointer_plus branch and I hope to get this branch merged in soon (before I leave to Japan in 3 weeks).

Thanks,
Andrew Pinski


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]