From baae59cd49367534ebe68ca40af39a235a9cc999 Mon Sep 17 00:00:00 2001
From: Hanno Becker <hanno.becker@arm.com>
Date: Fri, 19 Oct 2018 17:32:45 +0100
Subject: [PATCH] Improve documentation of absence-of-padding check

Signed-off-by: Dave Rodgman <dave.rodgman@arm.com>
---
 programs/test/selftest.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/programs/test/selftest.c b/programs/test/selftest.c
index d2f0c1996..f0175b0d3 100644
--- a/programs/test/selftest.c
+++ b/programs/test/selftest.c
@@ -375,6 +375,9 @@ int main( int argc, char *argv[] )
      * of that unpadded type. For example, for a 4-byte int,
      * MAX_INT should be 0x7fffffff in int32_t. This assumes that
      * CHAR_BIT == 8, which is checked in check_config.h.
+     *
+     * We assume that [u]intxx_t exist and that they don't
+     * have padding bits, as the standard requires.
      */
 
 #define CHECK_PADDING_SIGNED(TYPE, NAME)                                \