------- Comment #3 from jason at redhat dot com 2010-02-20 20:15 ------- Subject: Re: Cast to pointer from integer of different size On 02/20/2010 01:19 PM, manu at gcc dot gnu dot org wrote: > Jason, do we want this? Sure. Jason -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28584