Re: [PATCH] simplify: conservative handling of casts with pointers

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



On 05/10/2012 12:42 PM, Christopher Li wrote:
> The early sparse back end does not care about preserve the
> ctype in the back end. The type has been simplify to bit size.
> So the pointer type conversion which has the same bit size,
> it does not need to generate any back end machine code
> e.g. x86 instruction to perform the conversion. I think that
> is why it is skipped.
> 
> The recent changes, especially the llvm back end care more
> about preserving the ctype in the back end instruction level.

As far as I can tell, the type can be recovered reliably, one way
or the other, and missing pointer cast was one of a few (if not
only one) source of type loss in the instruction stream (e.g., with
those pointers returned by function call as demonstrated).

> The patch is applied.

Thanks.

-- Jan
--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html


[Index of Archives]     [Newbies FAQ]     [LKML]     [IETF Annouce]     [DCCP]     [Netdev]     [Networking]     [Security]     [Bugtraq]     [Yosemite]     [MIPS Linux]     [ARM Linux]     [Linux Security]     [Linux RAID]     [Linux SCSI]     [Trinity Fuzzer Tool]

  Powered by Linux