From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:33372) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gZJXc-0004w7-Jr for qemu-devel@nongnu.org; Tue, 18 Dec 2018 12:52:28 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gZJXb-0002jG-B4 for qemu-devel@nongnu.org; Tue, 18 Dec 2018 12:52:24 -0500 From: =?UTF-8?q?Philippe=20Mathieu-Daud=C3=A9?= Date: Tue, 18 Dec 2018 18:51:18 +0100 Message-Id: <20181218175122.3229-2-philmd@redhat.com> In-Reply-To: <20181218175122.3229-1-philmd@redhat.com> References: <20181218175122.3229-1-philmd@redhat.com> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: [Qemu-devel] [PATCH v3 1/5] qemu/compiler: Define QEMU_NONSTRING List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: qemu-devel@nongnu.org Cc: "Michael S. Tsirkin" , Juan Quintela , qemu-block@nongnu.org, 1803872@bugs.launchpad.net, =?UTF-8?q?Daniel=20P=2E=20Berrang=C3=A9?= , =?UTF-8?q?C=C3=A9dric=20Le=20Goater?= , "Dr. David Alan Gilbert" , Howard Spoelstra , Jeff Cody , David Hildenbrand , Paolo Bonzini , Stefan Weil , Markus Armbruster , Kevin Wolf , Eric Blake , Ben Pye , =?UTF-8?q?Marc-Andr=C3=A9=20Lureau?= , Thomas Huth , Igor Mammedov , Liu Yuan , David Gibson , =?UTF-8?q?Philippe=20Mathieu-Daud=C3=A9?= , Max Reitz GCC 8 introduced the -Wstringop-truncation checker to detect truncation b= y the strncat and strncpy functions (closely related to -Wstringop-overflow= , which detect buffer overflow by string-modifying functions declared in ). Add the QEMU_NONSTRING macro which checks if the compiler supports this attribute. >>From the GCC manual [*]: The nonstring variable attribute specifies that an object or member declaration with type array of char, signed char, or unsigned char, or pointer to such a type is intended to store character arrays that do not necessarily contain a terminating NUL. This is useful in detecti= ng uses of such arrays or pointers with functions that expect NUL-terminat= ed strings, and to avoid warnings when such an array or pointer is used as an argument to a bounded string manipulation function such as strncpy. [*] https://gcc.gnu.org/onlinedocs/gcc/Common-Variable-Attributes.html#in= dex-nonstring-variable-attribute Suggested-by: Michael S. Tsirkin Signed-off-by: Philippe Mathieu-Daud=C3=A9 --- include/qemu/compiler.h | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/include/qemu/compiler.h b/include/qemu/compiler.h index 261842beae..2d8f507c73 100644 --- a/include/qemu/compiler.h +++ b/include/qemu/compiler.h @@ -151,6 +151,21 @@ # define QEMU_ERROR(X) #endif =20 +/* + * The nonstring variable attribute specifies that an object or member + * declaration with type array of char or pointer to char is intended + * to store character arrays that do not necessarily contain a terminati= ng + * NUL character. This is useful in detecting uses of such arrays or poi= nters + * with functions that expect NUL-terminated strings, and to avoid warni= ngs + * when such an array or pointer is used as an argument to a bounded str= ing + * manipulation function such as strncpy. + */ +#if __has_attribute(nonstring) +# define QEMU_NONSTRING __attribute__((nonstring)) +#else +# define QEMU_NONSTRING +#endif + /* Implement C11 _Generic via GCC builtins. Example: * * QEMU_GENERIC(x, (float, sinf), (long double, sinl), sin) (x) --=20 2.17.2