Re: [PATCH v4 3/4] dtc/libfdt: introduce fdt types for annotation by endian checkers
From: David Gibson <hidden>
Date: 2012-12-03 04:05:34
Also in:
u-boot
Possibly related (same subject, not in this thread)
- 2013-01-06 · Re: [PATCH v4 3/4] dtc/libfdt: introduce fdt types for annotation by endian checkers · Jon Loeliger <hidden>
On Wed, Nov 28, 2012 at 05:33:01PM -0600, Kim Phillips wrote:
Projects such as linux and u-boot run sparse on libfdt. libfdt contains the notion of endianness via usage of endian conversion functions such as fdt32_to_cpu. As such, in order to pass endian checks, libfdt has to annotate its fdt variables such that sparse can warn when mixing bitwise and regular integers. This patch adds these new fdtXX_t types and, ifdef __CHECKER__ (a symbol sparse defines), includes the bitwise annotation. Signed-off-by: Kim Phillips <redacted>
Much better, thanks Acked-by: David Gibson <redacted> -- David Gibson | I'll have my music baroque, and my code david AT gibson.dropbear.id.au | minimalist, thank you. NOT _the_ _other_ | _way_ _around_! http://www.ozlabs.org/~dgibson