From mboxrd@z Thu Jan 1 00:00:00 1970 From: David Gibson Date: Mon, 3 Dec 2012 15:05:34 +1100 Subject: [U-Boot] [PATCH v4 3/4] dtc/libfdt: introduce fdt types for annotation by endian checkers In-Reply-To: <20121128173301.2b52b22a39fe6c3ce5a088fb@freescale.com> References: <1352941199-19393-1-git-send-email-kim.phillips@freescale.com> <1352941199-19393-3-git-send-email-kim.phillips@freescale.com> <20121115044340.GI32290@truffula.fritz.box> <20121114231204.8f19082c7acc1cea2a2d794f@freescale.com> <20121119023039.GK5735@truffula.fritz.box> <20121128173301.2b52b22a39fe6c3ce5a088fb@freescale.com> Message-ID: <20121203040534.GD4293@truffula.fritz.box> List-Id: MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit To: u-boot@lists.denx.de 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 Much better, thanks Acked-by: David Gibson -- 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